为什么不能初始化具有默认实现的协议？

Question

我读过In swift, why can't I instantiate a protocol when it has an initialiser?

我的问题集中在为什么编译器不能查看您的默认实现并基于它初始化对象？

protocol ViewModel {
    var radius: Int { get }
    init()
}

extension ViewModel {
    var radius: Int { return 2}
    init() {}
}

let v = ViewModel() // ERROR: 

无法实例化协议类型“ViewModel”

问题1：

为什么 Swift 不允许协议的原始初始化？为什么它必须绑定到具体类型？

我知道它不是一个具体的类型。但是为什么编译器不允许你创建一个只有协议默认值的类型呢？！是不是因为编译器就像嘿听一样，而我可以要么 将您视为接口/协议或实际类型。我不能认为你们两个！？你要么是记忆中的真实存在，要么只是一个蓝图。

如果语言可以检查扩展是否为所有需求提供了实现，那么允许将其初始化为特殊情况是否有意义？ （我知道它没有，但想知道的是唯一需要让它工作）或者即使那样这也没有意义。如果是，为什么？

另外我尝试这样做：

protocol ViewModel {
    var radius: Int { get }
    init()
}

extension ViewModel {
    var radius: Int { return 2}
    init() {
        self.init() // Line A: 
    }
}

struct ReallyNothing: ViewModel {}

let v = ReallyNothing()

如果我注释掉 LineA 那么我会得到一个错误

'self.init' 在返回之前不会在所有路径上调用 初始化器

问题2：

为什么？为什么init 必须调用self.init() 看起来有点像递归循环。

Answer 1

协议不是具体类型，因此当您调用Protocol.init() 时，编译器不知道要初始化什么具体类型。它只会知道你要初始化的类型有Protocol描述的接口。

由于内存分配，编译器必须知道具体类型。协议只定义了其符合类型必须具有的所需属性（和方法）的子集，但没有定义其符合类型将具有的全部属性集，因为这实际上因类型而异。因此，如果您能够初始化协议类型，编译器和运行时将不知道为该特定对象分配多少内存，这是一条信息，没有它就无法初始化任何对象。

Answer 2

这与 ViewModel 是否有init 无关。它与 ViewModel 是 是什么有关。这是一个协议。

协议不是对象。 没有作为协议的实例。 “实例化”协议意味着什么？没有。您可以创建一个实例：

• 一个枚举
• 一个结构
• 或一类

协议不是这些。您不能创建协议的实例。

ViewModel 是一种协议。所以你不能做一个实例。短语ViewModel() 毫无意义。编译器会告诉你。

Answer 3

https://docs.swift.org/swift-book/LanguageGuide/Protocols.html

协议是蓝图，不包含实现——所以你不能初始化它们。

一个类同意协议并且必须提供实际的实现。