Combine框架的Never类型的本体状态是什么?

What is the ontological status of the Combine framework's Never type?

在 Combine 框架中,Never 类型到底是什么?

我不是说它是如何使用的或者它代表什么意思;我明白那个。我的意思是什么是永远不会发生的事情(正如亚里士多德所说)。

我问是因为我找不到任何 Never 除了这个的声明:

https://developer.apple.com/documentation/swift/never

但是 Combine 框架 Never 不能是 Never,因为 Combine Never 必须可以用作 Failure 类型,而 Failure 类型只能是 Error 采纳者:

https://developer.apple.com/documentation/combine/subscriber/3213651-failure

但我找不到第一个 link 中的 Never 采用第二个 link 中要求的 Error 协议的声明。

所以我希望能够找到 (1) 声明 Never 采用 Error 协议的地方,或者 (2) 一个完全不同的 Never。但是我找不到。

我相信您已经找到了正确的 NeverFailure 定义。

在回答你的本体论问题时,Never 是一种 无人居住的类型。 请参见 SE-0102

Error 一致性可以在 github.com/apple/swift/stdlib/public/core/Policy.swift 找到。

FWIW,外围相关的 SE-0215 也明确地将 Never 视为 Error 类型。