转发

项目实践仓库

https://tag: 1.4.1

为了保证后面的学习演示需要安装下ts-node，这样后面的每个操作都能直接运行看到输出的结果。

npm install -D ts-node

后面自己在练习的时候可以这样使用

npx ts-node 脚本路径

泛型

因为TypeScript是结构性的类型系统，类型参数只影响使用其做为类型一部分的结果类型。比如，

interface Generics
    
      {}let g1: Generics
     
       = 
      
       
        >{};let g2: Generics
        
          = 
         
          
           >{};g1 = g2;
          
         
        
       
      
     
    

上面代码里，g1和g2是兼容的，因为它们的结构使用类型参数时并没有什么不同。 把这个例子改变一下，增加一个成员，就能看出是如何工作的了：

interface Generics
    
      {    data: T;}let g1: Generics
     
       = 
      
       
        >{};let g2: Generics
        
          = 
         
          
           >{};g1 = g2;
          
         
        
       
      
     
    

运行后会看到类似如下的输出

$ npx ts-node src/type_compatibility_3.ts⨯ Unable to compile TypeScript:src/type_compatibility_3.ts(8,1): error TS2322: Type 'Generics
    
     ' is not assignable to type 'Generics
     
      '.  Type 'string' is not assignable to type 'number'.
     
    

在这里，泛型类型在使用时就好比不是一个泛型类型。对于没指定泛型类型的泛型参数时，会把所有泛型参数当成any比较。 然后用结果类型进行比较，如下例子。比如：

let t1 = function
    
     (x: T): T {    // other ...}let t2 = function
     (y: U): U {    // other ...}t1 = t2
    

高级主题

子类型与赋值

目前为止，我们使用了兼容性，它在语言规范里没有定义。 在TypeScript里，有两种类型的兼容性：子类型与赋值。 它们的不同点在于，赋值扩展了子类型兼容，允许给 any赋值或从any取值和允许数字赋值给枚举类型或枚举类型赋值给数字。

语言里的不同地方分别使用了它们之中的机制。 实际上，类型兼容性是由赋值兼容性来控制的，即使在implements和extends语句也不例外。 更多信息，请参阅 []

https://tag: 1.4.2