Question

我想做的想象力

type empty = (no elements)

你可以尝试

type empty = {}

但它作为<条码>{>><>>>>/代码”的编号,现在成为<条码>的成分。

接着,如何做到这一点:

type empty = null

Hmm? 编号:null为 页: 1


作为最后手段,
type empty;

但是,这会造成错误(至少对TS游戏场而言)! 是否有办法制造空洞? (如果它可能毫无用处,就意味着它 s!)

Answer 1


造就字典中的空字体确实是一种比喻的trick滴,因为像样的类型系统是结构性的,这意味着即使是空标的<代码>{>>>>><>>>/代码”也被视为具有特性的类型。
然而,通过使用一种没有可能价值观的工会类型,你可以取得类似的成果。 这样做的一个途径是使用never。 类型:
type Empty = never;

<代码>never 类型是指从未发生的价值类型。通常使用的是表明一项功能通常不会返回(例如,如果它总是犯错误或进入无限的假体)。在这方面,它有助于形成一种没有可能价值的模式。

根据这一定义,<代码>Empty的类型没有发生。例如,你可以用来指出,一项职能永远不应退还价值:

function neverReturns(): Empty {
    throw new Error("This function never returns");
}

这样,你就有效地创造了一种没有价值的东西。

友情链接