Неустранимая ошибка при приведении массива типов к протоколам: невозможно связать с Objective-C

Есть похожие вопросы, но этот один находится в последней версии Swift 2.2. Надеюсь, к настоящему времени есть решение, потому что это кажется мне большим препятствием для Protocol-Oriented Programming.

Приведенное ниже не удается при назначении let results с ошибкой: Execution was interrupted, reason: EXC_BAD_INSTRUCTION (code=EXC_I386_INVOP, subcode=0X0).

protocol P: class {
    var value:Int {get}
}

class X: P {
    var value = 0

    init(_ value:Int) {
        self.value = value
    }
}

func getItems() -> [P] {
    let items: [X] = [X(1), X(2), X(3)]
    return items
}

let results: [P] = getItems()

Есть ли способ рассматривать массив классов как массив протоколов, которым он соответствует? Это кажется очень простым и естественным запросом на язык, особенно на тот, который сильно protocol-oriented.

Я не хочу использовать @objc или flatMap из-за огромных последствий для цепочки зависимостей и производительности - это будет взлом. Я бы хотел, чтобы это работало изначально, или это ошибка, которую мы, надеюсь, сможем сформулировать и представить команде Apple / Swift с открытым исходным кодом.


person TruMan1    schedule 02.04.2016    source источник


Ответы (1)


может быть, я не понимаю вашего вопроса, но это работает

protocol P: class {
    var value:Int {get}
}

class X: P {
    var value = 0

    init(_ value:Int) {
        self.value = value
    }
}

func getItems() -> [P] {
    let items: [P] = [X(1), X(2), X(3)]
    return items
}

let results = getItems()
results.forEach { (p) in
    print(p.value)
}
/*
 1
 2
 3
 */

почему приведение [X] к [P] не работает? Смотрите следующий пример!

protocol P: class {
    var value:Int {get}
}
protocol P1: class {
    var value: Double { get }
}
protocol Z {}
class X: P,Z {
    var value = 0

    init(_ value:Int) {
        self.value = value
    }
}
class X1: P1,Z {
    var value = 0.0

    init(_ value:Double) {
        self.value = value
    }
}

func getItems() -> [Z] {
    // the only common type of all items is protocol Z  !!!!
    let items: [Z] = [X(1), X(2), X(3), X1(1), X1(2)]
    return items
}

let results = getItems()
print(results.dynamicType)
results.forEach { (p) in
    if let p = p as? P {
        print("P:", p.value)
    }
    if let p = p as? P1 {
        print("P1:", p.value)
    }
}
/*
 Array<Z>
 P: 1
 P: 2
 P: 3
 P1: 1.0
 P1: 2.0
*/

по этой причине использование flatMap является хорошей идеей, если вы хотите отделить элементы типа X и X1 от результатов.

let arrX = results.flatMap { $0 as? P }
let arrX1 = results.flatMap { $0 as? P1 }
print(arrX, arrX1) // [X, X, X] [X1, X1]
person user3441734    schedule 03.04.2016