Por que um dicionário de chave e valores codificáveis ​​não é codificável?

A conformidade condicional de DictionarytoEncodable é a seguinte:

extension Dictionary: Encodable where Key: Encodable, Value: Encodable {
   // ...
}

Em inglês, isso significa que a Dictionaryé Encodablequando seus tipos Keye são cada um dos tipos que estão em conformidade com .ValueEncodable

No entanto, [String: Encodable](também escrito [String: any Encodable]) não é esse tipo, porque any Encodablenão é em si um tipo que pode se conformar Encodable- é uma maneira de soletrar uma restrição em um tipo, em vez de um tipo em si.

Para obter mais informações, consulte outras questões como Protocolo não está de acordo com ele mesmo?

Encodableé um protocolo, e os protocolos não se conformam a si mesmos. Essa é a primeira questão. Olhando para isso em um nível mais tangível, a questão é que só porque um grupo de objetos é Encodablenão significa que eles podem ser codificados da mesma maneira.

[String:String]fornece informações suficientes para que, como a chave e o valor sejam Encodable, o dicionário seja. Aqui está um exemplo que mostra por que [String:Encodable]()não pode se conformar.

Suponha que eu tenha Fooe Bar:

struct Foo: Encodable {
    let myString: String
    let myInt: Int
}

struct Bar: Encodable {
    let yourString: String
    let yourInt: Int
}

Agora tenho meu dicionário:

var dictionary: [String: Encodable] = [:]
dictionary["fooExample"] = Foo(myString: "whatever", myInt: 100)
dictionary["barExample"] = Bar(yourString: "something", yourInt: 20)

Temos um dicionário com chaves e valores que são todos Encodable. Se você der uma olhada, porém, dictionary["fooExample"]e dictionary["barExample"]codificar de forma completamente diferente. Portanto, mesmo que os valores possam ser codificados individualmente , isso não significa que o dicionário com esses valores possa ser codificado.