TypeScript函数内泛型参数能否受类型收窄影响？回调类型推断问询

1. 类型收窄能否影响函数内部的泛型类型参数？ #

不能。TypeScript当前的类型系统里，对泛型参数T的类型收窄（比如通过switch判断data.key），不会同步约束整个泛型T的范围。在funcAorB函数内部，即便你通过data.key === 'a'把data收窄为DataA，TypeScript也没法把这个收窄信息关联到泛型T上，所以它依然认为T可能是DataA | DataB，进而导致callback的类型还是(data: T) => void，无法自动收窄为对应类型的回调。

2. 如何让TypeScript正确推断funcAorB内部的callback类型？ #

有两种靠谱的解决办法：

方案一：严谨的类型断言 #

不用直接断言callback的类型，而是把data和callback一起断言为对应具体类型的组合，确保两者类型匹配：

function funcAorB<T extends DataA | DataB>(data: T, callback: (data: T) => void) {
  switch (data.key) {
    case 'a': {
      const typedPair = { data, callback } as { data: DataA; callback: (data: DataA) => void };
      funcA(typedPair.data, typedPair.callback);
      break;
    }
    case 'b': {
      const typedPair = { data, callback } as { data: DataB; callback: (data: DataB) => void };
      funcB(typedPair.data, typedPair.callback);
      break;
    }
  }
}

方案二：改用函数重载 #

放弃泛型，用函数重载明确不同输入对应的逻辑，让TypeScript在每个分支里精准推断类型：

// 重载签名
function funcAorB(data: DataA, callback: (data: DataA) => void): void;
function funcAorB(data: DataB, callback: (data: DataB) => void): void;

// 实现签名
function funcAorB(data: DataA | DataB, callback: (data: DataA | DataB) => void) {
  switch (data.key) {
    case 'a': {
      funcA(data, callback); // TypeScript自动推断data为DataA，callback适配
      break;
    }
    case 'b': {
      funcB(data, callback); // 同理自动推断
      break;
    }
  }
}

这种方案完全不需要类型断言，代码更简洁，也更符合TypeScript的类型推断逻辑。

补充：为什么调用处能正确推断？ #

调用funcAorB时，TypeScript会从传入的具体参数（比如{key: 'a'}）反向推断泛型T的类型，此时T被确定为DataA，所以callback的类型也被锁定为(data: DataA) => void。但在函数内部，T还是一个受约束的泛型（DataA | DataB），TypeScript没法跟踪每个分支中T的具体类型，这是当前泛型类型系统的局限。

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