プロトコルタイプを汎用関数に渡すにはどうすればよいですか？

Question

タイプに応じて文字列を作成したいと思います（必要があればURLの一部）。

は、この典型的なコードを考えてみましょう：

import Foundation 


protocol TestP { 
    var p: Int { get } 
} 
protocol TestQ: TestP { 
    var q: Int { get } 
} 
struct TestR: TestQ { 
    var p = 1 
    var q = 2 
} 

func toDescription<T: TestP>(type: T.Type) -> String { 
    switch type { 
     case is TestR.Type: return "Arrrr" 
     default: return "unsupported" 
    } 
} 

これは合理的に素敵なようです。私は安全でない尺度（文字列）に頼る必要はなく、別の列挙型も必要としませんでした。

のは、いくつかの使用例を見てみましょう。最初の2つの関数は（！ジェネリックバージョンは特にいいです）大丈夫です

func example1<T: TestP>(val: T) { 
    print("Processing \(toDescription(type: T.self))") 
} 

func example2() { 
    print("Processing \(toDescription(type: TestR.self))") 
} 

func example3() { 
    print("Processing \(toDescription(type: TestQ.self))") 
} 

が、第三は、コンパイルされません：

Error: in argument type TestQ.Protocol.Type , TestQ.Protocol does not conform to expected type TestP

TestP.TypeとTestP.Protocolはパラメータとしても機能しません。

プロトコルタイプを（汎用）関数に渡すにはどうすればよいですか？

Answer 1

protocol TestP { 
    var p: Int { get } 
} 
protocol TestQ: TestP { 
    var q: Int { get } 
} 
struct TestR: TestQ { 
    var p = 1 
    var q = 2 
} 

struct TestS: TestP 
{ 
    var p = 42 
} 

func toDescription<T: TestP>(type: T.Type) -> String 
{ 
    switch type 
    { 
    case let x where x == TestR.self: 
     return "Arrr" 
    default: 
     return "Unsupported" 
    } 
} 

print (toDescription(type: TestR.self)) // Arrr 
print (toDescription(type: TestS.self)) // Unsupported