Javaでは、同じ型のコレクションは空になりますが、異なる型パラメータは常に等しくなりますか？

Question

は、次のコードを考えてみましょう：

List<String> list1 = new ArrayList<>(); 
    List<Integer> list2 = new ArrayList<>(); 
    assertThat(list1.equals(list2), is(true)); 

アサーションが成功します。

確かに、私の知る限り理解し、そこequals方法は、この2つを区別するための、Javaの方法は、型消去（すなわち実際の型引数は、実行時のために、原因ではありませんStringとIntegerしかアクセスできますコンパイル時には実行時には実行されません）。 そして、比較できる要素がないので、equalsはtrueを返す必要があります。そして、この考え方によって、これはすべてのコレクションにとって真実でなければなりません。

質問には次のようなものがあります：私の思考プロセスは正しいのですか、何か不足していますか？ これはが明示的にタイプを通過することなく達成することが可能であるタイプが明示的に保存であれば（私は元気です：

EDITは

@qqilihqは、次の質問を促した、優れたanswerを与えました何とか、ユーザーだけがそれを渡す必要はありません）

私は次のように試みましたが、動作しませんでした（タイプ消去のためだと思います）：

public TypedList(List<T> delegate) { 
     this.delegate = Objects.requireNonNull(delegate); 
     this.type = (Class<T>) delegate.getClass(); 
    } 

しかし、おそらくあなたはこれに類似したことをすることができますか？ this.type = T。

Answer 1

あなたが述べているように、タイプ情報は、与えられた例では実行時に失われます。しかし、コメントにあなたの質問について：

カウンタの例、つまり、異なるジェネリックタイプの2つの空のインスタンスが等しく扱われないコレクションも表示できますか？

あなたはもちろん、独自のCollectionを実装することができたを考慮にequals方法で型情報を取るん。あなたが原因述べた種類の消去に明示的にタイプを格納する必要があります

static final class TypedList<T> extends AbstractList<T> { 
    private final List<T> delegate; 
    private final Class<T> type; 

    public TypedList(List<T> delegate, Class<T> type) { 
     this.delegate = Objects.requireNonNull(delegate); 
     this.type = Objects.requireNonNull(type); 
    } 

    @Override 
    public T get(int index) { 
     return delegate.get(index); 
    } 

    @Override 
    public int size() { 
     return delegate.size(); 
    } 

    @Override 
    public boolean equals(Object obj) { 
     if (!super.equals(obj)) { 
      return false; 
     } 
     // Lists are equal, now additionally, check the type 
     TypedList<?> other = (TypedList<?>) obj; 
     return this.type.equals(other.type); 
    } 

    // hashCode omitted for brevity 
} 

注：ここでは任意のList周りTypedListラッパーを作成する非常に単純な例です。使用法：

List<String> list1 = new ArrayList<>(); 
List<Integer> list2 = new ArrayList<>(); 
System.out.println(list1.equals(list2)); // true 

list1 = new TypedList<>(list1, String.class); 
list2 = new TypedList<>(list2, Integer.class); 
System.out.println(list1.equals(list2)); // false 

Answer 2

実際には、コレクションインターフェイスを実装する個々のサブクラスがequals（）メソッドをどのように処理するかによって異なります（このコンパイルは行われません）。反対のオブジェクトがリストされ、大きさは同じであり、すべての要素が対等であればそれだけでtrueを返す

public boolean equals(Object o) { 
    if (o == this) 
     return true; 
    if (!(o instanceof List)) 
     return false; 

    ListIterator<E> e1 = listIterator(); 
    ListIterator<?> e2 = ((List<?>) o).listIterator(); 
    while (e1.hasNext() && e2.hasNext()) { 
     E o1 = e1.next(); 
     Object o2 = e2.next(); 
     if (!(o1==null ? o2==null : o1.equals(o2))) 
      return false; 
    } 
    return !(e1.hasNext() || e2.hasNext()); 
} 

：ArrayListのために、実装は以下のようにどのAbstractListです。両方のListが空の場合、結果は真でなければなりません。

Answer 3

ジェネリック医薬品は、コンパイル時に型チェックのために使用されています。あなたはこのようなArrayListを作成する場合

：彼らは空になっているので、

List<String> list1 = new ArrayList<>(); 
List<Integer> list2 = new ArrayList<>(); 
System.out.println(list1.equals(list2)); // result:true 

list1とlist2は等しくなります。 ArrayListは内部でObject[]を使用してArrayListのエントリを格納します。

あなたは配列リストにいくつかのエントリを追加した場合：

List<String> list1 = new ArrayList<>(); 
list1.add("A"); 

List<Integer> list2 = new ArrayList<>(); 
list2.add(1); 

System.out.println(list1.equals(list2)); // result: false 

をこれはfalseArrayListためのエントリを返します。それは本当に（コレクションインタフェースを実装sublcassが対等の処理方法を個々に依存し、」異なる