TypeScript 泛型问题：类型 T（扩展类型）不可分配给 T

Question

我对 Deno 中的 TypeScript 泛型有疑问。

abstract class Packet {
    public abstract read(): Uint8Array;
    public abstract write(data: Uint8Array): void;
}

type PacketData = Packet | Uint8Array;
type HookCallbackResult<T extends PacketData> = T | null | undefined;
type HookCallback<T extends PacketData> = (data: T) => HookCallbackResult<T>;

interface HookCallbackInfo<T extends PacketData> {
    packetType: typeof Packet | "any";
    callback: HookCallback<T>;
}

let callbacks: HookCallbackInfo<PacketData>[] = [];

function hook<T extends PacketData>(packetType: typeof Packet | "any", callback: HookCallback<T>) {
    callbacks.push({ packetType, callback });
    //                           ^^^^^^^^
    // error: TS2322 [ERROR]: Type 'HookCallback<T>' is not assignable to type 'HookCallback<PacketData>'.
    // Types of parameters 'data' and 'data' are incompatible.
    //     Type 'PacketData' is not assignable to type 'T'.
    //     'PacketData' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'PacketData'.
    //         Type 'Packet' is not assignable to type 'T'.
    //         'Packet' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'PacketData'.
}

我的目的是强制作为第二个参数传递给 hook 函数的回调返回与其参数相同类型的结果 OR null OR undefined 并且此类型应该是 Uint8Array 或已经解析Packet（或其子类），仅此而已。并且hook 函数应该存储这个钩子回调以供进一步使用。 Deno 的 TypeScript 编译器版本在向对象（使用接口 HookCallbackInfo 声明）数组添加回调时出现恐慌。

我想我在泛型的某个地方犯了一个错误，因为我无法正确理解它们如何在 TypeScript 中使用这些多种类型定义（例如 Type1 | Type2 | Type3）。你能解释一下我到底做错了什么以及如何以正确的方式做我想做的事吗？

Answer 1

您的callbacks 数组是HookCallbackInfo<PacketData> 值的数组，这意味着它们的callback 字段必须包含(data: PacketData) => HookCallbackResult<PacketData> 类型的函数。在您的 hook 函数中，您传递了一些未知类型的回调 T 扩展 PacketData，因此您尝试提供的回调是 (data: T) => HookCallbackResult<T> 类型的函数。

这就是问题所在：callbacks 需要可以在 any PacketData 值上调用的函数，而您试图为它提供只能在 上调用的回调一些 PacketData 值。类型系统会检测并阻止您这样做。

要了解为什么这很重要，请考虑如果类型系统没有检查会出现什么问题：

const myFn: (v: Packet) => null = ...
hook<Packet>("any", myFn);

const array: Uint8Array = ...
callbacks[0](array);  // we've called myFn with the wrong argument type!