對另一個協議關聯類型的協議限制

Question

我有一個協議MyProtocol ，它有一個associatedtype ，由myFunction的返回類型推斷

struct MyStruct: Codable {
    var myVar: Int
}

protocol MyProtocol {
    associatedtype MyType
    func myFunction()-> MyType
}

class MyClass1: MyProtocol {
    func myFunction()-> MyStruct? {
        return MyStruct(myVar: 1) //ex.
    }
}

class MyClass2: MyProtocol {
    func myFunction()-> Int? {
        return 1 // ex.
    }
}

• 在MyClass1中， associatedtype類型被推斷為MyStruct?
• 在MyClass2中， associatedtype類型被推斷為Int?

從那里一切正常。 不，我想構建另一個協議，如果 associatedtype 是 Codable 則只能應用於 MyProtocol ：

protocol MyProtocolCodable where Self: MyProtocol, MyType == Codable? {}

代碼在這里運行良好，但是當我嘗試將它應用到我的 class 時，我收到一個錯誤：

extension MyClass1: MyProtocolCodable{} 🛑

“MyProtocolCodable”需要類型“MyStruct？” 和“可編碼？” (aka 'Optional<Decodable & Encodable>') 是等價的

然而，據我所知， MyStruct? （又名可選）和Codable? (aka Optional<Decodable & Encodable>) 是等價的嗎？

我怎樣才能擺脫這個錯誤信息？ 我在做一些不該做的事嗎？

Answer 1

據我所知，MyStruct？ （又名可選）和可編碼？ (aka Optional<Decodable & Encodable>) 是等價的嗎？

不，他們不是。 MyStruct符合Codable但不等同於它。

如：每個 MyStruct 都是 Codable 但不是每個 Codable 都是 MyStruct 。

---

您可以嘗試更改MyType == Codable? 到MyType: Codable ：

protocol MyProtocolCodable where Self: MyProtocol, MyType: Codable {}

因為MyStruct不等於Codable? .