プロトコルのジェネリックプロパティに割り当てることができません

Question

私はこのコードでここで紛失している単純なものがあるかどうか、または私が望むことをするのを妨げているスウィフトトリッキーの組み合わせであるかどうかを知りたいと思います。

私はFooプロトコルを実装するタイプがStringIdentifiableに限り、それは準拠して、任意のタイプのentity財産を含有させることだ：スウィフト3.1、この「任意のタイプ」の部分wouldn't be possible場合のよう

protocol StringIdentifiable { 
    var id: String? { get } 
} 

protocol Foo: class { 
    associatedtype AnyStringIdentifiable: StringIdentifiable 
    var entity: AnyStringIdentifiable? { get set } 
} 

associatedtypeを使用しないでください。先に、Fooプロパティを必要とする別のプロトコルがあるとしましょう。しかし、Fooは一般的なものなので、"汎用プロトコルは一般的な制約としてのみ使用できます"のため、われわれはそれを行うことはできません。型消去の混乱を避けるためにしようと、私は私の第二のプロトコルで別のassociatedtypeを使用することを決めたとコンパイラが文句はありません：

protocol Bar { 
    //var foo: Foo { get set } // can't do because Foo is generic 
    associatedtype AnyFoo: Foo 
    var foo: AnyFoo { get set } 
} 

しかしを、今、私は、コンパイラは文句を言うでしょうfooで何かを設定しようとします。

extension Bar { 
    func setEntity(_ entity: StringIdentifiable) { 
    foo.entity = entity 
    } 
} 

エラーが「_？」がタイプするタイプ「StringIdentifiable」の値を割り当てることができませんで

注：この質問のコードは、遊び場で試すことができます。 foo.entityはタイプAnyFoo.AnyStringIdentifiableであるため

Answer 1

あなたは、あなたがfoo.entityを設定するときのタイプが正しいことを確認するためにAnyFoo.AnyStringIdentifiableを使用することができますバーの中で、この

//: Playground - noun: a place where people can play 

import Cocoa 

protocol StringIdentifiable { 
    var id: String? { get } 
} 

protocol Foo: class { 
    associatedtype AnyStringIdentifiable: StringIdentifiable 
    var entity: AnyStringIdentifiable? { get set } 
} 

protocol Bar { 
    //var foo: Foo { get set } // can't do because Foo is generic 
    associatedtype AnyFoo: Foo 
    var foo: AnyFoo { get set } 
} 

extension Bar { 
    func setEntity(_ entity: AnyFoo.AnyStringIdentifiable) { 
     foo.entity = entity 
    } 
} 

のようにそれを行うことができます。