TypeScript中undefined字段检查失效问题及修复方案咨询

问题重现 #

以下代码中，我们期望未传入可选参数b时，bb允许传入'yes'；传入b时，bb只能传入'no'。但调用method({ bb: 'yes' })时却触发类型错误：Type '"yes"' is not assignable to type '"no"'。

const method = <
  B extends string, 
  BB extends B extends undefined ? 'yes' : 'no' = B extends undefined ? 'yes' : 'no'
>({
  b,
  bb,
}: {
  b?: B;
  bb: `${BB}`;
}) => {};

method({ bb: 'yes' }); // 报错：Type '"yes"' is not assignable to type '"no"'

失效原因 #

核心问题出在泛型参数B的推断逻辑：

• 因为B的约束是extends string，当未传入b参数时，TypeScript不会自动将B推断为undefined，而是取B的约束类型string作为默认推断结果。
• 此时B extends undefined的判断结果为false，导致BB被推断为'no'，进而要求bb的类型必须是'no'，传入'yes'自然触发错误。
• 另外，${BB}字符串模板在这里是多余的，BB本身就是字面量类型，不会改变类型结构。

修复方法 #

方法一：直接用条件类型关联参数（最简洁） #

移除多余的BB泛型，在参数类型定义中通过条件类型直接关联b和bb，同时让B的约束包含undefined：

const method = <B extends string | undefined>({
  b,
  bb,
}: {
  b?: B;
  bb: B extends undefined ? 'yes' : 'no';
}) => {};

// 测试用例
method({ bb: 'yes' }); // 正常通过
method({ b: 'hello', bb: 'no' }); // 正常通过
method({ b: 'hello', bb: 'yes' }); // 报错，符合预期

方法二：保留泛型参数并修正约束与默认值 #

如果需要保留BB泛型，可调整B的约束为string | undefined，并给B设置undefined作为默认值，确保未传入b时B的类型正确：

const method = <
  B extends string | undefined = undefined,
  BB = B extends undefined ? 'yes' : 'no'
>({
  b,
  bb,
}: {
  b?: B;
  bb: BB;
}) => {};

// 测试用例
method({ bb: 'yes' }); // 正常通过
method({ b: 'test', bb: 'no' }); // 正常通过

两种方法都能让TypeScript根据b的存在与否，正确推断bb的合法类型，解决原代码的检查失效问题。

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