TypeScript 高级类型 学习笔记

TypeScript 中的类型检查：非空断言、可选链、类型保护和泛型

TypeScript 是一种流行的 JavaScript 超集，它通过静态类型检查提供强大的类型安全性。这有助于及早发现错误并提高代码质量。本文将深入探讨 TypeScript 中四种重要的类型检查机制：非空断言、可选链、类型保护和泛型。

非空断言

非空断言运算符（!）迫使一个值被视为非 null 或非 undefined。这在某些情况下很有用，例如当您知道一个值肯定不会为 null 或 undefined，但类型检查器却将它标记为可能为 null 或 undefined 时。然而，如果您在实际上可能为 null 或 undefined 的值上使用非空断言，它可能会导致运行时错误。

let name: string | undefined = 'John';
console.log(name!.toUpperCase()); // 假设 name 不为 undefined

可选链

可选链运算符（?.）是一种安全导航运算符，用于访问可能为 null 或 undefined 的对象属性或调用可能为 null 或 undefined 的对象方法。如果对象或属性为 null 或 undefined，它将返回 undefined，否则将返回该属性或方法的值。这可以防止因访问不存在的属性或方法而导致的错误。

interface User {
  name: string;
  age: number;
}

let user: User | undefined = undefined;
console.log(user?.name); // 假设 user 为 undefined

类型保护

类型保护用于检查一个值的类型，并根据检查结果执行不同的操作。TypeScript 提供了多种类型保护方式，包括类型谓词、 instanceof 运算符、 in 运算符和 typeof 运算符。

类型谓词

类型谓词是一种函数，它接受一个值作为参数，并返回一个布尔值，表示该值是否属于某种类型。类型谓词通常用于条件语句中，以根据值的类型执行不同的操作。

function isString(value: any): value is string {
  return typeof value === 'string';
}

let value: any = 'Hello';

if (isString(value)) {
  console.log('value is a string');
} else {
  console.log('value is not a string');
}

instanceof 运算符

instanceof 运算符用于检查一个值是否属于某个类的实例。

class User {
  name: string;
  age: number;
}

let user: any = new User();

if (user instanceof User) {
  console.log('user is a User instance');
} else {
  console.log('user is not a User instance');
}

in 运算符

in 运算符用于检查一个属性是否存在于一个对象中。

let user: { name: string; age: number } = { name: 'John', age: 30 };

if ('name' in user) {
  console.log('user has a name property');
} else {
  console.log('user does not have a name property');
}

typeof 运算符

typeof 运算符用于返回一个值的类型。

let value: any = 'Hello';

console.log(typeof value); // "string"

泛型

泛型允许您编写可重用的代码，这些代码可以在不同的类型上工作，而无需重复代码。泛型使用类型参数来表示可以是任何类型的变量或类型。然后，您可以使用这些类型参数来定义函数、类或接口，这些函数、类或接口可以与任何类型一起使用。

function identity<T>(value: T): T {
  return value;
}

let number: number = identity(10);
let string: string = identity('Hello');

结论

非空断言、可选链、类型保护和泛型是 TypeScript 中强大的类型检查机制，可帮助您编写更健壮、更可维护的代码。通过了解这些机制并将其应用于您的 TypeScript 代码中，您可以提高代码质量，避免错误，并增强应用程序的整体可靠性。

常见问题解答

1. 非空断言是否总是安全使用？

   • 不，非空断言只有在您确信一个值永远不会为 null 或 undefined 时才安全使用。否则，它可能会导致运行时错误。

2. 何时应该使用可选链而不是类型保护？

   • 可选链更适合于需要访问嵌套属性或调用可能为 null 或 undefined 的方法的情况。类型保护更适合于需要检查一个值是否属于某个特定类型的简单情况。

3. TypeScript 中有哪些其他类型的类型保护？

   • 除了本文中讨论的类型保护方式外，TypeScript 还支持其他类型的类型保护，例如类型别名、交集类型和联合类型。

4. 泛型在 TypeScript 中有什么好处？

   • 泛型使您能够编写可重用的代码，这些代码可以在不同的类型上工作，从而提高代码的可维护性和可扩展性。

5. 如何使用 TypeScript 中的泛型？

   • 您可以使用类型参数在函数、类或接口的定义中声明泛型。然后，您可以在代码中使用这些类型参数来引用泛型类型。