【TypeScript专题】之类型断言

朴灿烈づ我的快乐病毒、 2022-09-04 00:55 470阅读 0赞

# 【TypeScript 专题】之类型断言 #

> 断言是编程术语，表示为一些布尔表达。—— [百度百科][Link 1]

系列文章，收藏不走丢哦

类型断言（Type Assertion）可以用来手动指定一个值的类型。就是告诉编译器, 你不要帮我们检查了, 相信我，它就是这个类型。

![在这里插入图片描述][a93e76bee1ba4cf4aab932800eb35023.gif_pic_center]

## 一、Ts 中的断言 ##

断言就好比解释型强制类型转换，直接告诉你这个变量是什么样子的！

值 as 类型;

先来看看例子：

interface fruits { 
      name: string;
      getColor(): void;
    }
    interface person { 
      name: string;
      getAge(): void;
    }
    
    type fruitsOrPerson = fruits | person;
    
    function getName(intance: fruitsOrPerson) { 
      // 使用联合类型共有的属性，是可以的
      return intance.name;
    }

而有时候，我们确实需要在还不确定类型的时候就访问其中一个类型特有的属性或方法，就像这样：

interface fruits { 
      name: string;
      getColor(): void;
    }
    interface person { 
      name: string;
      getAge(): void;
    }
    
    type fruitsOrPerson = fruits | person;
    
    function getColor(intance: fruitsOrPerson) { 
      return intance.getColor();
    }
    // 类型“fruitsOrPerson”上不存在属性“getColor”。
    // 类型“person”上不存在属性“getColor”

上面的例子中，执行`intance.getColor` 的时候会报错。这是因为在它类型不确定时，我们使用了非共有属性或方法。

此时可以使用类型断言，将`实例`断言成`fruits`：

interface fruits { 
      name: string;
      getColor(): void;
    }
    interface person { 
      name: string;
      getAge(): void;
    }
    
    type fruitsOrPerson = fruits | person;
    
    function getColor(intance: fruitsOrPerson) { 
      return (intance as fruits).getColor(); // (method) fruits.getColor(): void
    }

需要注意的是，类型断言只能够「欺骗」TypeScript 编译器，无法避免运行时的错误，不合理的使用会导致不给掌控的错误，例如：

interface fruits { 
      name: string;
      getColor(): void;
    }
    interface person { 
      name: string;
      getAge(): void;
    }
    
    type fruitsOrPerson = fruits | person;
    
    // 通过
    function getColor(intance: fruitsOrPerson) { 
      return (intance as fruits).getColor();
    }
    
    // 执行错误 intance.getColor is not a function
    getColor({ 
      name: "余光",
      getAge: () => { 
        return 100;
      },
    });

上面的例子编译时不会报错，但在运行时会报错：

使用类型断言时一定要格外小心，尽量避免断言后调用方法或引用深层属性（就像上面的例子），以减少不必要的运行时错误。

![在这里插入图片描述][76e11bf17363473d9ad8428a9e6cf372.gif_pic_center]

## 二、将一个父类断言为更加具体的子类 ##

当**类**之间有继承关系时，类型断言也是很常见的：

class ApiError extends Error { 
      code: number = 0;
    }
    class HttpError extends Error { 
      statusCode: number = 200;
    }
    
    function isApiError(error: Error) { 
      if (typeof (error as ApiError).code === "number") { 
        return true;
      }
      return false;
    }

上面的例子中，我们声明了函数`isApiError`，它用来判断传入的参数是不是ApiError类型，为了实现这样一个函数，为了保证提前使用不确定的code属性，需要使用类型断言手动指定类型以跳过类型检查。

读到这里大家是否意识到类型断言被创造出来的目的是什么？

## 三、将任何一个类型断言为any ##

理想情况下，TypeScript的类型系统运转良好，每个值的类型都具体而精确，报错 === 代码不够严谨！但下面的代码也会报错怎么办呢？

const val: number = 1;
    val.length = 1; // 类型“number”上不存在属性“length”

上面的例子中，数字类型的变量val上是没有length属性的，Ts会帮我们提前发现问题，并暴露出来。

但有的时候我们非常确定这段代码不会出错!!，比如下面这个例子：

window.foo = 1; // 添加一个属性，并进行赋值

在Ts中这段代码会报错，因为window上没有foo属性，为了应对这种情况，我们希望可以访问任何属性：

此时我们可以使用`as any`临时将window断言为any类型：

(window as any).foo = 1; //

在 any 类型的变量上，访问任何属性都是允许的。

Ts将类型断言的松紧尺度交给我们自己，是通篇as any还是合理的使用它，是我们需要平衡的。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2piajY1Njg4Mzl6_size_16_color_FFFFFF_t_70_pic_center]

## 四、类型断言与其他类型限制的区别 ##

类型断言实际上就是在检测阶段帮我们消除错误的一种手段，有些“暴力”但关键时刻很有用，那么它和其他类型声明的具体区别在哪里呢？

### 4.1 类型断言 vs 类型转换 ###

> 类型断言不是类型转换，它不会真的影响到变量的类型。

