`this` 必须是 `void`

Question

尝试声明一个必须用 void this 调用的函数（undefined、null 或 global）。并且发现了一件有趣的事情。当用this: void 声明函数时，它可以用任何this 调用，但如果我添加一些具体类型，如this: void | Function（但它不适用于null、undefined、any）它开始检查this。

Code:

var x = { f: function (this: void) { } };
x.f();             // Ok - why???
(0 as any, x.f)(); // Ok

var y = { f: function (this: Window) { } };
y.f();             // Error 
(0 as any, y.f)(); // Error

var z = { f: function (this: void | Window) { } };
z.f();             // Error 
(0 as any, z.f)(); // Ok

var a = { f: function (this: void | null) { } };
a.f();             // Ok
(0 as any, a.f)(); // Ok

var b = { f: function (this: void | Function) { } };
b.f();             // Error
(0 as any, b.f)(); // Ok

var c = { f: function (this: void | (string & number)) { } };
c.f();             // Error
(0 as any, c.f)(); // Ok

我不明白void 在这里是如何工作的。

Answer 1

void是很奇怪的类型

var a:void = undefined; // ok
var b:undefined = a; // incompatible

在您的示例中，如果所有 void 类型都替换为 undefined 一切都按预期工作