类型运算符

extends

A extends B

如果A继承自B，则表达式为真

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

  interface Employee extends Person {
    jobTitle: string;
  }

  type Test2 = Employee extends Person ? true : false; // true

如果 A可以赋值B，则表达式为真

type A = string;
type B = string | number;

type Test1 = A extends B ? true : false; // true
string extends never //false

//string 类型确实继承了 { length: number } 类型，因为所有的字符串都有一个 length 属性，并且该属性的类型是 number。
type Test = string extends { length: number } ? true : false;  // true

typeof

在TS环境中typeof 用于获取变量或表达式的类型并告诉编译器。

const obj = { name: "Alice", age: 25 };
type ObjType = typeof obj;  // 编译器知道了ObjType 是 { name: string, age: number }
console.log(ObjType)//object，不影响实际运行

keyof

keyof 用于获取对象类型的键，即返回一个联合类型，包含对象所有属性的名称。类型将会告诉编译器

const obj = { name: "Alice", age: 25 };
type ObjKeys = keyof typeof obj;  //  "name" | "age"

类型体操：keyof 技巧

在实际使用keyof时， IDE只会显示ObjKeys的类型为keyof Person。TS 的类型系统不会立即展开类型别名，加上 & {} 可以触发类型展开。

interface Person {
  name: string
  age: number
  gender: string
}

type PersonKeys = keyof Person & {}

//PersonKeys会直接计算得到name|age|gender，而不是keyof Person
const keys: PersonKeys[] = ['name', 'age', 'gender']

in

映射类型

遍历指定类型上的key，并添加到当前类型上

type Keys = 'a' | 'b' | 'c';

type MyMappedType = {
  [K in Keys]: number;
};

// 等价于：
// type MyMappedType = {
//   a: number;
//   b: number;
//   c: number;
// }

类型守卫

type Cat = { meow: () => void };
type Dog = { bark: () => void };

function isCat(animal: Cat | Dog): animal is Cat {
  return 'meow' in animal;
}

类型运算符 ​

extends ​

typeof ​

keyof ​

in ​

类型运算符

extends

typeof

keyof

in