TypeScript中One<T>类型函数返回值报错问题咨询

问题重现 #

先看这段代码：

type One<T> = T extends number ? 1 : T extends bigint ? 1n : never;

function one<T extends number | bigint>(arg: T): One<T> {
  switch (typeof arg) {
    case 'number':
      return 1;    // TS错误：Type '1' is not assignable to type 'One<T>'
    case 'bigint':
      return 1n;   // TS错误：Type '1n' is not assignable to type 'One<T>'
    default:
      throw new TypeError();
  }
}

const n = 123;
const bigN = 123n;

// 外部使用完全正常：
const a: One<typeof n> = 1; // 类型匹配，无错误
const b = one(n);           // 推导类型为1
const c = one(bigN);        // 推导类型为1n

外部调用时类型推导完全正确，但函数内部的return语句却报类型不匹配的错误，必须用as One<T>或as any断言才能消除。

核心原因 #

这不是TypeScript的bug，而是泛型条件类型的解析时机和函数内部类型收窄的局限性导致的：

• 外部使用时，泛型T被具体化为明确的类型（比如typeof n是number子类型），此时One<T>会被直接解析为对应的字面量类型（1或1n），所以类型匹配没问题。
• 但在函数内部，T还是一个未被具体化的泛型参数——即使通过typeof arg收窄了arg的类型，TypeScript也无法反向推断出此时T必然是number或bigint，也就没办法把1/1n和One<T>关联起来。条件类型One<T>在函数内部是一个“黑盒”，TypeScript不会尝试在分支里对它做分支解析。

解决方法 #

方法1：使用类型断言（最简单直接）

既然我们明确知道当前分支的返回值符合One<T>的结果，可以直接用断言告诉TypeScript：

function one<T extends number | bigint>(arg: T): One<T> {
  switch (typeof arg) {
    case 'number':
      return 1 as One<T>;
    case 'bigint':
      return 1n as One<T>;
    default:
      throw new TypeError();
  }
}

方法2：用函数重载替代泛型条件类型

如果想避免断言，可以用函数重载让TypeScript明确每个参数类型对应的返回值：

// 重载签名：定义参数与返回值的对应关系
function one(arg: number): 1;
function one(arg: bigint): 1n;
// 实现签名：处理逻辑
function one(arg: number | bigint): 1 | 1n {
  switch (typeof arg) {
    case 'number':
      return 1;
    case 'bigint':
      return 1n;
    default:
      throw new TypeError();
  }
}

这种方式下，TypeScript能完美匹配分支的返回值类型，内部不会报错，外部调用的类型推导也和之前一致。

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