为何TypeScript不接受该赋值？如何实现含2+元素的递归类型？

问题描述 #

尝试定义一个递归类型，允许值为A、B，或是包含list键的对象（list的值为至少包含2个元素的数组，数组元素可以是A、B或该list对象），编写的类型定义如下：

type A = {
    prop1: string;
}

type B = {
    prop2: number;
}

type Array = {
    list: [AorB, AorB, ...AorB[]]
}

type AorB = A | B | Array;

type AorBorArray = AorB;

赋值A或B类型对象时正常，但赋值list对象给AorBorArray类型变量时报错：

const list = {
    list: [
        {prop1: 'test'},
        {prop2: 123}
    ]
};

const assignTest: AorBorArray = list; // Error

只有显式断言或把Array类型改为list: AorB[]才能正常工作，但需要保留数组至少包含2个元素的约束。

原因分析 #

TypeScript在处理递归联合类型+固定长度元组约束时存在推断局限性：

• 原类型定义中Array依赖AorB，AorB又依赖Array，形成循环引用。
• 当定义list: [AorB, AorB, ...AorB[]]时，编译器需要验证数组每个元素都符合AorB，但递归循环导致编译器无法自动完成这个推断，必须通过显式断言绕过检查。
• 换成AorB[]时，数组是任意长度的宽松约束，编译器无需逐个验证递归类型，因此能正常通过。

解决方案 #

调整类型定义，将递归逻辑合并为单个类型，消除不必要的中间类型，让编译器能正确推断递归结构：

type A = {
    prop1: string;
}

type B = {
    prop2: number;
}

// 直接定义递归类型，包含A、B及带至少2个元素的list结构
type RecursiveType = A | B | {
    list: [RecursiveType, RecursiveType, ...RecursiveType[]]
};

测试验证 #

// 赋值A类型
const a: RecursiveType = { prop1: 'test' }; // OK

// 赋值B类型
const b: RecursiveType = { prop2: 123 }; // OK

// 赋值list类型（无需断言）
const listObj: RecursiveType = {
    list: [
        { prop1: 'test' },
        { prop2: 123 }
    ]
}; // OK

// 嵌套list结构也能正常推断
const nestedList: RecursiveType = {
    list: [
        { prop1: 'test' },
        { list: [{ prop2: 456 }, { prop1: 'nested' }] }
    ]
}; // OK

这样修改后，既保留了数组至少2个元素的约束，又无需显式断言即可正常赋值。

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