TypeScript中如何省略<T>仍复用TestInterface泛型类型？

我定义了如下两个接口及类型：

export interface TestInterface<T> {
  obj: T;
  text: string;
}

export type anotherType = 'value1' | 'value2';
export interface TestInterfaceTwo {
  first: string;
  second: anotherType;
  third: string;
}

在另一文件中使用方式如下：

markValue: TestInterface<TestInterfaceTwo>[] = [
    { obj: { first: 'abc', second: 'def', third: 'ghi' }, text: 'I exist' },
    { obj: { first: 'jkl', second: 'mno', third: 'pqr' }, text: 'I dont exist'  }
];

请问如何省略<T>声明，仍能复用TestInterface的泛型特性？

有三种实用方式可以实现目标：

1. 定义专用类型别名 #

提前将TestInterface与TestInterfaceTwo绑定，创建一个新的类型别名，后续直接使用别名即可：

// 可在接口定义文件或使用文件中添加
export type TestInterfaceWithTwo = TestInterface<TestInterfaceTwo>;

// 使用示例
markValue: TestInterfaceWithTwo[] = [
    { obj: { first: 'abc', second: 'def', third: 'ghi' }, text: 'I exist' },
    { obj: { first: 'jkl', second: 'mno', third: 'pqr' }, text: 'I dont exist'  }
];

这种方式操作简单，彻底省去了重复书写泛型参数的麻烦。

2. 用工厂函数实现类型自动推断 #

编写一个工厂函数，让TypeScript根据传入的参数自动推断泛型类型，无需手动声明：

// 定义工厂函数
function createTestItem<T>(obj: T, text: string): TestInterface<T> {
    return { obj, text };
}

// 使用示例，TS会自动推断obj对应的T类型
markValue = [
    createTestItem({ first: 'abc', second: 'def', third: 'ghi' }, 'I exist'),
    createTestItem({ first: 'jkl', second: 'mno', third: 'pqr' }, 'I dont exist')
];

这种方式不仅省去了泛型声明，还能保证类型推导的准确性，适合需要动态创建不同类型实例的场景。

3. 给泛型接口设置默认参数 #

如果TestInterfaceTwo是TestInterface最常用的泛型参数，可以直接给接口设置默认泛型值：

// 修改原接口定义
export interface TestInterface<T = TestInterfaceTwo> {
  obj: T;
  text: string;
}

// 使用示例，无需指定<T>，默认使用TestInterfaceTwo
markValue: TestInterface[] = [
    { obj: { first: 'abc', second: 'def', third: 'ghi' }, text: 'I exist' },
    { obj: { first: 'jkl', second: 'mno', third: 'pqr' }, text: 'I dont exist'  }
];

该方式兼顾了默认场景的便捷性和灵活性，当需要使用其他类型时，仍可以显式指定泛型参数，比如TestInterface<OtherType>。

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