简介#

TypeScript 是 JavaScript 的一个超集，为 JavaScript 添加了可选的静态类型检查功能。TypeScript 的类型检查机制可以帮助开发人员在编码阶段捕获错误，提高代码质量和可维护性。下面是 TypeScript 的类型检查机制的一些重要特点：

1. 静态类型检查：TypeScript 在编译阶段对代码进行类型检查，可以辨别大部分常见的错误，在编码阶段就能发现潜在的 bug。

2. 类型注解：通过类型注解，开发人员可以明确指定变量、函数参数、函数返回值等的类型，帮助编译器更好地理解代码意图。

3. 类型推断：TypeScript 可以根据变量的赋值推断出其类型，从而减少类型注解的冗余，提高开发效率。

4. 接口和类型别名：TypeScript 支持接口和类型别名，可以定义自定义的数据结构，提高代码的可读性和可维护性。

5. 泛型：TypeScript 中的泛型可以让我们编写更加灵活、可重用的代码，提高代码的通用性。

6. 联合类型和交叉类型：TypeScript 支持联合类型（Union Types）和交叉类型（Intersection Types），可以更灵活地处理多种类型的组合。

7. 类型保护：TypeScript 提供了一系列的类型保护机制，如类型断言、类型保护函数等，可以帮助开发人员在使用联合类型时更安全地处理变量值。

判断对象存在某个键#

在TypeScript中，要判断一个对象中是否存在一个键，你可以使用in操作符。这个操作符可以检查一个对象是否拥有某个属性，无论这个属性是自身的还是继承的。

下面是一个简单的例子：

1
const obj = {
2
  name: '张三',
3
  age: 30,
4
}
5

6
// 使用 'in' 操作符检查属性是否存在
7
if ('name' in obj) {
8
  console.log('对象中存在 "name" 属性！')
9
} else {
10
  console.log('对象中不存在 "name" 属性！')
11
}
12

13
// 输出: 对象中存在 "name" 属性！

在这个例子中，我们创建了一个拥有name和age属性的对象obj。然后我们使用if (‘name’ in obj)来检查name属性是否存在于obj中。如果存在，控制台将输出“对象中存在 “name” 属性！”；如果不存在，将输出“对象中不存在 “name” 属性！”。

类型断言#

类型断言类似于其他语言中的类型转换，但是不进行任何运行时检查。它告诉编译器，“相信我，这个变量就是这个类型”。

1
interface Person {
2
  name: string
3
  age: number
4
}
5

6
const obj = {name: '张三', age: 30}
7

8
// 使用类型断言检查类型
9
if (obj instanceof Object && 'name' in obj && 'age' in obj) {
10
  // 将 obj 断言为 Person 类型
11
  const person: Person = obj as Person
12
  console.log(`对象是 Person 类型：${person.name},${person.age}`)
13
} else {
14
  console.log('对象不是 Person 类型')
15
}

在这个例子中，我们首先检查obj是否是Object的实例，并且拥有name和age属性。如果是，我们将obj断言为Person类型。

类型守卫#

类型守卫是一种在运行时检查变量类型的方法。你可以使用自定义的类型守卫函数来检查对象是否属于某个特定的类型。

1
interface Person {
2
  name: string
3
  age: number
4
}
5

6
function isPerson(obj: any): obj is Person {
7
  return obj instanceof Object && 'name' in obj && 'age' in obj
8
}
9

10
const obj = {name: '张三', age: 30}
11

12
// 使用类型守卫检查类型
13
if (isPerson(obj)) {
14
  console.log(`对象是 Person 类型：${obj.name},${obj.age}`)
15
} else {
16
  console.log('对象不是 Person 类型')
17
}

在这个例子中，我们定义了一个isPerson函数作为类型守卫。这个函数返回一个布尔值，表示obj是否满足Person类型的条件。如果满足，我们就可以安全地访问obj的name和age属性。

1
function isString(value: any): value is string {
2
  return typeof value === 'string'
3
}
4

5
const value = 'Hello, TypeScript'
6

7
if (isString(value)) {
8
  console.log(value.toUpperCase())
9
}

1
function isOfType<T>(obj: any, propNames: Array<keyof T>): obj is T {
2
  return propNames.every(prop => obj.hasOwnProperty(prop) && typeof obj[prop] === typeof ({} as T)[prop])
3
}
4

5
interface Person {
6
  name: string
7
  age: number
8
}
9

10
const obj = {name: '张三', age: 30}
11

12
// 使用泛型函数检查类型
13
if (isOfType<Person>(obj, ['name', 'age'])) {
14
  console.log(`对象是 Person 类型：${obj.name},${obj.age}`)
15
} else {
16
  console.log('对象不是 Person 类型')
17
}