invariance

1熱

1答えて

上限のサブクラスでパラメータ化された不変ジェネリック型がなぜ適合しないのですか？

は考える： class Invar[T] trait ExtendsAnyref extends AnyRef def f(a: Invar[ExtendsAnyref]) = {} 次は誤りである scala> val x: Function1[Invar[_ <: AnyRef], Unit] = f <console>:13: error: type mismatch; foun

scala generics inheritance existential-type invariance 2016-06-12

---

2熱

1答えて

ジェネリックは不変であるが、これは私がこれにコードをリファクタリングするまで、私は、型の不一致エラーを得ていたエラー

なしでコンパイル： public final Stream<Map.Entry<E, Integer>> orderedStreamOfEntries() { return this.m_map.entrySet() .stream() .sorted(Comparator.comparingInt(Entry::getValue)) .

java generics invariance 2017-07-27

---

0熱

1答えて

Scala Set、不変型はどうなっていますか？

スカラーアプリケーションでリファクタリングを実行している間に、ListからSetに変更すると、以前は持たなかった質問が発生しました。私は分散についていくつかのアイデアを持っていますが、コンパイラが何を意味するのかを正確に理解したいと思います。 私はうまくコンパイルして動作しますこれに似たもの、持っていた：そして、私は設定して私のリストを変更し case class MyClassList(s: L

scala invariance 2016-10-13

---

2熱

2答えて

ジェネリッククラスをキャストすることはなぜ可能ですか？それは、このようなキャストを行うことは不可能ですので

のJavaのジェネリックは不変である： List<Object> li = (List<Object>)new ArrayList<Integer>(); しかし、4行目に次のコードでは、私はTは、任意のタイプかもしれList<T>にList<Integer>からキャストすることができます。なぜそのタイプのキャストは許可されていますか？ 私はチェックされていないキャストについて警告を出しますが

java generics casting invariance 2016-05-19

---

16熱

2答えて

OCamlの分散（+ '、-'a）及び不変

私は可変であることinfoを必要実現コード module type TS = sig type +'a t end module T : TS = struct type 'a t = {info : 'a list} end のこの部分を書き込んだ後。 私はその後、書いた： module type TS = sig type +'a t end m

ocaml covariance contravariance invariance 2016-11-09

---