现代编程语言：TypeScript

0x01 安装

• 自行Google

在线执行测试|playground

https://www.typescriptlang.org/play

00x2 语言内核

• 字符串常量类型
• 接口(interface)
• 类型别名(Type)
• 泛型(Generic)
  • 泛型约束
  • 泛型构造器
• 方法继承与覆盖
• UnionType+IntersectionType
  • TypeScript高级类型(类型构造器，类型上面的加减乘除)
• 枚举

0x03 实战案例

TypeScript的泛型约束

TypeScript的泛型存在和C#的泛型一样的使用上的不便利，泛型参数在作用域内能够调用的方法一定是要通过泛型参数的约束来指定的，例如一个泛型函数：

function test<T>(){
  let t = new T();           // 构造实例，compiler error!
  let x = t.method();        // 调用成员方法，compiler error!
  let x = t.static_method(); // 调用静态方法，compiler error!
}

无论是调用方法还是构造T的实例，都不能直接通过，需要给T添加约束来解决对应的问题：

interface Something{
  method():number;  
}

interface SomethingBuilder<T>{
  new(...constructorArgs: any[]): T; 
  static_method():number;
}

// 1. 约束T扩展了Something，从而t可以调用Something的方法。
// 2. 约束了C扩展了构造T的匿名接口
//    从而constructor: C可以被用来构造T的实例t
// 3. 添加一个新的泛型C，C扩展了SomethingBuilder<T>
//    这个构造Something的元接口，
//    同时把构造需要的类型和参数作为test函数的参数传入
function test<
  T extends Something, 
  C extends SomethingBuilder<T>
>(builder: C, ...args: any[]){

  let t = new builder(args);       // OK
  let x = t.method();              // OK
  let x = builder.static_method(); // OK

}

// 用例：
class Some implements Something{
  constructor(){
   // 
  } 
  static static_method():number{
    return 0;
  }
   
  method():number{
    return 1;
  }
}

test(Some);

Union类型的模式匹配（1）

TypeScript的Union类型并没有语言原生支持的类型模式匹配语法，下面这种enum+子类化+union类型定义的方式可以作为一种在TypeScript里对Union类型模式匹配的实践方案，不过对于没有继承关系的一组类型组成的Union类型，就不能达到方便的使用switch去“模式匹配”了：

export enum SignDataType{
    Rsa1024 = 0,
    Rsa2048 = 1,
    Ecc = 2
};

export abstract class SignDataBase{
    type: SignDataType; // 添加公共的类型tag
    constructor(type: SignDataType){
        this.type = type;
    }
}

export class Rsa1024SignData extends SignDataBase{
    constructor(){
        super(SignDataType.Rsa1024);
    }
}

export class Rsa2048SignData extends SignDataBase{
    constructor(){
        super(SignDataType.Rsa2048);
    }
}

export class EccSignData extends SignDataBase{
    constructor(){
        super(SignDataType.Ecc);
    }
}

export type SignData = (Rsa1024SignData|Rsa2048SignData|EccSignData) & SignDataBase;


function test(t: SignData){
    // 使用普通的swich-case对类型tag分支
    switch(t.type){
        case SignDataType.Rsa2048:{
            //
        },
        case SignDataType.Rsa1024:{
            //
        },
        case SignDataType.Ecc:{
            //
        }
    }
}

Union类型的模式匹配（2）

当然，我们可以结合通常的Visitor模式和lambda函数来实现一个方法级别的模式匹配：

export interface ObjectIdInfoPartten<T>{
    StandardObjectIdInfo:(info:StandardObjectIdInfo)=>T;
    CoreObjectIdInfo:(info:CoreObjectIdInfo)=>T;
    DecAppObjectIdInfo:(info:DecAppObjectIdInfo)=>T;
}

export interface ObjectIdInfoMatcher{
    match<T>(p:  ObjectIdInfoPartten<T>):T;
}

export class StandardObjectIdInfo implements ObjectIdInfoMatcher{
    obj_type_code: ObjectTypeCode;
    obj_type: number;
    area: Option<Area>;

    constructor(obj_type_code: ObjectTypeCode, obj_type: number, area: Option<Area>){
        this.obj_type_code = obj_type_code;
        this.obj_type = obj_type;
        this.area = area;
    }

    match<T>(p:  ObjectIdInfoPartten<T>):T{
        return p.StandardObjectIdInfo(this);
    }
}

export class CoreObjectIdInfo implements ObjectIdInfoMatcher{
    area: Option<Area>;
    has_owner: boolean;
    has_single_key: boolean;
    has_mn_key: boolean;

    constructor(area: Option<Area>, has_owner: boolean, has_single_key: boolean, has_mn_key: boolean){
        this.area = area;
        this.has_owner = has_owner;
        this.has_single_key = has_single_key;
        this.has_mn_key = has_mn_key;
    }

    match<T>(p:  ObjectIdInfoPartten<T>):T{
        return p.CoreObjectIdInfo(this);
    }
}

export class DecAppObjectIdInfo implements ObjectIdInfoMatcher{
    area: Option<Area>;
    has_owner: boolean;
    has_single_key: boolean;
    has_mn_key: boolean;

    constructor(area: Option<Area>, has_owner: boolean, has_single_key: boolean, has_mn_key: boolean){
        this.area = area;
        this.has_owner = has_owner;
        this.has_single_key = has_single_key;
        this.has_mn_key = has_mn_key;
    }

    match<T>(p:  ObjectIdInfoPartten<T>):T{
        return p.DecAppObjectIdInfo(this);
    }
}

