如何在协议扩展中定义初始值设定项？

Question

protocol Car {
     var wheels : Int { get set}

     init(wheels: Int)

}

extension Car {
    init(wheels: Int) {
        self.wheels = wheels
    }
}

on self.wheels = wheels我得到错误

Error: variable 'self' passed by reference before being initialized

如何在协议扩展中定义初始化程序？

Answer 1

正如您所看到的，这在这些情况下不起作用，因为在编译时，必须确保在使用struct / enum / class之前初始化所有属性。

您可以使另一个初始化程序成为需求，以便编译器知道所有属性都已初始化：

protocol Car {
    var wheels : Int { get set }
    // make another initializer
    // (which you probably don't want to provide a default implementation)
    // a protocol requirement. Care about recursive initializer calls :)
    init()
    init(wheels: Int)

}

extension Car {
    // now you can provide a default implementation
    init(wheels: Int) {
        self.init()
        self.wheels = wheels
    }
}

// example usage

// mark as final
final class HoverCar: Car {
    var wheels = 0
    init() {}
}

let drivableHoverCar = HoverCar(wheels: 4)
drivableHoverCar.wheels // 4

从Xcode 7.3 beta 1开始，它按预期与structs一起使用，但不与类一起使用，因为如果它们不是final，则协议中的init(wheels: Int)为required init并且它可以被覆盖，因此无法通过扩展名添加。解决方法（如编译器所示）：制作class final。

另一种解决方法（深入;没有final class）

要在不使用最终类的情况下使用类，您也可以删除协议中的init(wheels: Int)要求。它似乎与以前没有什么不同，但考虑这个代码：

protocol Car {
    var wheels : Int { get set }
    init()
    // there is no   init(wheels: Int)
}

extension Car {
    init(wheels: Int) {
        self.init()
        print("Extension")
        self.wheels = wheels
    }
}

class HoverCar: Car {
    var wheels = 0
    required init() {}
    init(wheels: Int) {
        print("HoverCar")
        self.wheels = wheels
    }
}

// prints "HoverCar"
let drivableHoverCar = HoverCar(wheels: 4)

func makeNewCarFromCar<T: Car>(car: T) -> T {
    return T(wheels: car.wheels)
}

// prints "Extension"
makeNewCarFromCar(drivableHoverCar)

因此，如果您从通用上下文中创建Car，其中您调用init的类型仅称为Car，则即使初始化程序为在HoverCar中定义。这只是因为协议中没有init(wheels: Int)要求而发生。

如果你添加它，你会遇到前一个问题，即将class声明为final，但现在它会打印两次“HoverCar”。无论哪种方式，第二个问题可能永远不会发生，因此它可能是一个更好的解决方案。

旁注：如果我犯了一些错误（代码，语言，语法......），欢迎你纠正我：）

Answer 2

@Qbyte是正确的。

此外，您还可以查看我的Configurable

因为我有Initable协议

public protocol Initable {
    // To make init in protocol extension work
    init()
}

public extension Initable {
    public init(@noescape block: Self -> Void) {
        self.init()
        block(self)
    }
}

然后为了符合它

extension Robot: Initable { }

我有两种方法，使用final或实施init

final class Robot {
    var name: String?
    var cute = false
}

class Robot {
    var name: String?
    var cute = false

    required init() {

    }
}

Answer 3

我的理解是，这是不可能的，因为协议扩展无法知道符合的类或结构具有哪些属性 - 因此无法保证它们被正确初始化。

如果有办法解决这个问题，我很有兴趣知道！ ：）

Answer 4

可能不一样，但在我的情况下，而不是使用init我使用静态函数来返回类的对象。

protocol Serializable {
   static func object(fromJSON json:JSON) -> AnyObject?
}

class User {
    let name:String

    init(name:String) {
        self.name = name
    }
}

extension User:Serializable {

    static func object(fromJSON json:JSON) -> AnyObject? {
        guard let name = json["name"] else {
            return nil
        }

        return User(name:name)
     }

}

然后创建对象我做了类似的事情：

let user = User.object(fromJSON:json) as? User

我知道它不是最好的东西，但它是我能找到的最好的解决方案，不会将商业模式与数据层结合起来。

注意：我很懒，而且我直接在评论中对所有内容进行了编码，所以如果某些内容无效，请告诉我。