swift - 请提供一个实际示例，说明如何/为什么在 Swift(标准库的一部分)中使用 SinkOf 和 SinkType？

Question

这些在 ReactiveCocoa 的 Swift 实现和我遇到的任何其他功能性 react 库中大量使用，因此从这个角度来看似乎很有趣。

它本质上看起来是一个包装通用值的结构，但这显然是一种过于简单的解释。这些类型在 swift 标准库中有一些注释，但我发现它们有点太模糊，谷歌搜索结果很少。

Answer 1

我认为将汇视为生成器的对应物会有所帮助。

生成器基本上是 (Void -> T) 的函数, 其中T是你生成的东西的类型。 GeneratorType是一个允许结构和类等充当生成器的协议(protocol)，方法是给该函数一个名称:next() -> T .这很方便，因为生成器函数不带参数，所以要生成有用的值序列，您需要一个地方来跟踪调用之间的某些状态。 Generator<T>是符合 GeneratorType 的通用基类型协议(protocol)，你可以继承它来实现你自己的 GeneratorType .

所以，回到水槽。接收器是生成器的逆函数，这意味着它是 (T -> Void) 的函数。 .它还具有相关协议(protocol) SinkType ，它通过将接收器函数定义为 put(T) 让结构和类充当接收器。 .还有一个基础实现 SinkOf<T> ，您可以直接使用它而无需通过传递 put 的实现来进行子类型化。起到闭包的作用。由于 sink 函数返回 Void , 它不太可能需要内部状态，但如果你这样做，你可以继承自 SinkOf或实现 SinkType在你自己的类/结构上。

所以 SinkOf并没有完全包装通用值，而是包装了一个采用通用值并对其执行某些操作的函数。在即将到来的 ReactiveCocoa 3 重写中，它们被用来取代 RAC 2 中“订阅者”的概念。

在 RAC 2 中，信号通过调用 sendNext: 来输出事件, sendError: , 和 sendCompleted实现 RACSubscriber 的对象的方法协议(protocol)。 RAC 3 用 Event 的接收器替换了单独的方法s，其中 Event<T,ErrorType>是一个枚举，可以是其中一种情况 .Next(T) , .Error(ErrorType) , 和 .Completed , 再加上新的 .Interrupted案件。

将所有事件类型包含在一个枚举中可以使信号的含义更加清晰:它是事件流。事件一次到达一个，可以是四种类型之一(RAC2 中为三种)。没有 swift 的 enum类型，这些事件必须单独调度，因为与事件关联的值类型对于每个事件类型都是不同的。与 enum s 可以携带不同类型的值，所有你需要实现的 RACSubscriber是put的地方Event ，或者换句话说，一个水槽。

这仍然留下了一个问题，即为什么要麻烦拥有一个 SinkType而不是仅仅传递 (T -> Void) 类型的闭包. The docs只真正谈论编译器优化的好处，但我个人认为它很有用，因为它为您提供了一个可以使用的名称。如果我看到 (T -> Void) 的关闭，我必须暂停一下来解析类型，如果我一直传递它们，就会有很多括号和箭头使我的定义变得困惑。

此外，如果您使用的是生成器，那么它在概念上非常匹配。自 RAC Signal从概念上讲是事件的生成器，所以从接收器的角度来讨论是有意义的，接收器是生成器的自然补充。