Расширение протокола, похоже, не приводит к изменению переменной в потребителе?

Question

Допустим, вы

protocol Able: class { 
    var v:UIView? { get set } 
    var x:CGFloat { get set } 
} 

тогда, конечно, когда вы используете Способный,

, если вы забыли "V" или "х" ...

это ошибка. Это хорошо.

Так что это:

class ScreenThing: UIViewController, Able { 
    @IBOutlet var v: UIView? 
    var x: CGFloat = 0.0 
} 

Все хорошо. Замечательно.

Принудительно, что вы указываете «v» и «x» и действительно инициализируете их.

Но. Попробуйте это ...

var _H: UInt8 = 0 

protocol Able: class { 
} 

extension Able where Self:UIViewController { 

    var p:P { 
    get { 
     return objc_getAssociatedObject(self, &_H) as! P 
     } 
    set { 
     objc_setAssociatedObject(self, &_H, newValue, .OBJC_ASSOCIATION_RETAIN_NONATOMIC) 
     __setter() 
     } 
    } 
} 

Able сейчас имеет свойство p.

Вы можете использовать p отлично либо в функциях в Able, либо в функциях в ScreenThing. Замечательно.

Однако .....

Когда вы сделаете это .....

class ScreenThing: UIViewController, Able { 
} 

вы не получить ошибку.

Вы можете забыть инициализировать «p» (он сработает).

Действительно, вам не нужно указывать «p» в качестве переменной (как вы должны с «v» и «x»).

Почему это так?

Это похоже на огромную проблему.

Есть ли что-то другое, что я должен сделать, чтобы заставить компилятор обеспечить соблюдение «p», так же как он, естественно, обычно применяет переменные в протоколах?

---

Другой способ посмотреть на этот вопрос:

Учитывая именно мой код выше:

есть способ для обеспечения компилятор нужен инициализатор для «р» в потребителе класс?

Например.

Я попытался это ...

class ScreenThing: UIViewController, Able { 
    var p:P 
} 

Но это не работает.

(Как это ни странно, это компиляция - на самом деле я не знаю, что, черт возьми, это делает! Кажется, это «другое» p из p в Extension. Но в любом случае это не требует необходимости для инициализатора.)

Вкратце, снова есть что-то, что я мог бы сделать или добавить выше, что заставит компилятор принудительно заставить меня инициализировать псевдо-свойство-вещь, как это обычно бывает, когда я поместите свойство в протокол, например «x» или «v».

?

• Возможно, мне нужно добавить в протокол обычное свойство (например, «pp») и каким-то образом сделать p связанным с этим каким-то образом? Просто мысль.

---

(Сноска - см this понять ": класс", необходимый в протоколе выше.)

---

Отвечая на мой собственный вопрос:

Мой путанице выше что есть ничего не инициализировать. var p:Pв расширении (с блоками get и set code) - это просто две функции.

Инициализировать нечего.

Так например: в моем дополнительном вопросе я спрашиваю: «Как заставить соответствующие классы инициализировать его при пробуждении?» Это бессмысленно. Во всяком случае, можно спросить: «Как заставить соответствующие классы обязательно« использовать эти функции »при пробуждении?» - что не имеет ничего общего с инициализацией.

Обратите также внимание на то, что мой конкретный пример кода в вычисленной переменной происходит (не связанно) с использованием переменной, которая не инициализируется, что приводит к путанице.

Answer 1

В усыновителе протокола вам не нужно реализовывать p, поскольку расширение протокола предоставило реализацию. Это то, что расширение протокола -.

простой пример:

protocol P {} 
extension P { 
    func greet() {print("hello")} 
} 
class C : P {} 
C().greet() 

Заметим, что (1), который компилирует, даже если С не объявить greet и (2) она работает, даже если С не содержит реализацию greet. Это потому, что это работа над расширением протокола.