TypeScript使用JSON.parse时类型安全失效的原因是什么？

核心原因是JSON.parse的默认返回类型为any #

TypeScript 内置定义的JSON.parse方法返回值固定为any类型，这是TS类型系统的逃生舱类型，会直接关闭所有后续类型校验：

• 当三元运算的其中一个分支类型为any时，整个三元运算的结果类型会被any吸收，也就是any | undefined的联合类型最终会被判定为any
• any类型可以赋值给任意声明类型的变量，因此你将any类型的结果赋值给Person类型的person变量时，不会触发任何类型报错。

为什么第二个测试用例能正常报错 #

你的第二个测试用例中，三元运算的两个分支分别是明确的{name: string}类型和undefined类型，不存在any类型介入，TS可以正常推导出整个表达式的类型为{name: string} | undefined，和你显式声明的非空Person类型不兼容，就会触发预期的类型错误。

补充说明：如果你关闭了TS配置中的strictNullChecks选项，undefined本身就可以赋值给任意类型，也会导致不报错，但从你的第二个测试用例可以正常触发报错来看，你已经开启了该配置，所以不需要考虑这个影响因素。

1. 最简单的修复是给变量加上正确的联合类型声明，同时给JSON.parse的结果做显式类型断言：

const person: Person | undefined = somePossibleFalsey ? (JSON.parse(db.person) as Person) : undefined

2. 更安全的方案是增加类型守卫逻辑，避免JSON.parse返回的结构和Person接口不匹配的运行时问题：

interface Person {
  name: string
}

function isPerson(value: unknown): value is Person {
  return typeof value === 'object' 
    && value !== null 
    && 'name' in value 
    && typeof (value as Person).name === 'string'
}

const parseResult = JSON.parse(db.person)
const person: Person | undefined = somePossibleFalsey ? (isPerson(parseResult) ? parseResult : undefined) : undefined

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