平时做技术实践时，很多问题不是概念不会，而是细节没串起来。拿“浅谈TypeScript3.7中值得注意的3个新特性”来说，它看着像小点，放到项目里常会牵出环境、配置、兼容性和维护成本。下面按实际采用顺序，把思路、关键写法和容易踩坑的地方讲清楚，便于大家直接对照操作。

前言

理解这一步时，距typescript 3.7正式发布已经有一段时间了，这段时间正在对手上的项目进行typescript的迁移工作，所以会特别留意每一次的release。

实际处理时，对于3.7中包含的新特性，其实相比较之前几次release来说，算是一个比较小的发布版本，但是其中包含的几个特性对代码质量本身，会带来显著地提升。

Optional Chaining

实际处理时，首先第一个特性是对于optional chaining操作符的兼容，翻译过来应该能够叫做可选链操作符，当然我还是觉得这样翻译有点怪怪的，暂且就直接用英文好了。

从实现思路看，这个特性首先是es2019中包含的一个新特性，对于特性本身，有兴趣的能够参考这里。

从实现思路看，由于typescript是JavaScript的超集，所以预先实现这个特性也是在预料之内的事情，大概采用方式是这样的：

a?.b();

等价于：

if(a) a.b();
// 或者
a && a.b()

若是多层嵌套，比如b也是一个对象，要继续调用c()，那么能够这样：

a?.b?.c()

从实现思路看，但其实就算这样写的话，它也不是安全的，因为b()中的b也有可能是空值，直接调用的话，也会抛出异常。为了绝对的安全，能够这样写：

a?.b?.();

实际处理时，值得注意的是，这里一定要对于可选的含义有一个正确的理解，可选的意思是，它在类型的声明中，借助?来修饰，代表一个类型包含某个可为空值的属性。言外之意的意思就是，?.不会对那些不符合类型声明本身的属性调用，比如：

interface A {}

const a: A = {};

a?.b?.(); // Property 'b' does not exist on type 'A'

除非A接口的声明改为：

interface A {
  b?: any
}

在这个场景下，这个特性在项目的实践意义是很大的，我们能够写更少的if断言语句或者&&操作符，但是却达到了相同的效果。

Nullish Coalescing

实际处理时，中文翻译过来会叫做双问号操作符，这个其实挺形象的，因为它的语法确实就是??。

落到代码里，这个操作符的功能，往轻松说，就是为一个空值，指定一个默认值，类似下面的代码：

let a = b || 'foo'

从实现思路看，b为空值时，由于||操作符的特性，a的值会被赋予foo。如果采用??操作符进行改写，如下所示：

let a = b ?? 'foo'

结合项目来看，表面上看，似乎两者没什么区别，但其实这里隐含了一个问题，就是||对于空值的概念，同时不仅仅指null和undefined，类似false、0等一系列逻辑上为false的值都会算作空值，这显然是有问题的，比如：

const b = 0
let a = b || 'foo'
// a 为 'foo'

在这个场景下，这个示例中，我们期望a只有在b为真正意义上的空值（null或者undefined）时，才被赋予默认值，a应当等于0，而实际运行结果确实foo，因为b=0，在||操作符的运行过程中，它会被解释为false。我曾在实际项目中，编写过一个验证码组件，很不幸，踩上了这个坑，当时为了debug这个问题，花了很长时间。

但采用??操作符，就不会存在这个问题。

Uncalled Function Checks

落到代码里，我相信很多人都曾经遇过类似的问题，因为缺乏有效的命名规范，断言属性和断言方法会在实际项目中被混用，比如：

class A {
    isFoo(): boolean {
        return false;
    }
}

function test(a: A) {
    if (a.isFoo) { 
        ...
    } 
}

结合项目来看，这里如果我们的本意是要借助调用a.isFoo来拿到一个断言值，我们明显犯了一个错误，我们应当采用if (a.isFoo())，而不是直接if (a.isFoo)，因为后者虽然在语法层面没有错误，但是在逻辑含义，它将被断言为true。但在3.7发布之后，typescript会尝试帮助我们发现这个问题。

结合项目来看，虽然如此，但我仍然建议大家针对断言方法和断言属性制定统一的命名规范，比如isXXX代表属性，而assertXXX代表方法。

其他

其他的一些变更，均是易用性上的一些改变，比如：

• 结合项目来看，Flatter Error Reporting：会将一大段的类型重复的错误日志，尽可能地压缩为单条、更准确、更精简的错误日志
• 文件级别的@ts-nocheck：之前版本中该注解仅兼容行内级别
• 递归类型声明：能够在类型声明中，采用递归语法来声明更复杂的类型，比如json类型
• 落到代码里，对js文件提供declaration兼容，以减小从js项目迁移的迁移成本

在这个场景下，以上就是浅谈TypeScript3.7中值得注意的3个新特性的详细内容，更多关于TypeScript3.7新特性的资料请关注脚本之家其它相关文章！