Swift 4では、複数のプロトコルに準拠するものにのみ適用される拡張機能を記述できますか？

Question

は、私が唯一それが両方のプロトコルに準拠しているためTestThingCを構造体へ適用される拡張機能を記述しようとしているこれらのプロトコル

protocol NamedThing{ 
    var name:String{ get } 
} 

protocol ValuedThing{ 

    associatedtype ValueType 

    var value:ValueType{ get } 
} 

そして、これらの構造体...

struct TestThingA : NamedThing { 
    let name = "TestThing" 
} 

struct TestThingB : ValuedThing { 

    typealias ValueType = Int 

    let value = 4 
} 

struct TestThingC : NamedThing, ValuedThing { 

    typealias ValueType = Int 

    let name = "TestThing" 
    let value = 4 
} 

を考えてみましょう。これらの作業の

いずれも、もちろん...

extension NamedThing & ValuedThing{ 
    func test(){ 
     print("Named thing \(name) has a value of \(value)") 
    } 
} 

extension Any where NamedThing & ValuedThing { 
    func test(){ 
     print("Named thing \(name) has a value of \(value)") 
    } 
} 

extension Any where Self is NamedThing, Self is ValuedThing{ 

    func test(){ 
     print("Named thing \(name) has a value of \(value)") 
    } 
} 

extension Any where Self == NamedThing, Self == ValuedThing{ 

    func test(){ 
     print("Named thing \(name) has a value of \(value)") 
    } 
} 

それでは、どの一つは、両方の（複数の）プロトコルに準拠したアイテムに適用される拡張機能を記述しないのでしょうか？あなたはプロトコルの1に制限された拡張子を定義することができ

Answer 1

：

extension NamedThing where Self: ValuedThing { 
    func test(){ 
     print("Named thing \(name) has a value of \(value)") 
    } 
} 

TestThingC().test() // compiles 

TestThingA().test() // error: Type 'TestThingA' does not conform to protocol 'ValuedThing' 
TestThingB().test() // error: Value of type 'TestThingB' has no member 'test' 

Answer 2

私はいつも他のプロトコルを継承する新しいプロトコルを作成することによって、これらの問題を解決しました。

protocol NamedValueThing: NamedThing, ValuedThing { } 
extension TestThingC: NamedValueThing { } 

extension NamedValueThing { 
    func test() { 
     print("\(value) \(name)") 
    } 
} 

//TestThingA().test() //error: value of type 'TestThingA' has no member 'test' 
//TestThingB().test() //error: value of type 'TestThingB' has no member 'test' 
TestThingC().test() //4 TestThing