Обеспечить конкретный тип для реализации Generic протокола

Question

Можно сделать следующее:

protocol A: class { 
    typealias T: AnyObject 
} 
extension A { 
    func testA(a:Self, _ t:T)->Void{ 
     print(a, t) 
    } 
} 
class B:A { 
    typealias T = String 
} 

Другими словами, у меня есть протокол и хочу, чтобы обеспечить конкретный тип только в классе, который соответствует его.

Answer 1

Все должно быть хорошо. Единственная проблема с кодом, который у вас есть, заключается в том, что String не является AnyObject.

Вам просто нужно:

protocol A: class { 
    typealias T 
} 
extension A { 
    func testA(a:Self, _ t:T)->Void{ 
     print(a, t) 
    } 
} 
class B:A { 
    typealias T = String 
}