带泛型的递归Immutable类型定义兼容性问题排查

你的问题核心是：带函数属性过滤逻辑的递归Immutable类型，在泛型场景下无法和原类型完成类型断言，编译器提示重叠度不足，但移除过滤逻辑或非泛型场景就正常。

问题根源 #

TypeScript在处理泛型类型时，无法提前确定IWithSelected<T>中的属性经过as T[K] extends (...args: any[]) => any ? never : K过滤后，和原类型的结构匹配度。如果T包含函数属性，Immutable<IWithSelected<T>>会丢失这些属性，编译器认为原类型和转换后的类型差异过大，不允许直接断言。

解决方案 #

方案1：通过unknown中转绕过检查

这是最直接的临时解决方案，先把原类型转为unknown，再转为目标Immutable类型，绕过编译器的重叠度校验：

function f<T extends IWithValue>(
    g: (x: Immutable<IWithSelected<T>>) => void,
    x: IWithSelected<T>
) {
    // 先转unknown再转Immutable类型
    g(x as unknown as Immutable<IWithSelected<T>>);
}

方案2：调整Immutable类型定义，优化结构匹配度

把函数属性的过滤和深度只读逻辑拆分，先保留函数属性并标记为只读，再做过滤。这样原类型和Immutable类型的结构重叠度更高，编译器能识别兼容性：

// 基础深度只读类型，保留所有属性（包括函数）并标记为只读
type DeepReadonly<T> = T extends string | number | boolean | bigint | symbol | undefined | null
    ? Readonly<T>
    : T extends (...args: any[]) => any
    ? Readonly<T>
    : T extends object
    ? { readonly [K in keyof T]: DeepReadonly<T[K]> }
    : never;

// 基于DeepReadonly，过滤掉函数属性
type Immutable<T> = {
    [K in keyof T as T[K] extends (...args: any[]) => any ? never : K]: DeepReadonly<T[K]>;
};

// 此时泛型场景下断言正常工作
function f<T extends IWithValue>(
    g: (x: Immutable<IWithSelected<T>>) => void,
    x: IWithSelected<T>
) {
    g(x as Immutable<IWithSelected<T>>);
}

这个方案既保留了你排除函数属性的需求，又让类型结构更符合编译器的推导逻辑，避免了重叠度不足的报错。

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