Расширение существующих протоколов для реализации другого протокола с использованием по умолчанию

Можно ли добавить соответствие протокола к другому протоколу посредством расширения?

Например, мы бы хотели, чтобы 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