Незначительные требования к свойствам в протоколе Swift со связанным типом

Question

Я хочу написать протокол со слабым требованием к свойствам. Соответствующий класс должен иметь возможность указать любой тип этого свойства. Также я не хочу указывать фактический тип, поэтому он должен быть типом, указанным с некоторым протоколом. Этот код показывает мою идею для слабого свойства:

protocol ObjectProtocol: class { 
    typealias PropertyType 
    var property: PropertyType {get set} 
} 

protocol FirstPropertyProtocol: class {} 
protocol SecondPropertyProtocol: class {} 

class FirstObjectImpl: ObjectProtocol { 
    var property: FirstPropertyProtocol? 
} 

class SecondObjectImpl: ObjectProtocol { 
    var property: SecondPropertyProtocol? 
} 

Работает так, как ожидалось.

Я попытался сделать то же самое для слабой собственности:

protocol ObjectProtocol: class { 
    typealias WeakPropertyType: AnyObject //must be a class type 
    weak var weakProperty: WeakPropertyType? {get set} 
} 

protocol WeakPropertyProtocol: class {} 

class ObjectImpl: ObjectProtocol { 
    weak var weakProperty: WeakPropertyProtocol? 
} 

И я получил ошибку компилятора:

Type 'ObjectImpl' does not conform to protocol 'ObjectProtocol'

Есть ли способ, что я могу сделать эту работу?

Answer 1

Я не верю, что протокол может обеспечить слабость. Например:

protocol ObjectProtocol: class { 
    weak var weakProperty: AnyObject? {get set} 
} 

class ObjectImpl1: ObjectProtocol { 
    weak var weakProperty: AnyObject? 
} 

class ObjectImpl2: ObjectProtocol { 
    var weakProperty: AnyObject? 
} 

Эти и компилировать в порядке, даже если протокол имеет weak но ObjectImpl2 не реализует его.

EDIT: Это то, что вы после ...

protocol ObjectProtocol: class { 
    typealias WeakPropertyType: Any //must be a class type 
    var weakProperty: WeakPropertyType? {get set} 
} 

protocol WeakPropertyProtocol: class {} 

class ObjectImpl: ObjectProtocol { 
    typealias WeakPropertyType = WeakPropertyProtocol 
    weak var weakProperty: WeakPropertyProtocol? 
} 

Эта реализация требует использования каких-либо, а не AnyObject, поскольку WeakPropertyProtocol представляет собой протокол, а не класс?.

Или это? ...

protocol WeakPropertyProtocol: class {} 

protocol ObjectProtocol: class { 
    typealias WeakPropertyType: AnyObject //must be a class type 
    var weakProperty: WeakPropertyType? {get set} 
} 

class MyWeakClass: WeakPropertyProtocol { 

} 

class ObjectImpl: ObjectProtocol { 
    typealias WeakPropertyType = MyWeakClass 
    weak var weakProperty: MyWeakClass? 
} 

В любом случае, я думаю, что ключ в определении того, какой класс/протокол, используемый для WeakPropertyType.

Answer 2

Я сделал это работать с @objc атрибутом для WeakPropertyProtocol:

protocol ObjectProtocol: class { 
    typealias WeakPropertyType: AnyObject //must be a class type 
    weak var weakProperty: WeakPropertyType? {get set} 
} 

@objc protocol WeakPropertyProtocol {} 

class SomeObjectImpl: ObjectProtocol { 
    weak var weakProperty: WeakPropertyProtocol? 
} 

Это не лучшее решение, потому что я отношусь об этой записке от apple doc

Note also that @objc protocols can be adopted only by classes that inherit from Objective-C classes or other @objc classes.

Я могу жить с этим ограничением, но я оценят любое лучшее решение.

Answer 3

Swift 4 версия.
Мне были нужны мои модели просмотра для соответствия протоколу. Они не должны сохранить координатор объекта:

protocol ViewModelType { 
    associatedtype CoordinatorType: AnyObject 
    weak var coordinator: CoordinatorType? { get } 
}