TypeScript中JSON.parse赋值类实例致运行时错误的类型检查方案问询

我在TypeScript Playground中实验时发现，TypeScript允许将JSON.parse返回的对象赋值给类类型变量，尽管该对象不包含类的方法，这会引发运行时错误。我原以为不使用as或any时TypeScript是类型安全的，请问仅通过类型注解、不修改代码行为的前提下，能否让类型系统捕获该问题？

代码示例：

class Foo {
    inner: Number;
    constructor(inner: Number) {
        this.inner = inner;
    }
    getInner() {
        return this.inner;
    }
}
let result: Foo = JSON.parse('{ "inner": 5 }');
console.log(result.getInner());

可以实现，核心思路是利用TypeScript对私有/protected属性的名义类型检查特性，给类添加一个无实际运行意义的私有属性，让类型系统区分普通对象和类实例：

修改后的类定义：

class Foo {
    inner: number;
    // 添加私有属性作为类型标识，不影响运行时行为
    private _isFooInstance?: undefined;
    constructor(inner: number) {
        this.inner = inner;
    }
    getInner() {
        return this.inner;
    }
}

此时再执行let result: Foo = JSON.parse('{ "inner": 5 }');，TypeScript会直接报错，提示{ inner: number; }类型缺少私有属性_isFooInstance，无法赋值给Foo类型，从而在编译期捕获问题。

原理说明 #

TypeScript默认采用结构类型系统：只要两个类型的属性/方法结构匹配，就会被认为是兼容的。但私有/protected属性是例外——TypeScript会把它们作为类型的“身份标识”，只有同一个类创建的实例才会被认为拥有这些属性，普通对象无法模拟，因此就能区分开类实例和JSON解析出的普通对象。

这种方案完全通过类型层面的修改实现，不会改变代码的运行逻辑，也不需要额外的运行时代码，符合“仅通过类型注解、不修改代码行为”的要求。

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