TypeScript - 函数参数类型相等

Question

我在类中使用泛型时遇到问题。有一个类 Item 接受泛型 T 扩展约束 ItemValue 类型，还有一个类型 Items 包含 Item 的实例类型为 Item<ItemValue>。

问题在于编译器没有通过ItemValue 约束传递一个潜在有效的泛型参数，因为Item 的callback 属性将其用作回调值。

如果我从类中删除了callback 属性，则不会出现错误。

此外，我试图在没有类的情况下复制它，并且没有这样的错误。你认为这是一个错误，还是我做错了什么？

TypeScript Playground

type ItemValue = number | string;

type Callback<T> = (value: T) => void;

class Item<T extends ItemValue> {
  private value: T;

  // If you comment this out, there will be no error
  private callback: Callback<T> = () => { }

  constructor(value: T) {
    this.value = value;
  }
}

type Items = {
  [index: string]: Item<ItemValue>
};

let items: Items = {
    a: new Item<string>('') // error
}
// Type 'Item<string>' is not assignable to type 'Item<ItemValue>'.
//  Types of property 'callback' are incompatible.
//   Type 'Callback<string>' is not assignable to type 'Callback<ItemValue>'.
//      Type 'ItemValue' is not assignable to type 'string'.
//        Type 'number' is not assignable to type 'string'.


// This will also result in a similar error
// type AnItem = Item<ItemValue>;
// let a: AnItem = new Item<string>('');

// Here trying to do the same without a class.
function addCallback<T extends ItemValue>(cb: Callback<T>) {

}
function prepareAddCallback(cb: Callback<string>) {
    // No problems with putting Callback<string> to Callback<ItemValue>
    // Is it a bug?
    addCallback(cb);
}

更新：

正如@Joey 在他的回答中指出的那样：

string 可分配给string | number，但(val: string) => void 不可分配给(val: string | number) => void

type CallbackStrOrNum = (value: string | number) => void;
const addCallback = (cb: CallbackStrOrNum) => { };
addCallback((value: string) => { }); // error

let x: string | number = ''; // ok

这缩小了问题的范围。我现在的问题是，为什么会这样？

更新 2

为了清楚起见，我通过定义 private callback: Callback<ItemValue> = () => { } 而不是 private callback: Callback<T> = () => { } 解决了这个示例中的问题，在回调参数中使用泛型在这里并不重要。这里的教训是不要定义具有泛型的函数类型属性，因为这样该类将是不可扩展的，例如Item<number> 不能分配给 Item<string | number> 此外，在实际示例中，它是一个回调字典，以防您想知道为什么我没有将 callback 定义为常规方法。

Answer 1

请注意，string 可分配给string | number，但(val: string) => void 不可分配给(val: string | number) => void。

在您的示例中，Item<string> 实际上不能分配给Item<string | number>，因为callback 属性没有兼容的类型（即(value: string) => void 不能分配给(value: string | number) => void）。

编辑：

需要明确的是，这是设计使然，并且是类型联合运算符 (|) 的自然结果。否则，下面的代码会编译，这肯定是个问题。

const callback: (value: string | number) => void = (str: string) => {str.toLowerCase()};

callback(4);

Answer 2

我改变了这个，它消除了错误：

let items: Items = {
    a: new Item<ItemValue>('') // (No) error
}

我相信这是因为 ItemValue 可以是字符串或数字，所以 Item 不够具体。它也适用于：

let items: Items = {
    a: new Item<string | number>('') // (No) error
}