TypeScript接口泛型未解析：DTO类转接口是否可行？

核心问题是原代码依赖私有成员_dummyTResult<TResult>作为类型推断的hack，但当TResult换成接口后，这个hack的作用失效。实际上TypeScript的类型系统完全支持从泛型类的子类中提取接口类型的泛型参数，不需要依赖类实例的运行时属性（哪怕是设计时的私有成员）。

以下是几种可行的解决方案：

方案1：用条件类型提取Query的泛型结果类型 #

通过infer关键字定义类型工具，直接从Query子类中提取TResult类型，完全摆脱对私有成员的依赖：

// 定义类型工具，提取Query的泛型结果类型
type ExtractQueryResult<T> = T extends Query<infer R> ? R : never;

// 重新定义executeQuery函数
function executeQuery<TQuery extends Query<any>>(query: TQuery): ExtractQueryResult<TQuery> {
  // 实际执行逻辑
  return {} as ExtractQueryResult<TQuery>;
}

// 使用示例（DTO为接口）
interface MyDto {
  id: number;
  name: string;
}

class MyQuery extends Query<MyDto> {
  // 查询逻辑
}

// 此时result类型会正确解析为MyDto
const result = executeQuery(new MyQuery());

方案2：用类型层面的标记属性替代私有成员 #

如果不想用条件类型，可以给Query类添加一个仅存在于类型层面的属性（编译后不会生成任何代码），辅助TypeScript进行类型推断：

abstract class Query<TResult> {
  // 仅用于类型推断，编译后会被移除
  readonly __resultType?: TResult;
}

function executeQuery<TResult>(query: Query<TResult>): TResult {
  return {} as TResult;
}

// 使用示例
interface MyDto { /* ... */ }
class MyQuery extends Query<MyDto> { /* ... */ }

const result = executeQuery(new MyQuery()); // result类型为MyDto

方案3：调整executeQuery的泛型参数顺序 #

原函数的泛型参数顺序可能导致TypeScript无法正确推断，调整后让TS优先从query参数推断TResult：

// 调整泛型参数顺序，让TS先从query推断TQuery，再推导TResult
function executeQuery<TQuery extends Query<TResult>, TResult>(query: TQuery): TResult {
  return {} as TResult;
}

// 使用示例
interface MyDto { /* ... */ }
class MyQuery extends Query<MyDto> { /* ... */ }

const result = executeQuery(new MyQuery()); // result类型为MyDto

关键说明 #

TypeScript中接口和类作为泛型参数的地位完全平等，问题的本质是原代码依赖了不必要的设计时hack（私有成员），而非接口本身的限制。通过上述方案，完全可以将DTO替换为接口，同时保留正确的类型推断能力，无需继续使用类DTO。

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