为什么[]被推导为never[]

2020.03.20 修改错别字，采用更清晰的表述

可能用“原生”Vue 2.x + ts（不使用vue-property-decorator）的同学或多或少都遇到过这样的问题。比如，在data()里声明一个数组，赋值的时候会报错 TS2322: Type ‘number’ is not assignable to type ‘never’：

data () {
    return {
      foo: []
    }
},
mounted () {
    this.foo = [{bar: 1}] // TS2322: Type 'number' is not assignable to type 'never'.
}

也就是说，这里的空数组foo的类型被推导成了never[]。为什么？先来看看官方对never类型的定义：

The never type represents the type of values that never occur.

也就是说，never是永远不会出现的值的类型。一个声明为空的数组里不应该出现任何值，所以被推导为never也是合理的。相当于你向编译器表示，我这个数组是空的，编译器自然就认为这个数组一直是空的，此时你要给他赋值，显然会破坏类型系统。

那么，为什么foo不就是一个普通的数组，而会进行推导？因为这是在函数的返回值中，没有显式声明，编译器会进行自动推导。如果想让这个空数组符合它原来的含义，需要进行类型断言：

data () {
    return {
      foo: [] as []
    }
}

空数组和never[]还是有很大区别的。

为什么{}被推导为any

按照之前的结论，可能会有人认为{}也会被推导成类似于{[key: string] : never}这样的类型。但是，事实上{}会被推导成any，任何类型都可以赋值给它：

data () {
    return {
      foo: {}
    }
},
mounted () {
    this.foo = {bar: 1}
    this.foo = 1
}

至于原因，让我们看看TypeScript的官方wiki是怎么说的：

Types with no members can be substituted by any type.

In general, you should never find yourself declaring an interface with no properties.

也就是说，任何类型都可以赋值给没有成员的类型，相当于变成了any。

更深层次的原因是动态语言的鸭子类型：

If it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck.

如果某个东西长得像鸭子，像鸭子一样游泳，像鸭子一样嘎嘎叫，那它就可以被看成是一只鸭子。在动态语言中，我们会更关注对象的行为，而非对象本身的类型。所以，这里也是有这种鸭子类型的含义在里面：一个空接口没有任何行为，相当于所有类型都实现了它；它变成了所有类型的父类。