禁止与任何人通话

Question

考虑以下函数重载：

function f(key: undefined);
function f(key: string | undefined, value: object | undefined);

我想使用单个显式未定义f(undefined) 进行符合条件的调用，但在所有其他情况下需要两个参数。上面的重载工作正常，直到我传递一个类型为 any 的变量 - 似乎 any 可以转换为 undefined （是的，这似乎是合乎逻辑的）。

如何禁止使用单个 any 参数调用？

---

完整的demo code:

function f(key: undefined);
function f(key: string | undefined, value: object | undefined);

function f(key: string | undefined, value?: object | undefined) {
    console.log(key, value);
}

// No errors - RIGHT
f(undefined);
f("", {});
f("", undefined);
f(undefined, undefined);
f(undefined, {});

// Errors - RIGHT
f("");

// No errors - WRONG
declare var x: any;
f(x);

Answer 1

TypeScript 真的不想禁止 any 匹配类型，因为这就是 any 的全部意义所在。您可能需要重新考虑任何依赖于拒绝 any 的代码，因此请谨慎行事。

---

话虽如此，您可以使用新的conditional types 功能为any 构建检测器，然后可以使用它来禁止any 变量。

这是检测器：

type IfAny<T, Y, N> = 0 extends (1 & T) ? Y : N; 

不满足类型约束0 extends 1（0 不能分配给1），所以0 extends (1 & T) 也不可能满足，因为(1 & T) 应该比@987654335 更窄@。但是，当T 为any 时，它会将0 extends (1 & any) 减少为0 extends any，这是满足的。这是因为any 是有意为unsound 并充当几乎 其他所有类型的超类型和子类型。因此，IfAny<T, Y, N> 检查T 是否为any。如果是，则返回Y。如果不是，则返回T。让我们看看它的工作原理：

type IsAny<T> = IfAny<T, true, false>
const yes: IsAny<any> = true;
const no: IsAny<string> = false;

---

回想一下，我说过any 匹配几乎所有其他类型。唯一不匹配any的类型是never：

declare const any: any;
const never: never = any; // error, any is not assignable to never

我们也需要这个事实，以拒绝any 参数。让我们将f()的第一个签名从

function f(key: undefined): void;

到

function f<K extends IfAny<K, never, undefined>>(key: K): void;

我们已将key 设为泛型类型K，它被限制为IfAny<K, never, undefined>。如果K 不是any，那么那个约束就是undefined，所以K 只能是undefined。如果K是any，那么那个约束就变成never，由于any不匹配never，它就不能满足这个约束。

当我们使用上述签名时，您会看到以下行为：

f(undefined); // still works
f(""); // still error, "" is not assignable to undefined

declare var x: any;
f(x); // now error, any is not assignable to never

这就是你想要的。

希望有所帮助；祝你好运！