Невозможно преобразовать значение типа '[SomeStruct]' для указанного типа '[SomeProtocol]

Question

Вот некоторые настройки кода, чтобы объяснить, что происходит:

protocol CanJump{ 
    func jump() 
} 

struct Dog: CanJump{ 
    func jump(){ 
     print("yay jump") 
    } 
} 

struct Cat: CanJump{ 
    func jump(){ 
     print("nothx") 
    } 
} 

let d = [Dog()] 
let c = Cat() 

Это не работает:

let thingsThatCanJump: [CanJump] = d 

Невозможно преобразовать значение типа [собака] для указанного типа [CanJump]

Это делает работу:

let thingsThatCanJump: [CanJump] = [c] 

Отвратительная обходной путь, который я придумал это:

let thingsThatCanJump: [CanJump] = d.map({$0 as CanJump}) 

Может кто-нибудь объяснить, почему это происходит?

Я предполагаю, что это связано с тем, что компилятор не полностью оценивает типы и соответствие.

Answer 1

Оказывается, что @ originaluser2 уже ответил на этот вопрос. Вы можете увидеть их подробное описание здесь:

Why isn't [SomeStruct] convertible to [Any]?

Answer 2

Это происходит, как и вы, let d на самом деле тип [Собака], и скорость довольно строгая относительно безопасности типа.

Это исправить это, вы можете сделать следующее:

let d: [CanJump] = [Dog()] 

Надеется, что это помогает