Swift 编译器无法解析泛型的递归使用

Question

我正在尝试在 Swift 中实施责任链模式。

public class Chain<T, U> {
    private var command: (T?, (U?) -> Void) -> Void
    private var runCommand: (() -> Void)?
    private var nextCommand: ((U?) -> Void)?

    private init(command: (T?, (U?) -> Void) -> Void) {
        self.command = command
    }

    private func next(u: U?) {
        self.nextCommand?(u)
    }

    func then<V>(command: (U?, (V?) -> Void) -> Void) -> Chain<U, V> {
        let c = Chain<U, V>(command: command)

        self.nextCommand = { command([=11=], c.next) }
        c.runCommand = self.runCommand

        return c
    }

    func endWith(command: (U?) -> Void) {
        self.nextCommand = command
        self.runCommand!()
    }

    static func build<V>(command: ((V?) -> Void) -> Void) -> Chain<AnyObject, V> {
        let c = Chain<AnyObject, V>(command: { _, next in command(next) })
        c.runCommand = { command(c.next) }
        return c
    }
}

我的 class 没有引发任何编译错误，但一个简单的用例（例如下面的一个）不起作用。它会引发以下错误：error: cannot invoke 'endWith' with an argument list of type '((_?) -> ()) ; expected an argument list of type '((U?) -> Void)'

有什么想法吗？

Chain.build { next in
    print("Foo")
    next("Bar")
}
.then { o, next in
    print(o)
    next(15)
}
.endWith { o in
    print(o)
}

我知道这是 Swift 中泛型使用的边缘情况。但是，由于无法显式特化泛型，目前我还没有找到任何解决方案。

Answer 1

编译器无法推断您示例中的类型。你只需要在它们不明确的地方指定它们：

Chain<String,Int>.build { next in
  print("Foo")
  next("Bar")
  }
  .then { (o: String?, next: Int? -> Void) in
    print(o)
    next(15)
  }
  .endWith { o in
    print(o)
}

Swift 编译器无法解析泛型的递归使用

Swift compiler is unable to resolve recursive use of generics

generics

chain-of-responsibility

swift