装饰函数调用：移除TypeScript函数签名中的可空性问题

问题背景 #

现有一个完全不可修改的函数：

function cannotChangeThisFunc<A>(v: (A | null) | ((u: (A | null)) => (A | null))) {
    // 无法修改此函数体
}

需要编写一个签名一致但禁止所有null值的函数，签名如下：

function cannotChangeThisSignature<A>(v: A | ((u: A) => A)) {
  cannotChangeThisFunc<A>(/* ... */);
}

目标是调用cannotChangeThisSignature时，能将参数正确传递给cannotChangeThisFunc，但以下两种写法均无法正常工作：

两种写法的问题分析 #

写法一 #

function cannotChangeThisSignature<A>(v: A | ((u: A) => A)) {
    cannotChangeThisFunc<A>(v);
}

问题原因：TypeScript函数参数类型遵循逆变规则——若函数期望接受更宽的类型（如A | null），则不能直接传入仅接受更窄类型（如A）的函数。cannotChangeThisFunc的函数参数允许传入null，但我们的v函数只接受A，类型检查会直接报错，因为存在null传入的风险。

写法二 #

function cannotChangeThisSignature<A>(v: A | ((u: A) => A)) {
    if (typeof v === "function") {
        cannotChangeThisFunc<A>((vv: (A | null)) => (v(vv)));
    } else {
        cannotChangeThisFunc<A>(v);
    }
}

问题原因：当vv为null时，调用v(vv)违反了v的函数签名（v仅接受A类型），编译时会报错。此外，写法依赖运行时判断，不符合编译时检查的需求。

解决方案 #

通过包装函数处理null输入，确保原函数不会收到null，同时满足cannotChangeThisFunc的参数类型要求：

function cannotChangeThisSignature<A>(v: A | ((u: A) => A)) {
    cannotChangeThisFunc<A>(
        typeof v === "function" 
            ? (vv: A | null) => vv === null ? null : v(vv) 
            : v
    );
}

说明：

• 非函数类型的v可直接传递，因为A是A | null的子类型，符合类型要求。
• 函数类型的v被包装为新函数：当输入是null时返回null（匹配cannotChangeThisFunc的返回类型要求），否则调用原函数v（此时vv通过null判断被类型守卫为A，符合v的参数要求）。
• 该实现完全通过编译时类型检查，无类型安全风险。

内容的提问来源于stack exchange，提问作者Page not found