Список содержит метод не типобезопасен

Question

При переходе через этот вопрос: «Checking if an object is contained within a linkedlist», я понял, что пользователь пытается передать строковый аргумент к содержит метод в LinkedList типа LinkedList:

LinkedList<LinkedList> list = new LinkedList<LinkedList>(); 

    list.contains("String"); 

Это Безразлично 't бросать любую ошибку компиляции, потому что метод' contains 'принимает java.lang.Object и передает ему значение строки.

Так что, просто из любопытства, я хотел понять, почему этот метод выбрал для принятия «Объекта», когда он мог быть ограничен, чтобы принимать только тип списка (как и добавить). Разве это не побеждает целую цель Generics, то есть «более сильные проверки типа во время компиляции»?

Answer 1

Просто для обратной совместимости. Хотя дженерики полезны для ограничения содержимого коллекции однородным типом, все же остается допустимым вариантом использования, чтобы коллекция содержала гетерогенные объекты, если вы так решите.

public static void main(String[] args) 
{ 
    List<String> homogeneousStringList = new ArrayList<String>(); 

    homogeneousStringList.add("Foo"); 
    homogeneousStringList.add("Bar"); 

    List heterogeneousObjectList = new ArrayList(); 

    heterogeneousObjectList.add("Foo"); 
    heterogeneousObjectList.add(Integer.valueOf(1)); 
    heterogeneousObjectList.add(new Date()); 

    System.out.println(homogeneousStringList.toString()); 
    System.out.println(heterogeneousObjectList.toString()); 
} 

Производит следующий вывод:

[Foo, Bar]

[Foo, 1, вс 21 сентября 00:36:59 MDT 2014]

Answer 2

Допустим, у вас есть BankAccount, идентифицированный AccountId (оба являются классами, не распространяющимися на другие).

Теперь скажем, что у вас есть LinkedList<BankAccount> accounts; и вы хотите посмотреть, есть ли учетная запись с данным ID.

Теперь AccountId.equals() может принимать BankAccount и сравнивать себя с ID учетной записи. При этом вы сможете вызвать accounts.contains(account_id), и он будет работать, даже если аргумент имеет тип, полностью не связанный с типом коллекции.

Answer 3

Прежде всего метод contains не изменяет базовую коллекцию, поэтому у него нет строгого требования, например метода добавления.

Важное значение, тем не менее, содержит сделки с равенством объектов. Он фактически вызывает метод equals для элементов списка. Может показаться, что для того, чтобы два объекта были равными, они должны быть, по крайней мере, одного типа, но на самом деле это не так. Это полностью зависит от того, насколько хорошо определяется ваш метод equals.

Пример:

List<A> myList = new LinkedList<A>(); 
... 
B b = new B(); 
myList.contains(b); //expected true if 'value' attribute is equal. 


class A { 
    int value; 
    public boolean equals(Object object){ 
     if(object instanceof A && ((A)object).getValue() == this.value) 
     return true; 
     else if(object instanceof B && ((B)object).getValue() == this.value) 
     return true; 
     else 
     return false; 

} 

И точно так же

class B { 
    int value; 
    public boolean equals(Object object){ 
     if(object instanceof A && ((A)object).getValue() == this.value) 
     return true; 
     else if(object instanceof B && ((B)object).getValue() == this.value) 
     return true; 
     else 
     return false; 

} 

Answer 4

Простой ... LinkedList на самом деле объект.

Кроме того,

Скажем, у вас есть карта для каждого из ваших связанного списка:

• CustomMapItem 1: LinkedList 1
• CustomMapItem 2: LinkedList 2
• CustomMapItem 3: LinkedList 3

Поскольку принимает объект как параметр, вы повторно установите методы equals() и hashcode() для CustomMapItem, чтобы вы могли найти соответствующий LinkedList.

Answer 5

Спецификация для содержит метод говорит:

возвращает истину, если и только если эта коллекция содержит, по меньшей мере, один элемент е такой, что (o==null ? e==null : o.equals(e)) [DOCS оракула] [1]

Однако , он также говорит, что он может выбросить NullPointerException, если коллекция не разрешает нулевые элементы или ClassCastException, если тип указанного элемента несовместим с этой коллекцией. Они обозначены как optional.

Кроме того, он также говорит, что:

Многие методы в Collections Framework интерфейсы определены в терминах метода Equals

но:

Данная спецификация не должна быть подразумевается, что вызов Collection.contains с аргументом non-null o приведет к вызову o.equals (e) для любого элемента e

Поэтому я пришел к выводу, что это какой-то хак, позволяющий реализациям определять разные типы поведения (например, принятие нулевых элементов) и оптимизации (например, переопределение метода equals для класса, чтобы вы могли проверить, содержится ли элемент в коллекции без ссылки на него).

Я объясню последний пример:

public class A { 

    public void initialize() { 
     // Lots of code and heavy initialization 
    } 

    public String id; 

    @Override 
    public int hashCode() { 
    return id.hashCode(); 
    } 

    @Override 
    public boolean equals(Object o) { 
     return this.hashCode() == o.hashCode(); 
    } 
} 

А потом:

SomeCollection<A> collection = new SomeCollection<A>(); 

// Create an element and add it to the collection 
A a = new A(); 
a.initialize(); // Heavy initialization 
element.id = "abc"; 
collection.add(a); 

// Check if the collection contains that element 

// We create a second object with the same id, but we do not initialize it 
A b = new A(); 
b.id = "abc"; 

// This works for many common collections (i.e. ArrayList and HashSet) 
collection.contains(b); 

На самом деле, есть несколько методов, как indexOf(Object o) и remove(Object o), которые следуют этим. Поэтому я не думаю, что это совместимость, но это сделано специально для таких решений.

http://docs.oracle.com/javase/7/docs/api/java/util/Collection.html#contains(java.lang.Object)