Массив структур, соответствующих протоколу, не распознан

Question

Я пытаюсь создать метод, который принимает массив структур, которые соответствуют протоколу в Swift.

Для простейшего примера этого, я определяю пустой протокол и метод, который принимает массив объектов, соответствующих этот протокол и просто печатаю их

protocol SomeProtocol {} 

func methodTakingProtocol(objects: [SomeProtocol]) { 
    // do something with the array of objects 
    print(objects) 
} 

Когда я пытаюсь накормить этот метод массив Структуры, которые соответствуют SomeProtocol, однако, я получаю сообщение об ошибке

struct SomeStruct: SomeProtocol {} 

let arrayOfStructs = [ SomeStruct(), SomeStruct() ] 

methodTakingProtocol(arrayOfStructs) 
//^"Cannot convert value of type '[SomeStruct]' to expected argument type '[SomeProtocol]'" 

ковыряться немного, я обнаружил, что я могу обойти эту проблему, явно взывает принятие SomeStruct «х SomeProtocol

let arrayOfStructs: [SomeProtocol] = [ SomeStruct(), SomeStruct() ] 

// This will work 
methodTakingProtocol(arrayOfStructs) 

Может кто-нибудь сказать мне, что здесь происходит? Является ли это ошибкой, в которой я должен указать радар, или есть некоторые соображения относительно того, почему компилятор не распознает этот массив структур как соответствующий протоколу, который они отмечены как принятые?

Answer 1

Это действительно работает по назначению. Для того, чтобы передать массив методу, вы должны либо бросить его или явно объявить его в качестве протокола:

protocol SomeProtocol {} 

struct SomeStruct: SomeProtocol {} 

// explicitly typed 
let arrayOfStructs:[SomeProtocol] = [ SomeStruct(), SomeStruct() ] 

func foo(bar:[SomeProtocol]) { } 

foo(arrayOfStructs) // Works! 

Вот отличная статья на эту тему: Generic Protocols & Their Shortcomings

Но напрашивается вопрос; Почему мы не можем использовать общие протоколы вне общих ограничений?

Короткий ответ: Swift хочет быть безопасным по типу. Поделитесь этим с фактом, что это язык компиляции с опережающим временем, и у вас есть язык , который НЕОБХОДИМО иметь возможность вывести конкретный тип в любое время во время компиляции. Я не могу это подчеркнуть. Во время компиляции каждый один из ваших типов, которые не являются ограничениями функции/класса, должен быть бетон. Связанные типы в протоколе являются абстрактными. Что означает , они не являются бетонными. Они поддельные. И никто не любит подделку.

Редактировать: Это по-прежнему отличная статья, но после повторного чтения я понял, что это не совсем верно, поскольку мы обсуждаем «конкретные протоколы», а не «общие протоколы».