同じプロトコルのインスタンスを受け付けないメソッドの型としてスウィフトプロトコルが使用されました

Question

説明できないメソッドで問題が発生しました。ここでは、問題を示し、いくつかのテストコードは次のとおりです。

protocol Base {} 
protocol Extended: Base {} 

struct Instance:Extended {} 

let anInstance = Instance() 
let instanceOfBase = anInstance as Base 
let instanceOfExtended = anInstance as Extended 

func aMethod<T:Base>(_ instance:T) {} 

aMethod(anInstance) 
aMethod(instanceOfBase) // Error - Cannot invoke 'aMethod' with an argument list of type '(Base)' 
aMethod(instanceOfExtended) // Error - Cannot invoke 'aMethod' with an argument list of type '(Extended)' 

私はなどのプロトコル、ジェネリック、上で読んだのApple DOCOによるaMethod()Baseプロトコルに準拠する任意のオブジェクトを受け入れる必要があります。それでも、私はそれらをBaseまたはExtendedにキャストした両方のインスタンスを拒否します。

誰でもこれを説明できますか？また

：

func aMethod2(_ instance:Base) {} 
aMethod2(anInstance) 
aMethod2(instanceOfBase) 
aMethod2(instanceOfExtended) 

作品細かいので、違いがBaseまたは<T:Base>に（しゃれを言い訳）instance引数がベースとされているかどうかのようです。

ここでジェネリックを宣言する理由は誰でも質問してください。

func addViewController<T:ModelObject>(_ stack:inout [UIViewController], 
           object:T?, 
           controller:DetailsViewController<T>?, 
           storyboardId:String) {... 

ご覧のとおり、いくつかの引数を同じタイプに制限したいと思います。したがって、単にベースを指定するのではなく、ジェネリックを使用します。

Answer 1

Tは、コンクリート型

<T:Base>上の制約であるプレースホルダのタイプT上の制約です。 Tは、Baseプロトコルに準拠した具体的な型（クラス、enumまたはstruct、たとえばInstance）でなければなりません。プレースホルダタイプTはBaseプロトコルにすることはできません。

aMethod<T:Base>(:)は、コンパイル時にBaseプロトコルに準拠する型の変数で呼び出される必要があります。 aMethod<T:Base>(:)は、タイプがBaseであることがわかっている変数では呼び出すことができません。

次のコード行は、構造型InstanceのanInstanceという名前の変数をインスタンス化します。

let anInstance = Instance() 

aMethod(anInstance)anInstanceがBaseプロトコルに準拠コンクリート型Instanceであるためコンパイル。

次のコード行は、プロトコルタイプBaseのinstanceOfBaseという名前の変数をインスタンス化します。

let instanceOfBase: Instance = anInstance as Base 

aMethod(instanceOfBase)instanceOfBaseがBaseプロトコルに準拠コンクリート型ではないので、コンパイルされません。プロトコルタイプはBaseです。

問題を説明できない別のスニペットがあります。この場合、base引数は、プロトコルタイプがBaseであることだけがわかります。

func aMethod(base: Base) { 
    aMethod(base) // Cannot invoke 'aMethod' with an argument list of type '(Base)' 
} 

Answer 2

ええ、私はあなたがこれをやっている理由を実際には知りません。

さんが言ってみましょう：あなたはBaseプロトコルに準拠する任意のインスタンスを受け入れるようにaMethodをしたい

• を、そしてあなただけ作ることができ、それfunc aMethod(_ instance: Base) {}
あなたはジェネリックメソッドを使用し、関数内の型情報を保存したい
• プロトコルの具体的な実装のインスタンスを渡します。

func aMethod<T:Base>(_ instance:T) {}はそれがBaseを準拠タイプTのインスタンスを期待しています意味しますのでご注意ください。 BaseまたはExtendedは有効なタイプです。

あなたがここでやっていることは、その力のないジェネリックを使っていることです。どちらが理にかなっていません。より現実的なシナリオを提供できる場合を除きますか？