swift 3 downcast to dynamic class

Question

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

protocol aProt 
{ 
    var bVar:bProt! { get set } 
} 

protocol bProt 
{ 
    var aVar:aProt! { get set } 
} 

class a: aProt 
{ 
    var bVar: bProt! 
    func bConcrete() -> b { 
     return bVar as! b 
    } 
} 

class b: bProt 
{ 
    var aVar: aProt! 
    func aConcrete() -> a { 
     return aVar as! a 
} 

Теперь проблема в том, что я хочу, чтобы это поведение (func aConcrete(),func bConcrete()) наследуются подклассами а и Ь. Затем я подумал, что идеальный способ сделать это - использовать дженерики, но ... Нет никакого способа сделать это.

класс a: aProt { var bVar: bProt! func bConcrete() -> T { возвращение bVar как! T } }

class b: bProt 
{ 
    var aVar: aProt! 
    func aConcrete<T>() -> T { 
     return aVar as! T 
} 

Вы можете сделать это, но когда вы должны использовать его, вы должны выполнить обратное приведение переменной в любом случае, так что нет никакого способа сделать это в чистом образом:

let aObject = a() 
let bSubclassObject = a.bConcrete() // The compiler complains it cannot infer the class of T 
let bSubclassObject = a.bConcrete() as! bSubclass // this works, but this is exactly which I wanted to avoid... :(

Answer 1

Определите общую функцию и добавить, где T:

protocol aProt { 
    var bVar: bProt! { get set } 
} 

protocol bProt { 
    var aVar:aProt! { get set } 
} 

class a: aProt { 
    var bVar: bProt! 
    func bConcrete<T: b>(_ type: T.Type) -> T? { 
     return bVar as? T 
    } 
} 

class b: bProt { 
    var aVar: aProt! 
    func aConcrete<T: a>(_ type: T.Type) -> T? { 
     return aVar as? T 
    } 
} 

class a1: a { } 
class b1: b { 
    var fullName: String = "new object" 
} 

let aObj = a() 
aObj.bVar = b1() 
let bObj = aObj.bConcrete(b1.self) 
bObj?.fullName 

по вашему требованию, вызывает bConcrete (b1.self) может еще не достаточно хорошо, но, по крайней мере, вам нужно чтобы узнать, какой тип данных вы ожидаете вернуть.