TypeScript合并接口与类时不检查属性初始化的原因

这个问题的核心是TypeScript的声明合并机制和类成员初始化检查的范围限制，咱们一步步拆解清楚：

1. 第一个示例的报错逻辑 #

当你直接在类体中声明属性时：

class Dog {
    a: string;
    b: string;
    c: string;
}

这些a/b/c是类的实例属性，TypeScript会强制要求你在构造函数中初始化它们（或者标记为可选、设置默认值）。这是因为这些属性会成为运行时实例的实际成员，TS要确保它们不会在使用时变成undefined。

2. 第二个示例的声明合并行为 #

你第二个例子里用到了TypeScript的声明合并——当你定义了同名的interface Dog和class Dog时，TS会把它们的类型信息合并成一个单一的Dog类型，但这里有个关键区别：

• 接口Dog只是类型层面的约束，它不会向类的运行时实现添加任何实际属性；
• 类Dog的实际成员只有你在类体中显式声明的部分（这里只有构造函数）。

而TypeScript的初始化检查只针对类自身显式声明的属性，合并进来的接口属性不属于这个范围。编译器会认为你已经通过接口约定了这些属性的存在，但不会强制你在类的构造函数中初始化它们——毕竟这些属性并没有被定义为类的实际成员，TS默认你会在其他地方（比如类的方法、或者外部赋值）来设置这些属性。

3. 如何让编译器检查合并后的属性？ #

如果你希望编译器像第一个例子那样检查这些属性的初始化，有两种实用方式：

方式一：在类中显式声明接口的属性 #

把接口的属性添加到类体中，这样TS就会把它们当作类的实例成员进行检查：

interface Animal {
    a: string;
    b: string;
}

interface Dog extends Animal {
    c: string;
}

class Dog {
    a: string;
    b: string;
    c: string;
    constructor() {
        // 这里会提示你必须初始化a、b、c
        this.a = "woof";
        this.b = "dog";
        this.c = "brown";
    }
}

方式二：使用implements替代声明合并 #

用implements让类遵循接口约束，同时显式声明属性，这样TS也会触发初始化检查：

interface Animal {
    a: string;
    b: string;
}

interface Dog extends Animal {
    c: string;
}

class MyDog implements Dog {
    a: string;
    b: string;
    c: string;
    constructor() {
        this.a = "test";
        this.b = "test";
        this.c = "test";
    }
}

简单来说，声明合并只是类型层面的组合，不会改变类的实际成员结构，而初始化检查只关心类自身定义的成员——这就是为什么你看不到警告的原因。

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