我有一个协议(protocol)，它有一个带默认参数的静态方法。我想更改实现该协议(protocol)的类中的默认值。本质上是做类和 super 可以轻松完成的事情。
当协议(protocol)没有关联类型时，我只有一个解决方案。

以下代码有效，但一旦取消注释关联的类型声明，它就无法编译。

protocol Protocol {
//    associatedtype AssociatedType
}

extension Protocol {
    func sayHello(name: String = "World") {
        print("Hello, \(name)!")
    }
}

class Class<T>: Protocol {
    typealias AssociatedType = T

    func sayHello(name: String = "Stack Overflow") {
        // Uncommenting the Protocol.AssociatedType causes:
        // Protocol can only be used as a generic constraint because it has associated type requirements
        (self as Protocol).sayHello(name)
    }
}

Class<()>().sayHello()

我明白为什么它不能编译:Protocol 没有 AssociatedType 的具体类型。
所以也许问题应该是“我可以明确地专门化一个协议(protocol)吗？”，我认为答案是否定的。

我有一个部分解决方法。但即使它有效，也很糟糕。
尤其是考虑到我正在编写一个库，其中 sayHello 是公开的，所以下面的解决方法迫使我有第二个协议(protocol)，它必须是公开的，但没有用。
解决方法如下:

protocol Parent {}

protocol Protocol: Parent {
    associatedtype AssociatedType
}

extension Parent {
    func sayHello(name: String = "World") {
        print("Hello, \(name)!")
    }
}

class Class<T>: Protocol {
    typealias AssociatedType = T

    func sayHello(name: String = "Stack Overflow") {
        (self as Parent).sayHello(name)
    }
}

Class<()>().sayHello()

但这对我不起作用，因为我的sayHello 使用关联类型。所以它不能被提取到另一个协议(protocol)。

为了确保我清楚，这就是我想要的，只是用类代替协议(protocol):

class Protocol<T> {
    func sayHello(name: String = "World") {
        print("Hello, \(name)!")
    }
}

class Class<T>: Protocol<T> {
    override func sayHello(name: String = "Stack Overflow") {
        super.sayHello(name)
    }
}

Class<()>().sayHello()

最佳答案

您正在尝试重新发明协议(protocol)中的继承，但没有这样的东西。但是得到你在说什么是微不足道的；只是说你的意思。你不是说“我想做我继承的事情”。你的意思是“我想做一些常见的行为”。只需为该常见行为提供一个名称。这消除了您所指的所有歧义。

protocol Protocol {
        associatedtype AssociatedType
}

extension Protocol {
    // Put the default behavior on the protocol, not on the instance
    // Of course you could also put it on the instance if that were convenient.
    static func defaultSayHello(_ name: String = "World") {
        print("Hello, \(name)!")
    }

    // If you want a default on the instance, too, provide one that we an override
    func sayHello(_ name: String = "World") {
        Self.defaultSayHello(name)
    }
}

class Class<T>: Protocol {
    typealias AssociatedType = T

    func sayHello(name: String = "Stack Overflow") {
        // Now the default behavior lives on my type
        Class.defaultSayHello(name)
    }
}

// But other types can get default behavior
class OtherClass<T>: Protocol {
    typealias AssociatedType = T
}

Class<()>().sayHello() // Hello, Stack Overflow!
OtherClass<()>().sayHello() // Hello, World!

关于此的一个令人沮丧的部分是 Swift 没有提供方法将 defaultSayHello 限制为 Protocol 的实现者。所以从技术上讲，任何人都可以调用它。有时值得在它前面加上 _ 前缀，以表明外人不应该这样做。这是一个协议(protocol)中的基本访问控制问题，与这个具体问题无关；当你想要“我的实现者可以自己使用的东西，但不应该被随机调用的东西”时，它总是会出现。 Swift 目前还没有解决方案。

关于swift - 当协议(protocol)具有关联类型时，从常规方法调用协议(protocol)默认实现，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/39183616/