• 类型断言
    • 语法
    • 例子:将一个联合类型的变量指定为一个更加具体的类型
    • 参考

    类型断言

    类型断言(Type Assertion)可以用来手动指定一个值的类型。

    语法

    1. <类型>值

    1. as 类型

    在 tsx 语法(React 的 jsx 语法的 ts 版)中必须用后一种。

    例子:将一个联合类型的变量指定为一个更加具体的类型

    之前提到过,当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候,我们只能访问此联合类型的所有类型里共有的属性或方法

    1. function getLength(something: string | number): number {
    2. return something.length;
    3. }
    4. // index.ts(2,22): error TS2339: Property 'length' does not exist on type 'string | number'.
    5. // Property 'length' does not exist on type 'number'.

    而有时候,我们确实需要在还不确定类型的时候就访问其中一个类型的属性或方法,比如:

    1. function getLength(something: string | number): number {
    2. if (something.length) {
    3. return something.length;
    4. } else {
    5. return something.toString().length;
    6. }
    7. }
    8. // index.ts(2,19): error TS2339: Property 'length' does not exist on type 'string | number'.
    9. // Property 'length' does not exist on type 'number'.
    10. // index.ts(3,26): error TS2339: Property 'length' does not exist on type 'string | number'.
    11. // Property 'length' does not exist on type 'number'.

    上例中,获取 something.length 的时候会报错。

    此时可以使用类型断言,将 something 断言成 string

    1. function getLength(something: string | number): number {
    2. if ((<string>something).length) {
    3. return (<string>something).length;
    4. } else {
    5. return something.toString().length;
    6. }
    7. }

    类型断言的用法如上,在需要断言的变量前加上 <Type> 即可。

    类型断言不是类型转换,断言成一个联合类型中不存在的类型是不允许的

    1. function toBoolean(something: string | number): boolean {
    2. return <boolean>something;
    3. }
    4. // index.ts(2,10): error TS2352: Type 'string | number' cannot be converted to type 'boolean'.
    5. // Type 'number' is not comparable to type 'boolean'.

    参考

    • TypeScript Deep Dive / Type Assertion
    • Advanced Types # Type Guards and Differentiating Types(中文版)