オーバーライドされたメソッド (オーバーライドされたクラスに同じセレクターがあるメソッド) で、基本メソッドの型とは異なるパラメーターまたは戻り値の型を持つを報告します。 戻り値の型は covariant です。これは、オーバーライドされたメソッドが基本メソッドの戻り値の型の任意のサブタイプを返すことができることを意味します。 パラメーターの型は contravariant です。これは、オーバーライドされたメソッドが基本メソッドのパラメーター型の任意のスーパークラスのパラメータを持つことができることを意味します。 共変性と反変性は、オブジェクト型にのみに適用されます。