Почему пустые коллекции разного типа равны?

Что такое механизм ниже, что делает равные разные типы?

import static org.testng.Assert.assertEquals;
@Test
public void whyThisIsEqual() {
    assertEquals(new HashSet<>(), new ArrayList<>());
}

Ответ 1

В assertEquals(Collection<?> actual, Collection<?> expected) документация говорит:

Утверждает, что две коллекции содержат одни и те же элементы в одном порядке. Если они этого не сделают, появится AssertionError.

Таким образом, будет собрано содержание коллекций, которые, если обе коллекции пусты, равны.

Ответ 2

Они не...

System.out.println(new HashSet<>().equals(new ArrayList<>())); // false

Это характерно для testng assertEquals

Рассматривая документацию по этому методу, он говорит:

Утверждает, что две коллекции содержат одни и те же элементы в одном порядке.

И это смешно для меня, у Set нет порядка, per se.

Set<String> set = new HashSet<>();
set.add("hello");
set.add("from");
set.add("jug");

System.out.println(set); // [from, hello, jug]

IntStream.range(0, 1000).mapToObj(x -> x + "").forEachOrdered(set::add);
IntStream.range(0, 1000).mapToObj(x -> x + "").forEachOrdered(set::remove);

System.out.println(set); // [jug, hello, from]

Поэтому сравнение их с Collection в определенный момент времени даст интересные результаты.

Хуже того, java-9 Set::of методов реализует рандомизацию внутри, поэтому порядок (или не порядок) будет отличаться от run to run.

Ответ 3

Testng обращается к методу, реализованному таким образом.

  public static void assertEquals(Collection<?> actual, Collection<?> expected, String message) {
    if (actual == expected) {
      return;
    }

    if (actual == null || expected == null) {
      if (message != null) {
        fail(message);
      } else {
        fail("Collections not equal: expected: " + expected + " and actual: " + actual);
      }
    }

    assertEquals(
        actual.size(),
        expected.size(),
        (message == null ? "" : message + ": ") + "lists don't have the same size");

    Iterator<?> actIt = actual.iterator();
    Iterator<?> expIt = expected.iterator();
    int i = -1;
    while (actIt.hasNext() && expIt.hasNext()) {
      i++;
      Object e = expIt.next();
      Object a = actIt.next();
      String explanation = "Lists differ at element [" + i + "]: " + e + " != " + a;
      String errorMessage = message == null ? explanation : message + ": " + explanation;
      assertEqualsImpl(a, e, errorMessage);
    }
  }

Это пытается быть полезным, но плохо по ряду причин.

Каждые две коллекции могут быть разными.

Set<Integer> a = new HashSet<>();
a.add(82);
a.add(100);
System.err.println(a);
Set<Integer> b = new HashSet<>();
for (int i = 82; i <= 100; i++)
    b.add(i);
for (int i = 83; i <= 99; i++)
    b.remove(i);
System.err.println(b);
System.err.println("a.equals(b) && b.equals(a) is " + (a.equals(b) && b.equals(a)));
assertEquals(a, b, "a <=> b");

а также

Set<Integer> a = new HashSet<>();
a.add(100);
a.add(82);
System.err.println(a);
Set<Integer> b = new HashSet<>(32);
b.add(100);
b.add(82);
System.err.println(b);
System.err.println("a.equals(b) && b.equals(a) is " + (a.equals(b) && b.equals(a)));
assertEquals(a, b, "a <=> b");

печать

[82, 100]
[100, 82]
a.equals(b) && b.equals(a) is true
Exception in thread "main" java.lang.AssertionError: a <=> b: Lists differ at element [0]: 100 != 82
    at ....

Две коллекции могут быть одинаковыми или разными в зависимости от того, как они сравниваются.

assertEquals(a, (Iterable) b); // passes

assertEquals(a, (Object) b); // passes

assertEquals(Arrays.asList(a), Arrays.asList(b)); // passes

Ответ 4

Потому что для коллекции сравнивается только контент, а не тип коллекции.

Обоснованием этого является то, что часто какой-либо подкласс коллекции возвращается из проверенного метода и не имеет значения, какой именно подкласс используется.

Ответ 5

Когда я запускаю код ниже, условие false.

if( (new HashSet<>()).equals(new ArrayList<>())){
            System.out.println("They are equal");
        }

Следовательно, для assertEquals верно, что он проверяет только элементы и порядок для равенства. Но для equals это неверно.