TS2739错误：接口类型变量赋值给具体类型变量问题咨询

我原本以为接口和具体类型变量可以互换，已经在接口IBar和类Bar中定义了name成员，但将接口类型值赋值给具体类型变量时，编译器抛出TS2739错误。

接口IBar代码 #

interface IBar {
    readonly name: string;
}

类Bar代码 #

class Bar implements IBar {
    protected readonly _name: string;

    public get name(): string {
        return this._name;
    }
}

报错的使用场景 #

let bar = new Bar(); // 声明为Bar类型的变量
let factory: () => IBar = () => new Bar(); // 返回IBar类型的工厂函数

// 赋值时触发报错
bar = factory(); // TS2739: Type IBar is missing the following properties from type Bar: _name, name

报错提示：IBar类型缺少Bar类型的_name和name属性。

核心原因 #

TypeScript采用结构化类型系统，但子类型可以赋值给父类型，反之不行。Bar实现了IBar，说明Bar是IBar的子类型——所有Bar实例都符合IBar的结构，但反过来，IBar类型的值可能是其他实现了该接口的类的实例（比如另一个只定义了readonly name的类），这些实例并不具备Bar的_name属性和name getter的具体实现，因此编译器不允许这种反向赋值。

解决办法 #

1. 调整工厂函数的返回类型

如果工厂函数确实只会返回Bar实例，直接将其类型定义为返回Bar而非IBar：

let factory: () => Bar = () => new Bar();
bar = factory(); // 编译通过

2. 使用类型断言（谨慎使用）

明确告知编译器该值是Bar类型，但需自行保证运行时的类型正确性，否则会引发错误：

bar = factory() as Bar;

3. 添加类型守卫校验

通过instanceof检查值是否为Bar实例，确保类型安全后再赋值：

const result = factory();
if (result instanceof Bar) {
    bar = result;
}

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