TypeScript中Array子类实例的元素类型标注方法求助

先梳理你代码里的核心错误：

1. const listA: number[] = new List(); 把List实例赋值给number[]类型后，TypeScript会将其视为普通数字数组，丢失了shuffle方法的类型信息，导致调用listA.shuffle()时报错。
2. boolean<List>、number<List>这种写法不符合TypeScript泛型语法，正确的泛型标注格式应该是List<元素类型>。

推荐解决方案：泛型类实现 #

让List继承泛型版本的Array，既不用在类声明时固定元素类型，又能给每个实例指定不同的元素类型，完美满足灵活性需求：

class List<T> extends Array<T> {
    shuffle() {
        // 可选：实现洗牌逻辑
        for (let i = this.length - 1; i > 0; i--) {
            const j = Math.floor(Math.random() * (i + 1));
            [this[i], this[j]] = [this[j], this[i]];
        }
    }
}

// 标注元素类型为number的List实例
const listA: List<number> = new List();
listA.shuffle(); // 正常调用方法
listA.push(123); // 仅允许添加数字类型

// 其他类型的实例标注
const listD: List<boolean> = new List();
const listB: List<number> = new List();
const listC: List<string> = new List();

不修改List类声明的替代方案 #

如果坚持不想修改List的类声明（保持class List extends Array），可以通过交叉类型同时保留List的方法和元素类型约束：

class List extends Array {
    shuffle() {}
}

const listA: List & number[] = new List();
listA.shuffle(); // 可正常调用
listA.push(456); // 仅允许添加数字

const listD: List & boolean[] = new List();
const listB: List & number[] = new List();
const listC: List & string[] = new List();

这种方式虽然可行，但不如泛型类类型安全，交叉类型不会像泛型那样在编译阶段严格校验元素类型的一致性，更推荐第一种泛型类的实现方式。

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