TypeScript如何强制泛型数组类型安全？解决父子类数组问题

问题场景 #

现有类定义如下：

class X {
    fn(env: (number | string)[]) {
        if (typeof env[0] === 'string') {
            console.log('print string and number')
        }
        console.log(env[0] === 0)
    }
}

class Y extends X {
    override fn(env: string[]) {
        console.log(env[0] === '0')
    }
}

当前TypeScript的结构化类型系统允许以下不符合预期的代码：

const x: X = new Y() // 符合预期，Y继承X
const y: Y = new X() // 不应被允许，但未报错
const arrY: Y[] = [x] // 不应被允许，但未报错

需要实现：Y可以作为X使用，但X绝不能作为Y使用，且不能破坏继承兼容性（无需显式类型转换即可将Y存入X数组）。

有效解决方案 #

方案1：利用私有成员实现名义类型区分 #

为Y类添加一个仅用于类型标记的私有成员，TypeScript对包含私有成员的类会采用名义类型检查而非结构化类型检查，从而阻断X向Y的向下转型：

class X {
    fn(env: (number | string)[]) {
        if (typeof env[0] === 'string') {
            console.log('print string and number')
        }
        console.log(env[0] === 0)
    }
}

class Y extends X {
    // 私有品牌属性，仅用于类型区分，不影响运行逻辑
    private readonly __yBrand: unique symbol = Symbol()
    
    override fn(env: string[]) {
        console.log(env[0] === '0')
    }
}

此时以下代码会直接触发类型错误：

const y: Y = new X() // 报错：类型 "X" 中缺少属性 "__yBrand"，但类型 "Y" 中需要该属性
const arrY: Y[] = [new X()] // 报错：类型 "X" 不能赋值给类型 "Y"

而向上转型依然正常：

const x: X = new Y() // 正常
const arrX: X[] = [new Y()] // 正常

该方案无需修改原有业务逻辑，也不需要显式类型转换，完全保留继承的兼容性。

方案2：类型层面的品牌标记（无需修改类实例） #

如果不想为类添加实例属性，可以通过类型别名添加品牌标记，结合类型约束实现单向兼容：

// 定义品牌类型工具
type Brand<T, BrandName> = T & { readonly __brand: BrandName }

class X {
    fn(env: (number | string)[]) {
        // ...原逻辑
    }
}

class Y extends X {
    override fn(env: string[]) {
        // ...原逻辑
    }
}

// 为Y添加品牌标记的类型别名
type SafeY = Brand<Y, 'Y'>

// 使用时：
const x: X = new Y() // 正常
const y: SafeY = new X() // 报错：类型 "X" 缺少 "__brand" 属性
const arrX: X[] = [new Y()] // 正常
const arrY: SafeY[] = [new X()] // 报错：类型不兼容

该方案通过类型层面的约束实现目的，不会影响类的实例结构，但需要使用SafeY类型来替代原始的Y类型进行变量声明。

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