TypeScript枚举排序函数类型不匹配错误排查与修复

TypeScript报错的核心是泛型参数推断错误：

• 你定义的泛型T在调用时被推断为typeof MyNumber（即枚举的构造函数类型，也就是整个枚举对象的类型），但传入的list是MyNumber[]（枚举成员的数组），两者类型不兼容，因此出现“MyNumber[]无法赋值给(typeof MyNumber)[]”的类型不匹配错误。
• 函数逻辑里，enumType是枚举对象（比如MyNumber本身），而enumList是枚举成员的数组，这两个参数的类型本就不属于同一类，但泛型T被错误地同时绑定到了这两个参数上，导致类型约束失效。

重新定义泛型，明确区分枚举对象类型和枚举成员类型，让函数能正确识别两者的关联关系：

export enum MyNumber {
    ONE='ONE',
    TWO='TWO',
    THREE='THREE',
    FOUR='FOUR',
    FIVE='FIVE',
}

// T代表枚举成员类型，E代表包含该成员的枚举对象类型
const sortByEnumOrdinal = <T extends string | number, E extends Record<string, T>>(enumType: E, enumList: T[]): T[] => {
    const orderedEnumValues = Object.values(enumType) as T[];
    // sort是原地排序，会修改原数组；若需保留原数组可改为[...enumList].sort(...)
    enumList.sort((a, b) => orderedEnumValues.indexOf(a) - orderedEnumValues.indexOf(b));
    return enumList;
}

const list = [MyNumber.THREE, MyNumber.FOUR, MyNumber.ONE];
sortByEnumOrdinal(MyNumber, list);

console.log(list); // 输出：[MyNumber.ONE, MyNumber.THREE, MyNumber.FOUR]

关键调整说明 #

1. 泛型拆分：用T表示枚举成员的类型（比如MyNumber的成员为字符串类型），E表示枚举对象的类型（即typeof MyNumber），通过E extends Record<string, T>约束两者的关联——枚举对象的所有值都是T类型的成员。
2. 类型断言：Object.values(enumType)默认返回(string | number)[]，通过as T[]断言为枚举成员类型数组，避免后续indexOf操作的类型报错。
3. 原地排序提示：Array.sort会直接修改原数组，如果需要保留原数组的原始状态，可以在排序前复制一份数组，比如const sortedList = [...enumList].sort(...)，再返回sortedList。

如果想避免传入非枚举成员的数组，可以添加额外类型约束，确保enumList的每一项都属于枚举对象的有效值：

const sortByEnumOrdinal = <T extends string | number, E extends Record<string, T>>(
    enumType: E,
    enumList: (keyof E extends string ? E[keyof E] : never)[]
): typeof enumList => {
    const orderedEnumValues = Object.values(enumType) as (keyof E extends string ? E[keyof E] : never)[];
    enumList.sort((a, b) => orderedEnumValues.indexOf(a) - orderedEnumValues.indexOf(b));
    return enumList;
}

内容的提问来源于stack exchange，提问作者s-hunter