TypeScript中如何定义包含不同MyGeneric泛型实例的数组？

解决方案 #

1. 基础实现：允许任意MyGeneric实例的数组 #

如果只需要数组能容纳任意MyGeneric<S>（S为任意字符串），最简单的方式是给MyGeneric传入string作为类型参数——所有字符串字面量类型都是string的子类型，因此所有MyGeneric<S>实例都可以赋值给MyGeneric<string>：

type MyGeneric<S extends string> = {
  prop: S;
};

type MyType = {
  generics: MyGeneric<string>[];
};

// 使用示例
const validObj: MyType = {
  generics: [
    { prop: 'hello' }, // MyGeneric<'hello'>
    { prop: 'world' }  // MyGeneric<'world'>
  ]
};

这种写法不会报错，且TypeScript会自动推断数组中每个元素的具体prop字面量类型（比如validObj.generics[0].prop的类型是'hello'，而非宽泛的string）。

2. 约束数组元素的prop为指定字符串联合类型 #

如果希望限制数组元素的prop只能是某几个特定字符串字面量，可以给MyType添加泛型参数，指定允许的字符串联合类型：

type MyGeneric<S extends string> = {
  prop: S;
};

type MyType<T extends string = string> = {
  generics: Array<MyGeneric<T>>;
};

// 使用示例：限制prop只能是'hello'或'world'
const restrictedObj: MyType<'hello' | 'world'> = {
  generics: [
    { prop: 'hello' },
    { prop: 'world' }
    // { prop: 'foo' } // 此处会报错，'foo'不在允许范围内
  ]
};

3. 精确指定数组元素类型（元组场景） #

如果需要数组的每个元素类型完全明确（比如固定顺序和数量的不同MyGeneric实例），可以用泛型元组定义：

type MyGeneric<S extends string> = {
  prop: S;
};

type MyType<T extends MyGeneric<string>[]> = {
  generics: T;
};

// 使用示例：精确指定数组包含MyGeneric<'hello'>和MyGeneric<'world'>
const tupleObj: MyType<[MyGeneric<'hello'>, MyGeneric<'world'>]> = {
  generics: [
    { prop: 'hello' },
    { prop: 'world' }
  ]
};

这种方式能让TypeScript严格检查数组的长度、顺序和每个元素的具体类型。

原写法报错原因 #

原代码中MyGeneric[]等价于MyGeneric<unknown>[]，但MyGeneric的类型参数S要求必须是string的子类型，unknown不满足该约束，因此TypeScript抛出ts(2314)错误。给MyGeneric传入合法类型参数（比如string）即可解决问题。

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