通用协议Swift 4错误

Question

以下代码在Swift 3.2上可以为我工作，但是在Swift 4的最新版本中，我遇到了一个奇怪的错误，无法理解。

我正在尝试创建一个通用协议，如下所示：

public protocol FactoryComponent {
  associatedtype Argument
  associatedtype Service
  static var factory: (Resolver) -> (Argument) -> Service { get }
}

public extension FactoryComponent {
    public typealias Factory = (Argument) -> Service
}

并在这里使用它：

public extension Container {
  @discardableResult
  public func register<Component: FactoryComponent>(
    factory componentType: Component.Type
  ) -> ServiceEntry<Component.Factory> { // On this line the error shows
    return self.register(componentType.Factory.self) { resolver in
      componentType.factory(resolver)
    }
  }
}

错误：

“组件”没有名为“工厂”的成员类型； 你是说“工厂”吗？

当然，自动修复也无济于事，因为该错误是无用的...

我检查了Swift 4的重大更改，没有看到涉及通用协议的任何内容。

somone可以帮助我了解这是什么意思吗？

Answer 1

似乎缺少FactoryComponent的具体类。 只有协议的具体类才能调用Factory类型别名。

1. 尝试创建一个实现其协议的FactoryComponent具体类
2. Argument and Service在您的实现上仍然是通用的，需要具体的类型。 我的英语不好，但我希望能对您有所帮助。 如果回答不清楚，请检查下面的代码。

```

class Resolver {}

protocol FactoryComponent {
  associatedtype Argument
  associatedtype Service
  static var factory: (Resolver) -> (Argument) -> Service { get }
}

extension FactoryComponent {
  typealias Factory = (Argument) -> Service
}

class ConcreteFactoryComponent: FactoryComponent {
  static var factory: (Resolver) -> Factory {
    return foo
  }

  static func foo(_ resolver: Resolver) -> Factory {
    let factory: Factory = { argument in return "" }
    return factory
  }

  typealias Argument = String
  typealias Service = String
}

let factory: ConcreteFactoryComponent.Factory = { argument in return "" }

```

Answer 2

我相信错误不是真正与返回类型有关。 由于@escaping的新默认设置，在Swift 4中，通用签名解析的处理略有变化。 该函数正在调用具有与该函数本身相同的签名的self.register函数的事实很可能是问题的根源。

从其他类似的实例中，我建议查看Container.register的签名。 如果碰巧有一个@escaping闭包，那么扩展中的泛型函数的签名也应该有一个，以便将其识别为重载。

看到这个帖子： https : //stackoverflow.com/a/43081214/5237560

[编辑]我刚刚意识到此更改是在Swift 2和3之间进行的。如果可以提供一些启发，请在此处留下答案。