为何TypeScript允许基本类型赋值给包装对象类型，反之却不行？

这是TypeScript的设计决策，并非Bug，核心原因是对齐JavaScript运行时行为的同时，保障类型安全：

1. JavaScript中的原始值与包装对象 #

JavaScript里存在两类数值、字符串相关的值：

• 原始类型值：number（如1）、string（如"str"），属于值类型，typeof结果分别为"number"、"string"。
• 包装对象：Number（如new Number(1)）、String（如new String("str")），属于引用类型，typeof结果为"object"。

JS会在需要时自动将原始值装箱为对应包装对象（比如调用1.toString()时，JS会临时创建Number对象），但不会自动将包装对象拆箱为原始值（除非显式调用valueOf()或toString()）。

2. TypeScript的类型赋值规则 #

TypeScript作为静态类型超集，既要兼容JS行为，又要避免类型错误：

• 允许number赋值给Number：
  TS将原始类型（number/string/boolean）视为对应包装对象类型（Number/String/Boolean）的子类型。这模拟了JS的自动装箱行为——把原始值赋值给包装对象类型变量时，TS认为是安全的，因为运行时JS会自动完成装箱，不会出现类型不兼容问题。

  示例代码：

  let num: Number = new Number(1);
  num = 1; // 合法，子类型可赋值给父类型
  

• 禁止Number赋值给number：
  包装对象是引用类型，无法自动转换为原始值类型。如果允许这种赋值，运行时变量的实际类型是object而非number，会导致typeof num === "number"不成立这类违背类型预期的问题，不符合TypeScript的类型安全目标。

  示例代码：

  let num: number = 1;
  num = new Number(1); // 不合法，父类型不可赋值给子类型
  

3. 关于旧版规范的澄清 #

旧版TS规范提到“基本类型被视为对应接口的对象类型”，属于早期模糊表述。现行TS的明确规则是：原始类型是对应包装对象类型的子类型，但包装对象类型不是原始类型的子类型，这种单向子类型关系既兼容JS自动装箱行为，又规避了反向赋值带来的类型风险。

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