TypeScript 2.6中如何为变量/字段声明添加泛型类型约束？

首先得明确：你不能直接在变量声明的泛型接口类型里给K、V加extends约束（比如GenericMap<K extends string, V extends number>这种写法是不合法的），这是TS语法规则决定的。不过有几种简单的方式可以实现你想要的效果，我给你拆解一下：

方法一：直接指定具体类型参数（最直接） #

如果只是一次性使用，不需要复用约束逻辑，直接在声明变量时给泛型接口传入符合你约束的具体类型就行：

// 你的泛型接口
interface GenericMap<K, V> {
  get(key: K): V;
  set(key: K, value: V): void;
}

// 直接指定K为string，V为number，满足你的约束
let myMap: GenericMap<string, number>;

// 测试：符合约束的操作正常，不符合的会报错
myMap.set("username", "Alice"); // 这里V是number，所以会报错，符合预期
myMap.set("age", 30); // 正确

方法二：创建约束后的子接口（适合复用） #

如果需要多次使用这个约束后的类型，你可以定义一个继承原泛型接口的子接口，固定好类型参数的范围：

interface GenericMap<K, V> {
  get(key: K): V;
  set(key: K, value: V): void;
}

// 定义子接口，限制K只能是string，V只能是number
interface StringNumberMap extends GenericMap<string, number> {}

// 现在可以直接用这个子接口声明变量
let userMap: StringNumberMap;
let productMap: StringNumberMap;

要是需要更灵活的约束（比如K可以是string或number），用联合类型就行：

interface FlexibleKeyMap extends GenericMap<string | number, number | boolean> {}
let statsMap: FlexibleKeyMap;

方法三：用类型别名封装约束（灵活度高） #

和子接口类似，你也可以用类型别名来封装约束后的泛型类型，适合需要组合多种类型的场景：

interface GenericMap<K, V> {
  get(key: K): V;
  set(key: K, value: V): void;
}

// 类型别名，约束K为string，V为number
type StringNumberMap = GenericMap<string, number>;

let myMap: StringNumberMap;

如果你需要动态约束（泛型类/函数场景） #

要是你想要的是“变量的类型参数可以是符合某个约束的任意类型”，而不是固定的具体类型，那得把这个逻辑放到泛型类或者泛型函数里：

interface GenericMap<K, V> {
  get(key: K): V;
  set(key: K, value: V): void;
}

// 定义泛型类时给K、V加约束
class TypedMap<K extends string, V extends number> implements GenericMap<K, V> {
  private innerMap = new Map<K, V>();

  get(key: K): V {
    return this.innerMap.get(key)!;
  }

  set(key: K, value: V): void {
    this.innerMap.set(key, value);
  }
}

// 实例化时可以指定具体类型，或者让TS自动推断
let ageMap = new TypedMap<string, number>();
ageMap.set("bob", 28); // 正确
ageMap.set(123, 28); // 报错，因为K必须是string，符合约束

总结一下：TS里不能直接在变量的泛型类型参数上写约束，而是通过传入具体类型、定义约束后的子接口/类型别名，或者用泛型类/函数来实现你要的类型限制，这些方法在TS 2.6里都是完全支持的。

内容的提问来源于stack exchange，提问作者Alexander Abakumov