如何在 Swift 中檢查兩個結構體是否具有相同的泛型參數類型？

Question

在查看此存儲庫https://github.com/Samasaur1/DiceKit 時，我偶然發現了以下以這種方式實現 Comparable/Hashable 的代碼：

public struct DieSide<OutputType: Hashable>: Hashable {

    public let value: OutputType

    // snip

    public static func == (lhs: DieSide, rhs: DieSide) -> Bool { //IMPORTANT NOTE: THIS DOES NOT ACCEPT DieSides WITH DIFFERENT GENERIC ARGUMENTS
        guard type(of: lhs.value) == type(of: rhs.value) else {
            return false
        }
        return lhs.value == rhs.value
    }

    // snip
}

您可以在此處找到代碼。

我相信可以使用 where 子句在語言級別上完成此檢查，而不是檢查代碼中參數的類型，尤其是 - 因此不再需要注釋。

我嘗試過的一種方法是這種方法，但這顯然不起作用（相同類型約束中的任何類型（“錯誤類型”或“錯誤類型”）都指代泛型參數或關聯類型）：

public static func == (lhs: DieSide, rhs: DieSide) -> Bool where lhs.value.Type == rhs.value.Type {
    return lhs.value == rhs.value
}

我也搜索了類似的答案，但目前能夠為 Swift 以外的語言找到解決方案。

任何有關訪問泛型參數類型的幫助表示贊賞。

Answer 1

該代碼中的保護語句毫無意義。 type(of: lhs.value) == type(of: rhs.value)不可能是false 。

其中第一個只是第二個的簡寫。

public static func == (lhs: DieSide, rhs: DieSide) -> Bool {
  lhs.value == rhs.value
}

public static func == (lhs: DieSide<OutputType>, rhs: DieSide<OutputType>) -> Bool {
  lhs.value == rhs.value
}

（您也可以使用Self而不是DieSide 。）