export type ObjectIdInfo = (StandardObjectIdInfo | CoreObjectIdInfo | DecAppObjectIdInfo) & ObjectIdInfoMatcher;

测试代码如下：

function test(info: ObjectIdInfo){
    // 使用方法级别的match
    // 这实际上是一个visitor模式，把不同类型的visitor通过lambda函数注入
    info.match({
        StandardObjectIdInfo:(info):void=>{
            //
        },
        CoreObjectIdInfo: (info):void=>{
            //
        },
        DecAppObjectIdInfo: (info):void=>{
            //
        }
    });
}

Union类型解决了的问题是什么？

在TypeScript里写了一下午的Union类型+Visitor模式代码。我觉的这里的区别值得分析一下讲解给大家听。

-----分割线1-----

在Rust里面可以轻易的做到：

1. 使用枚举类型把毫无关系的不同类型组合成一个抽象的类型，这样使用的时候就可以把它们当作一个类型，极大的增加了抽象的效率：

enum SomeType{
  Name1(Type1),
  Name2(Type2)
}

2. 但是它们事实上是不同的类型，使用的时候，还需要能分离它们来用。因此Rust提供了模式匹配的能力：

fn test(a: SomeType){
  match a{
     Name1(t)=>{  
        // 处理Type1的逻辑
     },
     Name2(t)=>{
       // 处理Type2的逻辑
    }
  }
}

-----分割线2-----

上述Rust的做法，如果没有Rust的联合类型，在普通的OOP语言里，你需要达成上述【1】【2】的目的，也就是先打包类型，到处统一处理，在局部拆包分别处理。那么，传统OOP的做法就是使用继承（无论是继承抽象类还是接口继承）。

传统OOP的做法，你可以把公共的部分实现到基类里面；不同的部分实现到子类里面。那么问题是什么呢？从这个帖子的角度来说有两点：

1. 你没办法把任意不同的类型，也就是那种无论从属性还是方法上都没有任何长的像的不同类型打包成一个抽象类型去使用。但事实上我们的编程里有大量的这种需求，只是传统OOP的语法想定了你的想象。一旦开发出这种编程思维，你会发现代码在很多地方的抽象可以做大幅度的【编码压缩】。更强和自然的抽象能力，带来的是对复杂度的更大规模的控制。

2. 没有模式匹配。传统OOP的不同子类，需要把父类转成子类去处理的过程并不简洁。一种做法是使用访问者(Visitor)模式去处理。但是如果没有函数式语法支持，写起来会比较啰嗦。

-----分割线3-----

现在，我们来看下TypeScript。TypeScript提供了Union Type。例如你可以定义一个联合类型：

type SomeType =  Type1 | Type2;

这样无论式Type1还是Type2的实例，都可以当作SomeType使用，我们达到了本帖讨论的能力之一，也就是打包不同的类型作为一个类型抽象去使用。

但是，TypeScript受限于向下兼容JavaScript，目前编译器并不提供模式匹配的能力。你需要自己依赖具体类型的具体的字段信息做出判断，当前接收到的一个SomeType的实例，它，到底是Type1呢？还是Type2呢？

折衷的做法之一是给每个具体的类型添加一个tag，使用最普通的switch-case:

swtich(t.tag){
  case "type1": ..
  case "type2" : .
}

另外一种做法就是结合访问者模式来做. 每个具体的类型都实现一个访问者接口。

// 泛型+lambda快速定义访问者接口

interface Visitor<T>{
   Name1: (t: Type1)=>T,
   Name2: (t: Type2)=>T,
}

// 定义一个模式匹配接口

interface Matcher{
	match<T>(v: Visitor<T>):T;
}

class Type1 implements Matcher{
	match<T>(v: Visitor<T>):T{
	    // 选择自己的那个分支“访问”
		return v:Name1(this);
	}
}

class Type2 implements Matcher{
	match<T>(v: Visitor<T>):T{
	    // 选择自己的那个分支“访问”
		return v:Name2(this);
	}
}

// 用例：

function test(t: SomeType){
	// 所有的t都有match方法
	// 传入一个包含所有类型访问分支的访问者
	t.match({
		Name1:(t)=>{
			// Type1 处理
		},
		Name2:(t)=>{
			// Type2 处理
		}
	})
}

总的来说，TypeScript提供了一个半成品，但是至少函数式+访问者模式可以折衷实现模式匹配。

泛型类type的问题

有时候我们定义了一个泛型类型，例如：

class NamedObject<K,V>{
  constructor(....){...}
  //...
}

如果K,V的名字也很长，例如DeviceDescContent, DeviceBodyContent, 每次使用时，都要写：NamedObject<DeviceDescContent, DeviceBodyContent>，此时可以用type给一个别名改进：

type Device NamedObject<DeviceDescContent, DeviceBodyContent>;

但是，type只是一个类型别名，它又不能直接作为类型构造器使用：

let d = new Device(); // compile error!

况且，有时候我们希望给Device添加一些新的方法，此时也无法对type Device进行扩展。因此，一种解决方式就是使用子类化的方式：

class Device extends NamedObject<DeviceDescContent, DeviceBodyContent>{
  constructor(...){
    // ...
    super(...); //注意使用this之前调用父类构造函数
  }

  extmethod(){
  
  }
}

let d = new Device(...); // compile success!
d.extmethod();           // extension method call success!

通过子类化可以让泛型中的类型参数具体化，同时支持扩展新方法。在Rust里面，则不必如此，直接通过trait这种type class对类型进行静态扩展。