Расширение существующих протоколов для реализации другого протокола с использованием по умолчанию
Можно ли добавить соответствие протокола к другому протоколу посредством расширения?
Например, мы бы хотели, чтобы A соответствовал B:
protocol A {
var a : UIView {get}
}
protocol B {
var b : UIView {get}
}
Я хочу дать реализацию (соответствие) по умолчанию для объектов типа А
// This isn't possible
extension A : B {
var b : UIView {
return self.a
}
}
Мотивация заключается в повторном использовании объектов A в случаях, когда требуется B, не создавая моего собственного "моста",
class MyClass {
func myFunc(object : A) {
...
...
let view = object.a
... do something with view ...
myFunc(object) // would like to use an 'A' without creating a 'B'
}
func myFunc2(object : B) {
...
...
let view = object.b
... do something with view ...
}
}
В качестве дополнительной заметки мы можем расширить класс для реализации протокола
class C {
let C : UIView
}
// this will work
extension C : B {
var B : UIView {
return self.c
}
}
и протоколы могут предоставлять стандартные реализации
extension A {
// a default implementation
var a : UIView {
return UIView()
}
}
Ответы
Ответ 1
При расширении A
вы можете указать, что тип также соответствует B
:
extension A where Self: B {
var b : UIView {
return self.a
}
}
Затем сделайте свой тип совместимым с A
и B
, например
struct MyStruct : A, B {
var a : UIView {
return UIView()
}
}
В связи с расширением протокола, экземпляры MyStruct
будет иметь возможность использовать a
и b
, даже если только был реализован в a
MyStruct
:
let obj = MyStruct()
obj.a
obj.b
Ответ 2
Вы можете сделать наследуется от A
B
:
protocol A: B { var a: String { get } }
protocol B { var b: String { get } }
// Default implementation of property b
extension A {
var b: String { get { return "PropertyB" } }
}
class MyClass: A {
var a: String { get { return "PropertyA" } }
func printA(obj: A) {
print(obj.a)
printB(obj)
}
func printB(obj: B) {
print(obj.b)
}
}
let obj = MyClass()
obj.printA(obj)
Так как A
наследуется от B
, каждое свойство в B
доступно в A