协议函数返回自

Question

协议函数返回自

我有一个协议P，它返回对象的副本：

protocol P {
    func copy() -> Self}

以及实现P的类C：

class C : P {
    func copy() -> Self {
        return C()
    }}

但是，是否将返回值作为Self我得到以下错误：

无法将“C”类型的返回表达式转换为返回类型“Self”

我也试着回去C.

class C : P {
    func copy() -> C  {
        return C()
    }}

这导致以下错误：

非终级“C”中的方法“Copy()”必须返回Self遵守“P”协议

除了我前缀的情况外，什么都不起作用。class C带着final(如：

final class C : P {
    func copy() -> C  {
        return C()
    }}

但是，如果我想要子类C，那么什么都不能工作。有办法绕过这件事吗？

Answer 1

问题是，您正在做出编译器无法证明您将遵守的承诺。所以你创造了这样的承诺：copy()将返回自己的类型，完全初始化。但是你实现了copy()这样：func copy() -> Self {     return C()}现在我是一个不覆盖的子类copy()..我还给你一个C，而不是完全初始化Self(这是我答应过的)。所以这样不好。不如：func copy() -> Self {     return Self()}嗯，这不会编译，但即使编译了，也是没有好处的。子类可能没有简单的构造函数，因此D()甚至可能是不合法的。(尽管见下文)好吧，那么：func copy() -> C {     return C()}是的，但那不会回来Self..它回来了C..你还是没信守诺言。“但是objc可以做到！”算是吧。主要是因为它不在乎你是否像斯威夫特那样信守诺言。如果你不能实现copyWithZone:在子类中，可能无法完全初始化对象。编译器甚至不会警告您已经这样做了。“但是objc中的大多数东西都可以翻译成SWIFT，而objc有NSCopying“是的，它是这样定义的：func copy() -> AnyObject!所以你可以做同样的(没有理由！)在此)：protocol Copyable {   func copy() -> AnyObject}上面写着“我不会保证你会得到什么。”你也可以说：protocol Copyable {   func copy() -> Copyable}这是你可以做出的承诺。但是我们可以考虑一下C+，记住我们有一个承诺能，会，可以制作，使。我们可以保证，我们和所有子类都将实现特定类型的初始化器，SWIFT将强制执行这一点(因此可以证明我们说的是实话)：protocol Copyable {   init(copy: Self)}class C : Copyable {   required init(copy: C) {     // Perform your copying here.  }}这就是你应该做的拷贝。我们可以更进一步，但是dynamicType，我还没有对它进行广泛的测试，以确保这始终是我们想要的，但它应该是正确的：protocol Copyable {   func copy() -> Self   init(copy: Self)}class C : Copyable {   func copy() -> Self {     return self.dynamicType(copy: self)   }   required init(copy: C) {     // Perform your copying here.  }}在这里，我们保证有一个初始化程序为我们执行副本，然后我们可以在运行时确定要调用哪一个，给出您要寻找的方法语法。

Answer 2

使用SWIFT 2，我们可以使用协议扩展。protocol Copyable {     init(copy:Self)}extension Copyable {     func copy() -> Self {         return Self.init(copy: self)     }}

Answer 3

还有一种方法可以实现你想做的事情，那就是利用SWIFT的关联类型。下面是一个简单的例子：public protocol Creatable {     associatedtype ObjectType = Self     static func create() -> ObjectType}class MyClass {     // Your class stuff here}extension MyClass: Creatable {     // Define the protocol function to return class type    static func create() -> MyClass {          // Create an instance of your class however you want        return MyClass()     }}let obj = MyClass.create()