汎用オブジェクトの制約付き拡張がタイプに一致しません

Question

ジェネリッククラスのタイプによって制約されるジェネリッククラスへの拡張をしようとしています。これは私が動作するはずと信じていたコードを簡略化したものである：

struct Thing<T> { 
    var value: T 
} 

struct ContainsStringThing { 
    var stringThing: Thing<String> 
} 

extension Thing where T == String {       // <-- Error location 
    func containedStringThing() -> ContainsStringThing { 
     return ContainsStringThing(stringThing: value) 
    } 
} 

しかし、私は次のようなエラーメッセージが出ます：

同じタイプの要件は、一般的なパラメータ「T」非ジェネリック

を作ります

これを修正する方法を探して、タイプの代わりに拡張子を制限するプロトコルを使用するように提案しました：link to article

protocol StringProtocol { } 

struct Thing<T> { 
    var value: T 
} 

struct ContainsStringThing { 
    var stringThing: Thing<StringProtocol> 
} 

extension Thing where T: StringProtocol { 
    func containedStringThing() -> ContainsStringThing { 
     return ContainsStringThing(stringThing: self)   // <-- Error location 
    } 
} 

今では私は拡張子を制約せんが、それは別のエラーメッセージを示しています：私はこれで終わったことをやった後

は、型の値を変換できません「シング< T>」に期待される引数の型「シング< StringProtocol>」

は、基本的には、今ではTは、それ自体でプロトコルStringProtocolに準拠していることを知っているが、目を参照するとき、それはそれを知りません全体のオブジェクトThing<T>。

これには何らかの回避策がありますか、それとも迅速なメーリングリストに進化提案として提出する必要がありますか？

注：すべてのコードはプレイグラウンドでテストされています。コピーして貼り付けるだけで試してみることができます。

Answer 1

回避策として、selfからの値でThingの新しいインスタンスを作成することができます。スイフト2.2ような拡張制約で

extension Thing where T: StringProtocol { 
    func containedStringThing() -> ContainsStringThing { 
     return ContainsStringThing(stringThing: Thing<StringProtocol>(value: self.value)) 
    } 
} 

containedStringThing（）関数は値型StringProtocolに準拠シングのインスタンスのために利用可能であることを意味します。スウィフトコンパイラはself.valueとしてStringProtocolの種類を推測することができれば

がいいだろう。そのような場合は、 ContainsStringThing(stringThing: Thing<StringProtocol>(value: self.value))の代わりに ContainsStringThing(stringThing: self)と書くことができます。あなたは間違いなく提案を記入する必要があります。