「同名同型のoverloadになるimpl（罠）」と「通常変数はoverloadはできないのですが、protocol extensionを使えばこのAにURL型の変数を生やすことが可能です」をあわせると↓みたいになるのか。 @swift-4.2.4

protocol P { var a: Int { get } } extension P { var a: Int { return 1 } } class C: P {} class SC: C { var a: Int = 2 } let sc: SC = SC() let c: C = sc print(sc.a) print(c.a)