打字稿：定义一个不能容纳任何东西的类型

Question

我对这种类型感兴趣（出于验证的目的），这种类型的变量不能具有任何赋值。 有void类型，但此类型的值可以包含undefined值，所以这并不是我要问的。

似乎我能够使用不兼容类型的交集来重现此行为：

type nothing = true & false;
const nothingTrue: nothing = true; // error, true not assignable to false
const nothingFalse: nothing = false; // error, false not assignable to true
const nothingUndefined: nothing = undefined; // error, undefined not assignable to true

但这看起来更像黑客。 也许还有更清楚的东西？ 还是这是正确的方法？

Answer 1

您要查找的类型是never类型。 从文档 ：

never类型是每种类型的子类型，并且可以分配给每种类型。 但是，任何类型都不是（永远不会除外的）永不的子类型或可分配给它的子类型。 甚至任何东西都不能分配给永不。