Combine框架的Never类型的本体状态是什么?
What is the ontological status of the Combine framework's Never type?
在 Combine 框架中,Never
类型到底是什么?
我不是说它是如何使用的或者它代表什么意思;我明白那个。我的意思是什么是永远不会发生的事情(正如亚里士多德所说)。
我问是因为我找不到任何 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
。但是我找不到。
我相信您已经找到了正确的 Never
和 Failure
定义。
在回答你的本体论问题时,Never
是一种 无人居住的类型。 请参见 SE-0102。
Error
一致性可以在 github.com/apple/swift/stdlib/public/core/Policy.swift 找到。
FWIW,外围相关的 SE-0215 也明确地将 Never
视为 Error
类型。
在 Combine 框架中,Never
类型到底是什么?
我不是说它是如何使用的或者它代表什么意思;我明白那个。我的意思是什么是永远不会发生的事情(正如亚里士多德所说)。
我问是因为我找不到任何 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
。但是我找不到。
我相信您已经找到了正确的 Never
和 Failure
定义。
在回答你的本体论问题时,Never
是一种 无人居住的类型。 请参见 SE-0102。
Error
一致性可以在 github.com/apple/swift/stdlib/public/core/Policy.swift 找到。
FWIW,外围相关的 SE-0215 也明确地将 Never
视为 Error
类型。