TypeScript泛型先推断后固化：Logger类Level类型为何被窄化？

问题重现 #

先看你的TypeScript代码：

type DefaultLevel = 'info' | 'error'; // Default log levels

interface LoggerOptions<CustomLevels extends string, Level extends CustomLevels | DefaultLevel> {
  customLevels?: Record<CustomLevels, number>
  level: Level
}

class Logger<CustomLevel extends string = '', Level extends CustomLevel | DefaultLevel = CustomLevel | DefaultLevel> {
  constructor(options?: LoggerOptions<CustomLevel, Level>) {
    // Initialization based on options
  }

  log(level: Level, message: string) {
    // Log message
  }
}

// Usage
const logger = new Logger({
  customLevels: {
    debug: 1,
    trace: 2,
  },
  level: 'debug'
});

logger.log('debug', '') // 正常
logger.log('trace', '') // 类型错误：'trace' 不能赋值给类型 'debug'

原因解释 #

问题核心在于TypeScript的精确泛型推断逻辑：

• 你给Logger类定义的Level泛型，约束是CustomLevel | DefaultLevel，默认值也是这个联合类型，但当你传入具体的options对象时，TypeScript会优先根据level字段的实际值做窄化推断。
• 实例化时你传入的level: 'debug'是字符串字面量类型，TypeScript会自动把Level泛型的类型锁定为'debug'，而非保留CustomLevel | DefaultLevel（即'debug'|'trace'|'info'|'error'）这个宽泛的联合类型。
• 这是因为LoggerOptions接口里level字段的类型绑定到了Level泛型，TypeScript会默认认为你传入的具体level值就是Level的精确类型，而非让Level覆盖所有合法级别。

为什么CustomLevel | DefaultLevel能解决问题？ #

当你把log方法的参数类型改成CustomLevel | DefaultLevel时，这个类型直接基于自定义级别和默认级别的联合，不受Level泛型的窄化影响——它明确允许所有合法的日志级别传入，不会被实例时的level值限制。

让Level泛型保留联合类型的写法 #

如果想继续用Level泛型实现需求，需要显式指定泛型参数，避免TypeScript自动窄化：

const logger = new Logger<'debug'|'trace', 'debug'|'trace'|'info'|'error'>({
  customLevels: {
    debug: 1,
    trace: 2,
  },
  level: 'debug'
});

logger.log('trace', '') // 现在可正常调用

不过这种写法不够简洁，更合理的调整方式是重构泛型设计，比如让LoggerOptions的level字段直接指向CustomLevel | DefaultLevel，而非单独的Level泛型。

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