TypeScript数组排序引发类型变更的问题与解决思路

为什么先初始化再排序可行？ #

核心原因是TypeScript对具名元组和普通数组的类型处理逻辑不同：

• 你定义的MyType中，myProperty是具名元组类型[a: string[], b: string[]]，它要求必须是固定2个元素的数组，每个位置的类型明确；
• 而string[][]是任意长度的字符串数组的数组，两者属于不兼容的类型。

直接对字面量调用sort()时，TS的推断逻辑会把字面量中的元组自动拓宽为string[][]，导致整个数组的类型变成{ myProperty: string[][] }[]，无法赋值给MyType[]。

而先初始化再排序的流程：

1. 把字面量赋值给MyType[]类型的变量时，TS会严格校验每个元素的myProperty是否符合具名元组的要求，通过后变量类型被锁定为MyType[]；
2. 调用sort()时，TS会基于变量的已知类型，推断sort()返回的结果依然是MyType[]，因此不会触发类型错误。

更优解决方案 #

方案1：使用satisfies关键字（TypeScript 4.9+） #

satisfies可以先验证字面量符合MyType[]类型，同时保留原类型信息，排序后直接得到正确类型：

interface MyType { 
    myProperty: [a: string[], b: string[]] 
}

const array1 = ([
    {myProperty: [["Hello", "World"], []]},
    {myProperty: [["Hello"], []]},
] satisfies MyType[]).sort((a, b) => a.myProperty[0].length - b.myProperty[0].length);

方案2：显式断言字面量类型 #

直接将字面量断言为MyType[]后再排序，避免类型拓宽：

interface MyType { 
    myProperty: [a: string[], b: string[]] 
}

const array1: MyType[] = ([
    {myProperty: [["Hello", "World"], []]},
    {myProperty: [["Hello"], []]},
] as MyType[]).sort((a, b) => a.myProperty[0].length - b.myProperty[0].length);

方案3：提前定义数组常量再排序（你当前使用的方法） #

这种方式逻辑清晰，适合需要复用原数组的场景：

interface MyType { 
    myProperty: [a: string[], b: string[]] 
}

const rawArray: MyType[] = [
    {myProperty: [["Hello", "World"], []]},
    {myProperty: [["Hello"], []]},
];
const array1 = rawArray.sort((a, b) => a.myProperty[0].length - b.myProperty[0].length);

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