0

根据John Sundell的这篇文章，我有以下结构：

protocol Identifiable {
    associatedtype RawIdentifier: Codable, Hashable = String

    var id: Identifier<Self> { get }
}

struct Identifier<Value: Identifiable>: Hashable {
    let rawValue: Value.RawIdentifier

    init(stringLiteral value: Value.RawIdentifier) {
        rawValue = value
    }
}

extension Identifier: ExpressibleByIntegerLiteral
          where Value.RawIdentifier == Int {
    typealias IntegerLiteralType = Int

    init(integerLiteral value: IntegerLiteralType) {
        rawValue = value
    }
}

它可以是String或Int。为了能够简单地打印它（无需使用.rawValue），我添加了以下扩展：

extension Identifier: CustomStringConvertible where Value.RawIdentifier == String {
    var description: String {
        return rawValue
    }
}

extension Identifier where Value.RawIdentifier == Int {
    var description: String {
        return "\(rawValue)"
    }
}

问题是，它只适用于符合 CustomStringConvertible 的扩展，而另一个被忽略。而且我不能将一致性添加到其他扩展，因为它们会重叠。

print(Identifier<A>(stringLiteral: "string")) // prints "string"
print(Identifier<B>(integerLiteral: 5)) // prints "Identifier<B>(rawValue: 5)"
4

1 回答 1

1

CustomStringConvertible无论类型如何，您都可以使用单个扩展名而不是当前的两个扩展名：

extension Identifier: CustomStringConvertible {
    var description: String {
        "\(rawValue)"
    }
}

对我来说，这会根据您上一个代码示例正确打印“字符串”然后“5”。

巧合的是，Sundell 在他的 Identifiable/Identifier 的开源身份实现中所做的 - https://github.com/JohnSundell/Identity/blob/master/Sources/Identity/Identity.swift#L72-L78

Point-Free 的“Tagged”实现也值得一看：https ://github.com/pointfreeco/swift-tagged/blob/master/Sources/Tagged/Tagged.swift

于 2020-01-09T10:40:57.287 回答