如何通過協議 inheritance 使具有關聯類型的通用協議不是通用的？

Question

我有具有關聯類型的通用協議，並且在某些時候想讓它不是通用的。 同樣的行為適用於類，但不幸的是我不能對協議使用相同的邏輯。 例如，這絕對沒問題：

class Validator<Value> {
    func validate(_ value: Value?) -> String? {
        return nil
    }
}

class StingValidator: Validator<String> {
}

class EmptyStringValidator: StingValidator {
    override func validate(_ value: String?) -> String? {
        return ((value?.isEmpty ?? true) == true) ? "Empty" : nil
    }
}

func anyfunc() {
    let validator: StingValidator = EmptyStringValidator()
}

但是使用協議我得到編譯錯誤

協議“StringValidatorProtocol”只能用作通用約束，因為它具有 Self 或關聯的類型要求

protocol ValidatorProtocol {
    associatedtype Value
    func validate(_ value: Value?) -> String?
}

protocol StringValidatorProtocol: ValidatorProtocol where Value == String {
}

struct EmptyStringValidator: StringValidatorProtocol {
    func validate(_ value: String?) -> String? {
        return ((value?.isEmpty ?? true) == true) ? "Empty" : nil
    }
}

func anyfunc() {
    let validator: StringValidatorProtocol = EmptyStringValidator()
}

有任何想法嗎？ 有沒有辦法讓通用協議不通用？ 我將不勝感激任何幫助！

Answer 1

制作一個關聯類型不是通用的協議是不可能的，我認為你需要的是更多 generics：

func anyfunc() {
    let validator: StringValidatorProtocol = EmptyStringValidator()
}

使用免費的 function 你不能做你想做的事情，但是在 class 或結構中：

protocol ValidatorProtocol {
    associatedtype Value
    init()
    func validate(_ value: Value?) -> String?
}

protocol StringValidatorProtocol: ValidatorProtocol where Value == String {
}

class EmptyStringValidator: StringValidatorProtocol {
    required init() {
        
    }
    func validate(_ value: String?) -> String? {
        return value?.isEmpty ?? true ? "Empty" : nil
    }
}

class MyClass<Validator: ValidatorProtocol> {
    static func validate(_ string: Validator.Value?) -> String? {
        let validator: Validator = Validator()
        return validator.validate(string)
    }
}
MyClass<EmptyStringValidator>.validate("Hello World") // nil
MyClass<EmptyStringValidator>.validate("") // "Empty"
MyClass<EmptyStringValidator>.validate(nil) // "Empty"

Answer 2

我不知道“讓它不通用”是什么意思，但如果這對您來說還不夠，請通過編輯告訴我們：

您顯示的錯誤可以通過不透明的常量來解決。

let validator: some StringValidatorProtocol = EmptyStringValidator()