在协议中声明之前，Swift 扩展计算变量无法正确读取

Question

我有一个协议扩展，它声明并分配一个静态计算变量：

protocol DataType {
    
}
extension DataType {
    static var mocks: [Self] { [] }
}

然后我有另一个名为 Provider 的协议，它具有 DataType 协议和扩展的associatedtype类型要求：

protocol Provider {
    associatedtype Data: DataType
}

extension Provider {
    static var mock: [Data] {
        Data.mocks
    }
}

然后我创建了以下符合 DataType 和 Provider 的类型：

struct Car: DataType {
    var name: String
    
    static var mocks: [Car] {
        [.init(name: "Nissan"), .init(name: "Toyota")]
    }
}

struct CarProvider: Provider {
    typealias Data = Car
}

print(CarProvider.mock)

当我打印出来（空数组[]则CarProvider静态变量mock打印出的默认值mocks数据类型的变量-即使当Car具有用于分配的阵列值mocks其结构定义内

但是，一旦我将DataType协议中的mocks属性声明为要求，就会正确读取Car的mocks值（打印正确的值： [__lldb_expr_93.Car(name: "Nissan"), __lldb_expr_93.Car(name: "Toyota")] ）：

protocol DataType {
    static var mocks: [Self] { get }
}

为什么首先需要在协议定义中定义属性？ 扩展值不应该足够吗？ 并且由于Car结构将自己的值分配给mocks变量，难道不应该读取它而不是默认扩展值吗？

Answer 1

为什么首先需要在协议定义中定义属性？ 扩展值不应该足够吗？

不可以。协议扩展中的实现只能被视为真正的默认实现，前提是有某种方法可以在范围内覆盖它。 没有协议中的要求，Swift 没有理由或机制超越扩展，因为在语义上没有其他匹配项。

protocol DataType { }

extension DataType {
  static var mocks: [Self] { [] }
}

func mocks<Data: DataType>(_: Data.Type) -> [Data] {
  Data.mocks // This *is* the extension. That is the only truth.
}

protocol DataType {
  static var mocks: [Self] { get }
}

extension DataType {
  static var mocks: [Self] { [] }
}

func mocks<Data: DataType>(_: Data.Type) -> [Data] {
  Data.mocks // Now, we can dispatch to a concrete `Data` type!
}