タグ付けされた質問 「covariance」

違いは何である<out T>とは<T>？例えば： public interface IExample<out T> { ... } 対 public interface IExample<T> { ... }

188 c#  generics  covariance 

基本クラス/インターフェースから継承できますが、List<> 同じクラス/インターフェースを使用して宣言できないのはなぜですか？ interface A { } class B : A { } class C : B { } class Test { static void Main(string[] args) { A a = new C(); // OK List<A> listOfA = new List<C>(); // compiler Error } } 回避策はありますか？

179 c#  list  inheritance  collections  covariance 

現実の世界で共分散と反変をどのように使用するかを理解するのに少し問題があります。 これまでのところ、私が見た唯一の例は、同じ古い配列の例です。 object[] objectArray = new string[] { "string 1", "string 2" }; それが他の場所で使用されているのを見ることができれば、開発中にそれを使用できるようにする例を見るとよいでしょう。

162 c#  c#-4.0  covariance 

Joshua BlochのEffective Javaから、 配列は、2つの重要な点でジェネリック型と異なります。最初の配列は共変です。ジェネリックスは不変です。 共変とは、XがYのサブタイプの場合、X []もY []のサブタイプになることを意味します。文字列はオブジェクトのサブタイプなので、配列は共変です String[] is subtype of Object[] 不変とは、XがYのサブタイプであるかどうかに関係なく、 List<X> will not be subType of List<Y>. 私の質問は、なぜJavaで配列を共変にする決定をしたのですか？なぜ配列は不変なのにリストは共変なのかなどの他のSOの投稿があります。、しかしそれらはScalaに焦点を合わせているようで、私はついていけません。

160 java  arrays  generics  language-design  covariance 

IEnumerable<T>あるコバリアントが、それは値型、ちょうどのみ参照型をサポートしていません。以下の単純なコードは正常にコンパイルされています。 IEnumerable<string> strList = new List<string>(); IEnumerable<object> objList = strList; しかし、からstringに変更するintと、コンパイルエラーが発生します。 IEnumerable<int> intList = new List<int>(); IEnumerable<object> objList = intList; その理由はMSDNで説明されています： 分散は参照型にのみ適用されます。バリアント型パラメーターに値の型を指定すると、その型パラメーターは、結果の構成型に対して不変になります。 私が検索したところ、値の型と参照の型の間のボクシングが原因であると述べたいくつかの質問が見つかりました。しかし、ボクシングが理由である理由はまだ私の心をはっきりさせませんか？ 共分散と反変が値タイプをサポートしない理由と、ボクシングがこれにどのように影響するかについて、簡単で詳細な説明を誰かに教えてもらえますか？

149 c#  .net  c#-4.0  covariance  contravariance 

OverаэтотвопросестьответынаStack Overflowнарусском：Ковариантностьиконтрвариантностьобобщений 共分散と反分散の違いを理解できません。

148 c#  c#-4.0  covariance  contravariance 

この質問に続いて、誰かがScalaで次のことを説明できますか？ class Slot[+T] (var some: T) { // DOES NOT COMPILE // "COVARIANT parameter in CONTRAVARIANT position" } 型宣言の+Tとの違いを理解してTいます（を使用するとコンパイルされますT）。しかし、その後どのように一つは、実際のものを作成するに頼ることなく、その型パラメータで共変であるクラス記述んunparametrizedを？以下がのインスタンスでのみ作成できることをどのように確認できますTか？ class Slot[+T] (var some: Object){ def get() = { some.asInstanceOf[T] } } 編集 -これは次のようになりました： abstract class _Slot[+T, V <: T] (var some: V) { def getT() = { some } } …

147 generics  scala  covariance  contravariance 

私が持っているprivate readonlyのリストLinkLabel（複数可IList<LinkLabel>）。後でLinkLabelこのリストにsを追加し、これらのラベルをFlowLayoutPanel次のように追加します。 foreach(var s in strings) { _list.Add(new LinkLabel{Text=s}); } flPanel.Controls.AddRange(_list.ToArray()); Resharperが私に警告を表示しますCo-variant array conversion from LinkLabel[] to Control[] can cause run-time exception on write operation。 私が理解するのを助けてください： これはどういう意味ですか？ これはユーザーコントロールであり、ラベルを設定するために複数のオブジェクトからアクセスされないため、コードをそのままにしても影響はありません。

142 c#  winforms  .net-4.0  covariance 

次のC＃コードがコンパイルされない理由を理解できません。 ご覧のとおり、静的なジェネリックメソッドSomething with a IEnumerable<T>parameter（and Tis constrained to an IAinterface）があり、このパラメーターは暗黙的に次のように変換できません。IEnumerable<IA>。 説明は何ですか？（回避策を探すのではなく、なぜそれが機能しないのかを理解するためです）。 public interface IA { } public interface IB : IA { } public class CIA : IA { } public class CIAD : CIA { } public class CIB : IB { } public class CIBD : CIB { …

115 c#  covariance  contravariance 

今日、私はJavaの共分散、反変（および不変性）に関するいくつかの記事を読みました。私は英語とドイツ語のウィキペディアの記事、およびIBMからの他のいくつかのブログ投稿と記事を読みました。 しかし、私はまだこれらが正確に何であるかについて少し混乱していますか？型とサブタイプの関係に関するもの、型変換に関するもの、メソッドがオーバーライドされるかオーバーロードされるかを決定するために使用されると言う人もいます。 だから私は平易な英語で簡単な説明を探しています。それは初心者に共分散と反変（そして不変性）が何であるかを示しています。簡単な例としてプラスポイント。

113 java  covariance  contravariance 

PDC 2008には参加しませんでしたが、C＃4.0がジェネリック共分散と逆分散をサポートするように発表されたというニュースを聞きました。つまり、List<string>に割り当てることができますList<object>。それはどうでしょうか？ Jon Skeetの著書C＃in Depthでは、C＃ジェネリックが共分散と逆分散をサポートしない理由が説明されています。それは主に安全なコードを書くためのものです。現在、C＃4.0はそれらをサポートするように変更されました。それは混乱をもたらすでしょうか？ C＃4.0の詳細を説明できる人はいますか？

106 c#  c#-4.0  covariance  contravariance  generic-variance 

休業。この質問はもっと焦点を合わせる必要があります。現在、回答を受け付けていません。 この質問を改善してみませんか？質問を更新して、この投稿を編集するだけで1つの問題に焦点を当てます。 5年前に閉鎖。 この質問を改善する Javaの共分散と反分散の良い例を示してください。

105 java  covariance  contravariance 

Javaの共変戻り値型とは何ですか？一般にオブジェクト指向プログラミングでは？

105 java  oop  covariance 

編集：この質問を元の回答に基づいて書き直しました scala.collection.immutable.Setクラスは、その型パラメータの共変ではありません。どうしてこれなの？ import scala.collection.immutable._ def foo(s: Set[CharSequence]): Unit = { println(s) } def bar(): Unit = { val s: Set[String] = Set("Hello", "World"); foo(s); //DOES NOT COMPILE, regardless of whether type is declared //explicitly in the val s declaration }

94 scala  set  covariance  scala-collections 

C＃で読んでいる教科書でこれらに出くわしましたが、おそらく文脈が不足しているために、理解するのに苦労しています。 それらが何であるか、そしてそれらがそこに何のために役立つかについての良い簡潔な説明はありますか？ 明確にするために編集： 共変インターフェース： interface IBibble<out T> . . 反変インターフェース： interface IBibble<in T> . .

86 c#  .net  interface  covariance  contravariance