TypeScript中satisfies将boolean转为字面量类型是否正常？

这是TypeScript的预期行为，核心原因和satisfies关键字的设计逻辑、TypeScript的类型拓宽规则有关：

1. satisfies的作用逻辑
   satisfies的核心是「先推导变量的最窄自然类型，再校验该类型是否兼容指定接口」，而不是直接将变量类型强制设置为指定接口。它的优势是保留初始值带来的类型细化，同时确保类型符合预期的约束。

2. 类型拓宽的差异处理
   TypeScript对不同字面量的拓宽规则有区别：

• 字符串、数字字面量（比如"a"、0）会自动拓宽为对应的基础类型（string、number），所以types.str和types.int的类型分别是string和number，可以正常赋值其他同类型值。
• boolean字面量false或true默认不会被拓宽，会保留为字面量类型（false或true）。这里types.bool的初始值是false，推导后的类型就是false，而false兼容boolean类型（因为boolean是true | false的联合类型），所以satisfies TypesSamples校验通过，但变量类型被固定为false。

3. 解决方法
   如果需要让types.bool可以赋值true，有两种常见方案：

• 直接使用类型注解替代satisfies：将变量类型显式指定为TypesSamples，这样所有属性都会使用接口定义的基础类型：

  const types: TypesSamples = {
    str: "a",
    int: 0,
    arr: [1],
    bool: false,
  };
  types.bool = true; // 正常赋值
  

• 显式指定bool的类型为boolean：在初始值中用类型断言保留boolean类型，同时保留其他属性的窄类型：

  const types = {
    str: "a",
    int: 0,
    arr: [1],
    bool: false as boolean,
  } satisfies TypesSamples;
  types.bool = true; // 正常赋值
  

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