Swift 类型删除 - 对于这种情况？

Question

我需要实现 TypeConverter 并稍后将其用作变量类型。受 ObjectMapper 的启发，我定义了以下协议(protocol):

protocol TypeConverter {
    associatedtype A
    associatedtype B

    func transformFrom(fromType: A?) -> B?

    func transformTo(toType: B?) -> A?
}

具体实现是:

class IntToStringTypeConverter: TypeConverter {

    typealias A = Int
    typealias B = String

    func transformFrom(fromType: Int?) -> String? {
        guard let fromType = fromType else { return nil }
        return String(fromType)
    }

    func transformTo(toType: String?) -> Int? {
        guard let toType = toType else { return nil }
        return Int(toType)
    }
}

因为protocol TypeConverter有associatedtype，我不能声明为变量，例如:var converter: TypeConverter，但我需要这样的特性。这种情况的解决方案是使用 typeErasure。通过此链接 https://medium.com/@NilStack/swift-world-type-erasure-5b720bc0318a这应该是可能的，但我不知道怎么做。

这是我的尝试，但它不对:)...这甚至可以通过这种方式解决吗？或者我应该使用这个:https://appventure.me/2017/12/10/patterns-for-working-with-associated-types ？

class AnyTypeConverter<Y, Z>: TypeConverter {

    typealias A = Y
    typealias B = Z

    private let _transformFrom: (Z?) -> Y?
    private let _transformTo: (Y?) -> Z?

    init<W: TypeConverter>(_ iFormTypeConverter: W) where W.A == Y, W.B == Z {
        self._transformFrom = iFormTypeConverter.transformFrom
        self._transformTo = iFormTypeConverter.transformTo
    }

    func transformFrom(modelType: Y?) -> Z? {
        return transformFrom(modelType: modelType)
    }

    func transformTo(iFormType: Z?) -> Y? {
        return transformTo(iFormType: iFormType)
    }
}

Answer 1

对于具有关联类型的协议(protocol)来说，这并不是一个很好的用途。 PAT 是非常复杂的工具，在这种情况下真的没有理由这样做。您甚至不需要类型删除器，只需要一个结构:

struct TypeConverter<Model, Form> {
    let transformFrom: (Model) -> Form?
    let transformTo: (Form) -> Model?
}

let stringToInt = TypeConverter(transformFrom:String.init,
                                transformTo:Int.init)

stringToInt.transformFrom(123)
stringToInt.transformTo("x")

如果你愿意，你当然可以让它符合 TypeConverter(我可以更新以添加它)，但我建议完全放弃协议(protocol)并只使用结构。这与 Formatter 的工作方式非常接近。