TypeScript联合类型：为何变量无需类型检查而函数内需要？

关于赋值的类型兼容性问题 #

• 把返回string | number的函数结果赋值给number类型变量时报错，本质是TypeScript的类型安全机制在起作用：联合类型string | number包含两种可能的类型，TypeScript无法确保它一定是number，如果允许赋值，后续用这个变量执行number专属操作（比如toFixed）时，万一实际是string就会触发运行时错误，所以直接禁止这种赋值。
• 反过来，把返回number的函数结果赋值给string | number类型变量没问题，是因为number是string | number的子类型——所有number类型的值都完全符合联合类型的要求，这种“窄类型向宽类型”的赋值是安全的，TypeScript默认允许。

关于函数参数的联合类型检查要求 #

当函数参数是string | number这类联合类型时，TypeScript只允许你使用所有类型共有的属性/方法（比如toString()，string和number都支持）。如果想调用某一类型独有的方法（比如string的toUpperCase、number的toFixed），必须先做类型检查：

• 这是因为TypeScript不知道调用函数时传入的具体是哪种类型，直接调用专属方法会有运行时风险。
• 用typeof param === 'string'或者typeof param === 'number'这类类型守卫缩小类型范围后，TypeScript就能确定当前分支里参数的具体类型，允许你调用对应类型的专属方法，避免潜在错误。

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