搜索词

generic, propagate, multiple, preserve, argument, parameter, pass-through

建议

当一个泛型函数用参数约束表达其返回类型时，调用该函数时应保留/传递原始给定的参数类型。

示例

interface HasId {
  id: string;
}

interface SpecialArray<D> {
  getSpecialItem(): D;
}

function go<T extends Array<D>, D>(x: T): SpecialArray<D> {
  return x as any;
}

const v: Array<HasId> = [{id: 'one'}];

// We expect a return type of `SpecialArray<HasId>` but instead we
// get `SpecialArray<{}>`.
const w = go(v);

(playground)

用例

我的主要用例是组合式mixin。我想能够使用类似 HasItems<SomeItem> 类型的类，并通过mixin添加行为 HasActiveItem<D> ,其中mixin识别传入的 SomeItem 并将其传播以满足后续mixin调用。
今天可以通过省略函数签名中的一个泛型并在参数和返回类型中复制这些类型来实现这一点；剩余的泛型只捕获签名中的 "Item" 部分。

检查清单

• 这不会对现有的TypeScript/JavaScript代码造成破坏性更改
• 这不会改变现有JavaScript代码的运行时行为
• 这可以在不根据表达式的类型发出不同的JS的情况下实现
• 这不是一个运行时特性(例如库功能、JavaScript输出的非ECMAScript语法等)
• 这个特性将与 TypeScript's Design Goals 的其他部分保持一致。