清沫

我们并不总是需要为变量指定具体的类型，ts会根据一些规则推断变量类型。 因为const 指定的变量表示是常量，不可变。所以ts能在基础类型的基础上进一步推断出更具体的类型，这个和字面量类型相似。而let指定的变量是可变类型，所以只能推断出基础类型。 此时ts会将它推断为(str…

在之前的函数章节中，通过声明多个函数类型实现函数的重载。函数重载就是函数声明合并。除了函数声明合并外。ts还会将接口和枚举声明进行合并。 接口的函数成员在重载时，在同一个声明中的顺序保持不变；但后声明的函数顺序会在先声明的函数之上，即后声明函数的有更高的优先级。（如上面合并结果…

我们在定义类型时，除了要给类型具体的规范和约束外，另一个重要考量是能否方便的复用。 可以看出这两个方法实现代码其实是一模一样的，唯一的区别是参数和返回值的类型不同。当然，为了消除这种重复，我们可以把参数和返回值类型改为any，但这样会失去类型保护；或者我们也可以用联合类型，结合…

接口除了能够对对象属性就行规范，也能够对类的行为进行抽象，即类可以继承接口；反之接口也可以继承类。需要注意的是：在类继承接口时，接口只规定了类的实例公有部分；在接口继承类时，继承类的所有实例部分。 在上例中，ColorPoint继承Point接口。注意：类继承接口使用的是imp…

js并不同于传统面向对象的语言，它使用构造函数和原型链实现面向对象编程。而且并没有真正的类的概念，即使ES6新增了class关键字，它本质也是语法糖。 但是通过使用class能增加代码语义性。并且ts对class提供了诸多功能，使得我们能够更像其他面向对象的语言一样使用clas…

除了可以用interface或者enum等定义不同的类型名字，还可以使用type为类型命名。

如果我们希望变量具有多种类型，如变量可以是number也可以是string，则可用联合类型实现。各个类型之间用|分隔： 此时的val就是一个联合类型的变量，为它赋值数值或者字符串都合法。 至于怎么确定具体的类型，类型保护章节对此有更详细的说明。 多个对象使用交叉类型时，得到的结…

枚举也是十分常见的类型。该类型的变量只能取限制范围内的值。如一年的月份只能取一月到十二月。 可以看出，枚举被编译后是一个对象，具备由枚举成员，和枚举成员的值所组成的双向映射。所以当我们访问Direction.Up时得到的值是0，而访问Direction[0]时得到的值是Up。 …

函数作为js一等公民，在js中占有重要地位。ts为函数添加了额外的功能，使之更容易被使用。 在ts中函数类型声明有两种方式：函数声明和函数表达式（与js一致）。不同是需要指定参数和返回值的类型。 在函数表示式指定类型后，ts会自动推断实际参数的x和y的类型是number，返回值…