类型断言只会影响TypeScript编译时的类型，类型断言语句在编译结果中会被删除：

function toBoolean(something: any): boolean { 
        return something as boolean;
    }
    toBoolean(1); // 1

![在这里插入图片描述][864b6c3f9c5c45d0be6512e1a3e7dbfc.png]

在上面的例子中，将something断言为boolean虽然可以通过编译，但看上图，实际编译过后类型并没有被转换。

### 4.2 类型断言 vs 类型声明 ###

> 类型声明是比类型断言更加严格的

先来看下面的代码

function getCacheData(key: string): any { 
      // 1. window断言为any才能调用cache方法
      return (window as any).cache[key];
    }
    
    interface Cat { 
      name: string;
      run(): void;
    }
    // 2. getCacheData的返回值 as Cat才能调用Cat的方法
    const tom = getCacheData("tom") as Cat;
    tom.run();

在1、2注释中我们解释了为什么要使用断言，再来看看同样的情况（不使用断言）要如果做：

function getCacheData(key: string): any { 
      return (window as any).cache[key];
    }
    // 定义Cat形状的接口
    interface Cat { 
      name: string;
      run(): void;
    }
    // 为tom指定类型
    const tom: Cat = getCacheData("tom");
    tom.run();

看上去直观了一点，当然区别不仅仅是这样的

它们的区别，可以通过这个例子来理解：

interface Animal { 
      name: string;
    }
    interface Cat { 
      name: string;
      run(): void;
    }
    // animal 符合 Animal 的形状
    const animal: Animal = { 
      name: "tom",
    };
    // animal 是Cat类型的
    let tom = animal as Cat;

但是若直接声明 tom 为 Cat 类型：

interface Animal { 
      name: string;
    }
    interface Cat { 
      name: string;
      run(): void;
    }
    // animal 符合 Animal 的形状
    const animal: Animal = { 
      name: "tom",
    };
    // tom是Cat，并初始化为animal
    let tom: Cat = animal; // Error: 类型 "Animal" 中缺少属性 "run"，但类型 "Cat" 中需要该属性

它们的核心区别就在于：

*  animal 断言为 Cat，只需要满足`Animal兼容Cat`或`Cat兼容Animal`即可（疑问的小伙伴可以将“兼容”理解成“属性或方法的重叠”）
 *  animal 赋值给 tom，需要满足`Cat兼容Animal`才行

所以为了增加代码的质量，我们最好优先使用类型声明，这也比类型断言的 as 语法更加优雅。

## 写在最后 ##

本篇文章是《Typescript 专题》第二篇，本篇文章主要聊一聊类型断言是什么，一句话概括就是——类型断言的目的就是让编译通过，是不是很刺激？欢迎小伙伴们积极踊跃的互动，我会及时回复的哦，下一篇我们聊一聊大家最感兴趣的`类`吧～

系列文章传送门：

1.  [【Typescript入门手册】之基本类型在 TypeScript 中的应用][Typescript_ TypeScript]
2.  [【Typescript入门手册】之引用类型在 TypeScript 中的应用][Typescript_ TypeScript 1]
3.  [【Typescript入门手册】之函数类型在 TypeScript 中的应用][Typescript_ TypeScript 2]
4.  [【Typescript专题】之类型进阶][Typescript]
5.  本文

### 关于我 ###

*  花名：余光
 *  WX：j565017805
 *  邮箱：webbj97@163.com

### 其他沉淀 ###

*  [Js版LeetCode题解][Js_LeetCode]
 *  [前端进阶笔记][Link 2]
 *  [CSDN 博客汇总][CSDN]

![blog-bottom.gif][]

[Link 1]: https://baike.baidu.com/item/%E6%96%AD%E8%A8%80/13021995?fr=aladdin
[a93e76bee1ba4cf4aab932800eb35023.gif_pic_center]: /images/20220829/f62a08cb755e420eaa800faf5730d7dc.png
[76e11bf17363473d9ad8428a9e6cf372.gif_pic_center]: /images/20220829/4b91b2b3c0674f988e371caa931f3c3f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2piajY1Njg4Mzl6_size_16_color_FFFFFF_t_70_pic_center]: /images/20220829/dba1bf5de6b241b6946705f371da662a.png
[864b6c3f9c5c45d0be6512e1a3e7dbfc.png]: /images/20220829/268d863d30a44ad7bd5c8a16a009e66d.png
[Typescript_ TypeScript]: https://yuguang.blog.csdn.net/article/details/119137707
[Typescript_ TypeScript 1]: https://yuguang.blog.csdn.net/article/details/119220029
[Typescript_ TypeScript 2]: https://yuguang.blog.csdn.net/article/details/119333719
[Typescript]: https://yuguang.blog.csdn.net/article/details/119359244
[Js_LeetCode]: https://webbj97.github.io/leetCode-Js/
[Link 2]: https://webbj97.github.io/summary/
[CSDN]: https://yuguang.blog.csdn.net/
[blog-bottom.gif]: /images/20220829/f770bea631c84c578fa0ad4ec964b20a.png