Родитель-ребенок и наличие ObjC

Question

я не могу получить следующий код для работы:

@objc protocol Child { } 

@objc protocol Parent { 
    var child: Child { get } 
} 

class ChildImpl: Child { 
    func doSomething() { } 
} 

class ParentImpl: Parent { 
    let child = ChildImpl() 

    // this would solve the problem, however can't access the ChildImpl members 
    // that are not part of the protocol 
    // let child: Child = ChildImpl() 

    // as well as this, however maintaining two properties is an ugly hack 
    // var child: Child { return childImpl } 
    // private let childImpl = ChildImpl() 
} 

Ошибки я получаю:

Playground execution failed: error: Tests.playground:3:7: error: type 'ParentImpl' does not conform to protocol 'Parent' class ParentImpl: Parent { ^

Tests.playground:4:9: note: candidate has non-matching type 'ChildImpl' var child = ChildImpl()

В принципе у меня есть два родителя ребенка протоколы, и два класса, которые реализуют два протокола. Но все же компилятор жалуется, что ChildImpl не является Child, что неверно.

я могу сделать ошибки уйти, если я использую соответствующий тип на Parent

protocol Parent { 
    associatedtype ChildType: Child 
    var child: ChildType { get } 
} 

, однако мне нужно иметь протоколы, доступные для Objective-C, а также должны иметь возможность ссылаться на child, как фактический конкретный тип.

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

Answer 1

Если вы не возражаете, добавив расширение свойство класса ParentImpl:

@objc protocol Child {} 

@objc protocol Parent { 
    var child: Child! { get } 
} 

class ChildImpl: Child { } 

class ParentImpl: Parent { 
    var child: Child! 
} 

extension ParentImpl { 

    convenience init(child: Child?) { 
     self.init() 
     self.child = child 
    } 

    var childImpl: ChildImpl! { 
     get { return child as? ChildImpl } 
     set { child = newValue } 
    } 

} 

let parent = ParentImpl(child: ChildImpl()) 
let child = parent.child 

Answer 2

Ваш класс ParentImpl не имеет протокол типа ребенка. Я решил это решение.

class ParentImpl: Parent { 
    var child: Child = ChildImpl() 
} 

Answer 3

Помощи ли вам?

protocol Child { } 

protocol Parent { 
    var child: Child { get } 
} 

class ChildImpl: Child { 
    func doSomething() { } 
} 

class ParentImpl: Parent { 
    var child: Child { get { return ChildImpl() } } 
} 

Answer 4

Вы работаете на вас?

EDIT: Я только заметил, что этот вопрос был опубликован более 1 года назад. Это признаки вопрос в данный момент, хотя ...

//: Playground - noun: a place where people can play 

import UIKit 

@objc protocol Child { 
    func eat() 
} 

@objc protocol Parent: Child { 
// init() 
    func buyFood() 
} 

class Human {} 

class Person: Human, Parent { 

// required override init() {} 

    func buyFood() {} 

    func eat() {} 
} 

class Nursery { 

    let person: Human & Parent 

    init() { 
    person = Person() 
    } 

    func dinnerBell() { 
    person.buyFood() 
    person.eat() 
    } 
} 

//class School<T: Parent> { 
// 
// let parent = T() 
// 
// func dinnerBell() { 
// parent.buyFood() 
// parent.eat() 
// } 
//} 

class University { 

    let person = Person() 

    func dinnerBell() { 
    person.buyFood() 
    person.eat() 
    } 
} 

Answer 5

я говорил в комментариях link показывая, что вы уже пробовали, используя соответствующий тип или отдельное свойство только для выполнения протокола соответствия. Я скоро Swift скоро поддержу выведенный тип из составленных типов, таких как let child: Child & ChildImpl = ChildImpl() или просто child: ChildImpl с ChildImpl is Child. Но до тех пор я подумал, что предлагаю еще одну альтернативу, которая заключается в том, чтобы отделить apis от ChildImpl и поместить их в отдельный протокол, которому наследуется Child. Таким образом, когда компилятор Swift поддерживает эту функцию, вам не нужно рефакторировать, но просто удалите его.

// TODO: Remove when Swift keeps up. 
@objc protocol ChildTemporaryBase { } 
private extension ChildTemporaryBase { 
    func doSomething() { 
     (self as? ChildImpl).doSomething() 
    } 
} 

@objc protocol Child: ChildTemporaryBase { } 

class ParentImpl: Parent { 
    let child: Child = ChildImpl() 
    func testApi() { 
     child.doSomething?() 
    } 
} 

Answer 6

Что вы пытаетесь сделать, это называется covariance и Свифта не поддерживает ковариация в протоколах или классов/структур, соответствующих этим протоколам. Вы должны либо использовать Type-Erassure или associatedTypes:

protocol Child { } 

protocol Parent { 
    associatedtype ChildType: Child 
    var child: ChildType { get } 
} 

class ChildImpl: Child { 
    func doSomething() { 
     print("doSomething") 
    } 
} 

class ParentImpl: Parent { 
    typealias ChildType = ChildImpl 
    let child = ChildImpl() 

    func test() { 
     child.doSomething() 
    } 
} 
ParentImpl().test() // will print "doSomething" 

А вот типа Erased Родитель для общего использования Parent протокола:

struct AnyParent<C: Child>: Parent { 
    private let _child:() -> C 
    init <P: Parent>(_ _selfie: P) where P.ChildType == C { 
     let selfie = _selfie 
     _child = { selfie.child } 
    } 

    var child: C { 
     return _child() 
    } 
} 

let parent: AnyParent<ChildImpl> = AnyParent(ParentImpl()) 
parent.child.doSomething() // and here in Parent protocol level, knows what is child's type and YES, this line will also print "doSomething"