TypeScript中如何避免Vector2赋值给Vector2Int并实现OO类型约束？

class Vector2 {
    readonly x: number;
    readonly y: number;

    constructor(x: number, y: number) {
        this.x = x;
        this.y = y;
    }
}

class Vector2Int extends Vector2 {
    constructor(x: number, y: number) {
        if (!(Number.isInteger(x) && Number.isInteger(y))) {
            throw new Error();
        }

        super(x, y);
    }
}

function printVector2Int(vector2Int: Vector2Int) {
    console.log(vector2Int);
}

printVector2Int(new Vector2(0.5, 0.5));

这段代码在Java中无法运行，因为Vector2Int是Vector2的子类，但反之不成立。而它在TypeScript中可以运行，是因为Vector2类型满足Vector2Int的类型要求。

如何让TypeScript实现类似面向对象语言的类型强制约束？这样使用TypeScript是否合理？

一、实现传统面向对象风格的类型强制约束 #

TypeScript默认采用结构类型系统（鸭子类型），只要两个类型的结构匹配就可以互相赋值，这是导致父类实例能赋值给子类类型的核心原因。要实现类似Java的名义类型约束，有三种可靠方式：

1. 给子类添加私有/受保护的标识成员 #

在Vector2Int中添加一个仅用于类型区分的私有成员，让Vector2的结构不再与Vector2Int匹配：

class Vector2 {
    readonly x: number;
    readonly y: number;

    constructor(x: number, y: number) {
        this.x = x;
        this.y = y;
    }
}

class Vector2Int extends Vector2 {
    // 私有成员仅用于类型标识，无实际业务意义
    private readonly _intVectorMarker: undefined;

    constructor(x: number, y: number) {
        if (!(Number.isInteger(x) && Number.isInteger(y))) {
            throw new Error("Vector2Int必须传入整数坐标");
        }
        super(x, y);
    }
}

function printVector2Int(vector2Int: Vector2Int) {
    console.log(vector2Int);
}

// 编译报错：类型 'Vector2' 缺少 '_intVectorMarker' 属性，无法赋值给 'Vector2Int'
printVector2Int(new Vector2(0.5, 0.5));

2. 用唯一符号实现标称类型别名 #

如果不想修改类的结构，可以通过类型别名+唯一符号创建标称类型，把Vector2Int标记为特殊的Vector2：

// 声明唯一符号，用于区分类型
declare const Vector2IntTag: unique symbol;
// 标称类型：Vector2 + 唯一符号标记
type Vector2Int = Vector2 & { [Vector2IntTag]: true };

class Vector2 {
    readonly x: number;
    readonly y: number;

    constructor(x: number, y: number) {
        this.x = x;
        this.y = y;
    }
}

// 用工厂函数创建符合约束的Vector2Int实例
function createVector2Int(x: number, y: number): Vector2Int {
    if (!(Number.isInteger(x) && Number.isInteger(y))) {
        throw new Error("Vector2Int必须传入整数坐标");
    }
    // 类型断言仅用于给实例打上标称标记
    return new Vector2(x, y) as Vector2Int;
}

function printVector2Int(vector2Int: Vector2Int) {
    console.log(vector2Int);
}

// 编译报错：类型 'Vector2' 无法赋值给标称类型 'Vector2Int'
printVector2Int(new Vector2(0.5, 0.5));
// 正确调用
printVector2Int(createVector2Int(1, 2));

3. 结合strict模式强化约束 #

在tsconfig.json中启用strict: true（包含strictPropertyInitialization等子选项），可以确保类的属性初始化严格符合要求，配合上述方法能进一步提升类型安全性。

二、原写法是否合理？ #

原写法完全不合理，核心问题如下：

• 违反里氏替换原则：父类Vector2实例不满足子类Vector2Int的运行时约束（必须是整数坐标），却能被当作子类使用，后续如果Vector2Int添加依赖整数的方法，会直接引发运行时错误。
• 类型安全失效：TypeScript的核心价值之一是编译时类型检查，原写法绕过了这个机制，把本应提前发现的错误留到运行时。
• 代码可读性差：其他开发者看到printVector2Int的参数类型是Vector2Int，会默认传入的是符合约束的实例，实际却可能是普通Vector2，造成认知偏差。

如果要利用TypeScript的结构类型特性，必须确保父类实例完全满足子类的所有契约（包括运行时约束）；否则就应该用上述方法实现标称类型约束，保障代码的类型安全。

内容的提问来源于stack exchange，提问作者Ícaro Lima