【TypeScript】断言

概念

TypeScript类型断言是一个编译时语法，用于告诉编译器用户比编译器更加确定变量的类型，进而解除编译错误，类型断言有点类似于其他语言的类型转换，但它没有运行时的影响，只是在编译阶段起作用。所以，即使通过类型断言解除了编译错误，也不会影响运行错误。

用法

1. 使用as

值 as 类型

2. 使用尖括号

<类型>值

由于<类型>这种用法在TypeScript中除了表示类型断言之外，也可能是表示一个泛型。所以推荐使用第一种方式，避免混淆。

实例

1. 基本用法

let value: any = "this is a string";
let length: number = (value as string).length;

2. 将一个联合类型断言为其中一个类型

interface Cat {
    name: string;
    run(): void;
}
interface Fish {
    name: string;
    swim(): void;
}

function getName(animal: Cat | Fish) {
    // 如果不使用断言，则无法访问联合类型的非公共属性。
    if (typeof (animal as Fish).swim === 'function') {
        return true;
    }
    return false;
}
//	需要注意的是，类型断言只能骗过TypeScript 编译器，滥用断言可能会导致运行时错误。

3. 非空断言

    当我们确认某个值不可能为 undefined 或 null 时，可以在变量后面加上一个 “!”。
   

function fun(value: string | undefined | null) {
  const str: string = value; // 错误 value 可能为 undefined 和 null
  const str1: string = value!; //ok
  const length: number = value.length; // 错误 value 可能为 undefined 和 null
  const length1: number = value!.length; //ok
}

4. 确定赋值断言
   确定赋值断言即允许在实例属性和变量声明后面放置一个 ! 号，从而告诉编译器该属性一定会被明确的赋值。

let x: number;
initialize();
console.log(2 * x); // 错误，x在赋值之前被调用

function initialize() {
  x = 10;
}

加上断言后，编译错误消失。

let x!: number;
initialize();
console.log(2 * x); // ok

function initialize() {
  x = 10;
}

总结

• 联合类型可以被断言为其中一个类型
• 父类可以被断言为子类
• 任何类型都可以被断言为 any
• any 可以被断言为任何类型
• 当我们确认某个值不可能为 undefined 或 null 时，可以在变量后面加上一个 “!”。