TypeScript重写Boolean类型重载对any/unknown类型不生效问题

• TypeScript函数/构造器的类型重载采用从上到下的顺序匹配规则：入参只要满足当前位置重载的泛型约束，就会直接命中该重载的返回类型，不会继续向后匹配更精准的定义。
• any类型的兼容特性导致错位匹配：any是TS中的特殊顶层类型，它可以满足所有泛型约束，因此传入any类型值时会直接命中第一个声明的falsy值重载，错误返回false字面量类型。
• unknown类型无法命中自定义约束：unknown是类型安全的顶层类型，它不满足除自身外的任何泛型约束，既匹配不了falsy值联合类型，也匹配不了原有定义的truthy值联合类型，因此会直接走到最后一个兜底重载，返回通用boolean类型。
• 原有truthy重载定义存在漏洞：原写法里的Record<any, any> | string | number | true 既没有覆盖symbol、bigint等其他truthy类型，也没有排除同类型下的falsy值（比如string里的空字符串、number里的0），本身严谨性不足。

核心调整逻辑：优先处理无确定真值的边界类型，再按falsy、truthy的顺序匹配已知类型，简化truthy判断逻辑避免漏判。
正确的类型定义如下：

// 统一定义所有falsy值的联合类型，补充遗漏的0n（bigint类型的0）
type Falsy = false | 0 | 0n | '' | null | undefined;

interface BooleanConstructor {
  // 第一优先级处理any：any无确定类型，无法预判真值，返回通用boolean
  (value?: any): boolean;
  // 第二优先级处理unknown：未窄化的unknown无法判断真值，返回通用boolean
  (value?: unknown): boolean;
  // 第三优先级匹配明确的falsy值，返回false字面量
  <T extends Falsy>(value?: T): false;
  // 剩余所有未被前面重载匹配到的类型，均为非falsy的truthy值，返回true字面量
  <T>(value?: T): true;
}

修复后所有测试用例的推导结果符合预期：

• Boolean(42 as any) 推导为boolean（any本身是不安全的任意类型，无法确定真值，返回通用类型是合理结果）
• Boolean(42 as unknown) 推导为boolean（未做类型窄化的unknown无法判断真值，符合TS类型安全规则）
• 其余常规类型值：空字符串、0、0n、null、undefined、非零数字、非空字符串、布尔字面量、数组、普通对象、symbol、非零bigint均能正确推导出对应的true/false字面量类型。

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