TypeScript允许JSON对象赋值给类类型变量 如何避免运行时错误

这个问题不是TypeScript编译器异常，是由两个特性共同导致的：

• TypeScript默认采用结构类型兼容规则：只要两个类型的公开属性/方法结构匹配，就会被判定为类型兼容。你的Bar类具备Foo接口要求的a、b两个属性，因此满足T extends Foo的泛型约束。
• getIt函数中使用了as T强制类型断言，相当于主动告知编译器「此处返回值一定符合T类型」，直接跳过了编译器的默认类型校验逻辑。

你可以通过以下修改直接拦截这类错误：

1. 移除无依据的强制类型断言，收紧返回值类型 #

如果你确认getIt只会返回基础的Foo结构，不要用泛型+断言的写法，直接固定返回值类型为Foo：

// 调整后代码
function getIt() : Foo {
    return { a: 'hi', b: 38 };
}

// 此时下行代码会直接触发编译错误：类型 "Foo" 中缺少属性 "frank"、"greet" 等Bar类型要求的属性
const notReallyBar: Bar = getIt();

2. 给接口增加唯一标识，破坏结构兼容 #

如果你需要保留泛型逻辑，但是不希望类类型被错误匹配为Foo的子类型，可以给Foo系列接口添加唯一的标记字段：

interface Foo {
    a: string,
    b: number,
    // 唯一标记，类Bar没有该字段，不会被判定为符合Foo结构
    __fooTag: 'base'
}

interface Boo extends Foo {
    c: boolean,
    __fooTag: 'boo'
}

此时Bar类不满足T extends Foo的约束，const notReallyBar: Bar = getIt()会直接触发编译报错。

3. 开启严格编译配置 #

在tsconfig.json中开启以下配置，提升类型校验严格度：

{
  "compilerOptions": {
    "strict": true,
    "noImplicitAny": true,
    "strictFunctionTypes": true,
    "noUncheckedIndexedAccess": true
  }
}

因为你获取的是纯JSON数据，本身不可能携带类的方法、getter等属性，不要直接将JSON赋值给类类型变量，建议通过类构造函数做转换：

class Bar {
    a: string;
    b: number;
    // 接收Foo结构的入参构造实例
    constructor(data: Foo) {
        this.a = data.a;
        this.b = data.b;
    }
    get frank(): string { return this.a + this.b; }
    greet() { console.log(this.frank, this.a, this.b)};
}

// 调用示例
const fooData = getIt();
const realBar = new Bar(fooData);
realBar.greet(); // 运行时不会报错

如果对数据来源可靠性要求高，可以搭配类型守卫做运行时校验，进一步兜底：

function isFoo(val: unknown): val is Foo {
    return typeof val === 'object' 
        && val !== null 
        && 'a' in val && typeof (val as Foo).a === 'string'
        && 'b' in val && typeof (val as Foo).b === 'number';
}

// 使用时先校验
const rawData = getIt();
if (isFoo(rawData)) {
    const realBar = new Bar(rawData);
    realBar.greet();
}

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