符合返回 PAT 的通用协议方法

Question

我想声明类似于以下的通用协议：

protocol Factory {
    func createWidget<T, TWidget>(_ t: T) -> TWidget 
    where TWidget: Widget, TWidget.T == T
}

protocol Widget {
    associatedtype T
    func get() -> T
}

我希望我可以实现 Factory 的具体变体，通过隐藏的实现返回它们自己的具体和不透明的 Widget。

这是一个构建失败的示例实现：

struct ConcreteFactory: Factory {
    func createWidget<T, TWidget>(_ t: T) -> TWidget 
    where TWidget: Widget, TWidget.T == T {
        // This line has an error…
        return ConcreteWidget(widgetValue: t)
    }
}

struct ConcreteWidget<T>: Widget {
    let widgetValue: T

    init(widgetValue: T) {
        self.widgetValue = widgetValue
    }

    func get() -> T {
        return widgetValue
    }
}

但是，这不会编译。

在指示的行中，Swift 的编译器给出了错误“无法将 'ConcreteWidget' 类型的返回表达式转换为 'TWidget' 类型的返回表达式”。

我也尝试让ConcreteFactory 返回ConcreteWidget，但错误是ConcreteFactory 不符合Factory。

Answer 1

这行不通。当您调用您的createWidget 方法时，您指定两种类型T 和TWidget。

struct MyWidget: Widget { 
   func get() -> Int { ... }
}

let widget: MyWidget = factory.createWidget(12)

在此示例中，TWidget 是 MyWidget，T 是 Int。这很好地说明了为什么你的方法行不通。您不能将ConcreteWidget<Int> 分配给MyWidget 类型的变量。

您需要一个 type-eraser 用于您的小部件。目前你必须自己编写，但将来编译器有望在需要时自动生成它们。

struct AnyWidget<T>: Widget {
    private let _get: () -> T

    init<Other: Widget>(_ other: Other) where Other.T == T {
        _get = other.get
    }

    func get() -> T {
        return _get()
    }
}

这允许您编写工厂协议和实现：

protocol Factory {
    func createWidget<T>(_ t: T) -> AnyWidget<T>
}

struct ConcreteFactory: Factory {
    func createWidget<T>(_ t: T) -> AnyWidget<T> {
            return AnyWidget(ConcreteWidget(widgetValue: t))
    }
}