为什么我只能在扩展中实现 Equatable

Question

我正在尝试定义一个符合 Equatable 的测试夹具，以便我可以验证采用协议的函数是否按预期执行。我尝试了 3 种不同的排列方式。

import XCTest
import MyProtocol

struct TestFixture {
    let identifier: String
    init(identifier: String) {
        self.identifier = identifier
    }
}

extension TestFixture: MyProtocol {
    func myProtocolFunc() {}
}

extension TestFixture: Equatable {
    static func ==(lhs: TestFixture, rhs: TestFixture) {
        return lhs.identifier == rhs.identifier
    }
}

class TestCase: XCTestCase {
    func testSomething() {
        // do something that requires a MyProtocol object
    }
}

这很好用。但是，我想将 TestFixture 转换为嵌套定义，所以我尝试这样做：

import XCTest
import MyProtocol

class TestCase: XCTestCase {
    func testSomething() {

        struct TestFixture {
            let identifier: String
            init(identifier: String) {
                self.identifier = identifier
            }
        }

        extension TestFixture: MyProtocol {
            func myProtocolFunc() {}
        }

        extension TestFixture: Equatable {
            static func ==(lhs: TestFixture, rhs: TestFixture) {
                return lhs.identifier == rhs.identifier
            }
        }

        // do something that requires a MyProtocol object
    }
}

此时我在两个 extension 声明中都遇到编译器错误：

Declaration is only valid at file scope

好的，所以我想我不应该在嵌套定义上实现扩展。所以我将在初始声明中实现所有协议：

import XCTest
import MyProtocol

class TestCase: XCTestCase {
    func testSomething() {

        struct TestFixture: MyProtocol, Equatable {
            let identifier: String
            init(identifier: String) {
                self.identifier = identifier
            }

            func myProtocolFunc() {}

            static func ==(lhs: TestFixture, rhs: TestFixture) {
                return lhs.identifier == rhs.identifier
            }
        }

        // do something that requires a MyProtocol object
    }
}

现在我得到了编译器错误

Protocol 'Equatable' can only be used as a generic constraint because it has Self or associated type requirements

所以我的问题是：当我在结构的初始声明中实现它时，为什么编译器只抱怨 Equatable 有关联的类型要求？为什么我不能在嵌套类型中定义扩展？我只是想了解 为什么 编译器会做这些事情。

为了提供更多上下文，我在这里要测试的是 class 是否正确地将 MyProtocol 对象附加到数组：

class MyClass {
    var elements: [MyProtocol] {
        return _elements
    }
    private var _elements: [MyProtocol] = []
    func add(_ element: MyProtocol) {
        // I'm testing this function
    }
}

Answer 1

这似乎是 Swift 编译器的错误。当前的解决方案是在函数范围之外声明结构。

已打开一个问题：SR-3092。

为什么我只能在扩展中实现 Equatable

Why can I only implement Equatable in an extension

swift

swift-protocols