为何TypeScript未对未实例化类的赋值操作抛出编译错误？

类型定义 #

class Foo {}
class Bar<T> {
    value: T;

    constructor(val: T) {
        this.value = val;
    }
}
type Baz<T> = Foo | Bar<T>;

错误赋值代码 #

let foo: Baz<string> = Foo; // 错误：将类本身赋值给了实例类型的变量
if (foo instanceof Foo) {
    // ...do something...
} else {
    // ...something else..
}

正确写法 #

let foo: Baz<string> = new Foo();

为什么编译器允许错误代码？ #

核心原因是空实例类型与函数对象的兼容性：

• class Foo {}定义的Foo类型是它的实例类型，由于类中没有任何实例成员，这个类型本质等价于空对象类型{}。
• 在TypeScript中，{}类型会匹配所有非原始类型（包括函数、对象等），而类本身Foo是一个构造函数（属于函数对象），自然符合{}的结构要求，因此编译器认为赋值合法。

添加空构造函数或改为type Foo = {}都无法解决问题，因为这些操作没有改变实例类型为空对象的本质，函数对象依然能兼容这个类型。

更严格的类型定义方式 #

要避免这类错误，关键是让Foo的实例类型与构造函数类型不兼容，可以通过以下方式实现：

1. 添加私有成员标记

给Foo类添加一个私有属性，让实例类型拥有独有的标识，构造函数本身不会包含这个私有属性，从而阻止非法赋值：

class Foo {
    private _instanceMarker: void; // 私有属性，仅用于区分实例与构造函数
}

class Bar<T> {
    value: T;
    constructor(val: T) {
        this.value = val;
    }
}
type Baz<T> = Foo | Bar<T>;

// 此时以下代码会触发编译错误：类型 'typeof Foo' 不能赋值给类型 'Foo'
let foo: Baz<string> = Foo;

2. 显式定义实例接口并添加属性

如果业务允许，可以给Foo的实例添加实际的属性或方法，让实例类型不再是空对象，同样能避免构造函数被错误赋值：

interface IFoo {
    type: 'foo'; // 明确的标识属性
}

class Foo implements IFoo {
    type = 'foo';
}

class Bar<T> {
    value: T;
    constructor(val: T) {
        this.value = val;
    }
}
type Baz<T> = Foo | Bar<T>;

// 错误：typeof Foo 不包含 type 属性，无法赋值给 Baz<string>
let foo: Baz<string> = Foo;

这两种方式都能让编译器准确识别出“类本身”和“类实例”的类型差异，及时抛出编译错误，避免这类不易察觉的问题。

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