TypeScript泛型类传入错误参数未触发预期类型错误问题

测试TypeScript泛型类时会遇到这样的情况：向函数传入错误参数时，string、boolean这类基础类型能正常触发类型错误，但用对象作为泛型类型参数时却完全无效——不管是CRTP模式的类，还是普通对象类，传入错误实例都不会报错。

示例代码 #

class Test<T> {
    func1(_other: Test<T>) : void {}
    func2(_other: T) : void {}
    func3<U extends Test<T>>(_other: U) : void {}
    func4<U extends T>(_other: U) : void {}
}

// CRTP
class A extends Test<A> {}
class B extends Test<B> {}

// 非CRTP，对象类型
class G {}
class X extends Test<G> {}

// 非CRTP，基础类型
class Y extends Test<boolean> {}

const a = new A();
const b = new B();
const x = new X();
const y = new Y();

// 无类型错误，不符合预期
a.func1(b); a.func2(b); a.func3(b); a.func4(b);
a.func1(x); a.func2(x); a.func3(x); a.func4(x);

// 均触发类型错误，符合预期
a.func1(y); a.func2(y); a.func3(y); a.func4(y);

问题原因 #

TypeScript采用结构类型系统，类型兼容性判断基于结构而非类的名称。对于没有私有成员、受保护成员，也没有自定义类型标识的类，只要两个类的结构完全一致（比如示例中的A、B、G都是空类，没有任何属性或方法），TypeScript就会认为它们的类型是兼容的。

具体到你的代码：

• A和B结构完全相同，因此Test<A>和Test<B>的结构也一致——它们的方法参数类型在结构上互相兼容，所以跨类调用不会触发错误。
• G是空类，X作为Test<G>，其结构和Test<A>也完全匹配，所以互相传入也不会报错。
• 基础类型（如boolean）和对象类型的结构完全不匹配，因此a.func1(y)这类调用会触发预期的类型错误。

解决方法 #

如果需要让类成为名义类型（即基于类的名称而非结构区分类型），可以通过添加私有成员、受保护成员，或者自定义品牌属性来实现。以添加私有成员为例：

class Test<T> {
    func1(_other: Test<T>) : void {}
    func2(_other: T) : void {}
    func3<U extends Test<T>>(_other: U) : void {}
    func4<U extends T>(_other: U) : void {}
}

// CRTP类：添加私有成员实现名义类型
class A extends Test<A> {
    private _brand: never;
}
class B extends Test<B> {
    private _brand: never;
}

// 普通对象类：添加私有成员
class G {
    private _brand: never;
}
class X extends Test<G> {}

class Y extends Test<boolean> {}

const a = new A();
const b = new B();
const x = new X();
const y = new Y();

// 现在这些调用都会触发类型错误，符合预期
a.func1(b); a.func2(b); a.func3(b); a.func4(b);
a.func1(x); a.func2(x); a.func3(x); a.func4(x);

// 依然报错，符合预期
a.func1(y); a.func2(y); a.func3(y); a.func4(y);

私有成员会让TypeScript在类型检查时考虑类的名义身份——因为私有成员归属于特定类，即使两个类结构完全一样，只要私有成员的归属类不同，TypeScript就会判定它们类型不兼容。

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