swift - 是否可以在 Swift 中构建嵌入式泛型？

Question

假设我有一个这样的协议(protocol)和结构:

protocol A {
    var someType: UnrelatedProtocol.Type { get }
}

struct B<T: UnrelatedProtocol> {
    var anotherThing: T?
}

我想像这样一起使用它们:

struct C<T: A> {
    typealias SomeThing = (B<T.someType>) -> Void
}

这在 Swift 中可能吗？我一直在玩这个，但不能完全正确。也许这是不可能的，但我觉得我应该能够做这样的事情。

谢谢!

Answer 1

首先我们有

protocol UnrelatedProtocol { }

现在我们需要在协议(protocol) A

中定义一个关联类型

protocol A {
    associatedtype SomeType: UnrelatedProtocol
    var someType: SomeType { get }
}

最后

struct B<T: UnrelatedProtocol> {
    var anotherThing: T?
}

struct C<T: A> {
    typealias Logic = (B<T.SomeType>) -> ()
}