a
がコンパイル時に実装として自分自身を宣言する特定の型である場合は、P1
キャストする必要はありません。
a
が型の場合id
、戻り型があいまいで実際に使用している場合、またはパラメータが含まれている場合にのみキャストする必要があります。これは通常、メソッド名に複数のメソッドシグネチャがあるp1Message
ため、コンパイラがどちらを期待するかわからないことを意味します。
a
が自分自身を実装として宣言しないタイプの場合P1
、個別に(そして繰り返し)宣言しない限りp1Message
、オブジェクトが実装しない可能性のあるメソッドを呼び出しているため、警告が表示されます。
私が推測しなければならない場合、おそらく(たとえば、デリゲートにとってはより一般的です)ではなくa
タイプであると宣言されており、複数のが飛び回っています。また、ある日、同じ名前の複数の異なるメッセージがあり、実装する可能性のある他の誰かが、誰かがそのメソッド名を使用するプロジェクト内の他のすべての場所を知る必要がないため、キャストを積極的に配置することもできます。id
id <P1>
p1Message
p1Message
コンパイラーは、動的ランタイムであるため、正確conformsToProtocol:
に呼び出すことが安全であるというチェックから誘導することはできません。コンパイル時または実行時にp1Message
別の実装に置き換えた可能性があります。つまり、コンパイラがその機能を認識していると想定するのは安全ではありません。conformsToProtocol:
その呼び出しは、他の呼び出しと同じように動的にディスパッチされます。