powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Форумы / Java [игнор отключен] [закрыт для гостей] / equals contract в 1Z0-803
8 сообщений из 8, страница 1 из 1
equals contract в 1Z0-803
    #38904044
O.R.
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
в примере вопросов для сдачи теста на сертификацию 1Z0-803

education.oracle.com

есть такой вопрос (отступы сайта соблюдены):

2. Given:

Код: java
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
public class MyStuff {
MyStuff(String n) { name = n; } 
String name;
public static void main(String[] args) {
MyStuff m1 = new MyStuff("guitar");
MyStuff m2 = new MyStuff("tv"); 
System.out.println(m2.equals(m1));
}
public boolean equals(Object o) {
MyStuff m = (MyStuff) o;
if(m.name != null)
return true;
return false;
}
}



What is the result?
oracleA) The output is "true" and MyStuff fulfills the Object.equals() contract.
B) The output is "false" and MyStuff fulfills the Object.equals() contract.
C) The output is "true" and MyStuff does NOT fulfill the Object.equals() contract.
D) The output is "false" and MyStuff does NOT fulfill the Object.equals() contract
E) Compilation fails


Правильный ответ, по мнению сайта:
2. C

Мой вопрос:
а где описан контракт для equals ?

Официальная документация
docs.oracle.com

Ничего не говорит ни о каком контракте для equals.

При этом "contract" явно задан для методов "hashCode" и "finalize"

The general contract of finalize is ...

The general contract of hashCode is ...

==========
если есть ссылка на что-то официальное буду благодарен ее приведшему.

p.s. я обращался с письмом в cis-edu_ru(собанька)oracle.com, но там сказали то, что обычно говорят менеджеры по продажам.
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38904138
chpasha
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
авторIndicates whether some other object is "equal to" this one.

The equals method implements an equivalence relation on non-null object references:

It is reflexive: for any non-null reference value x, x.equals(x) should return true.
It is symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true.
It is transitive: for any non-null reference values x, y, and z, if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.
It is consistent: for any non-null reference values x and y, multiple invocations of x.equals(y) consistently return true or consistently return false, provided no information used in equals comparisons on the objects is modified.
For any non-null reference value x, x.equals(null) should return false.

The equals method for class Object implements the most discriminating possible equivalence relation on objects; that is, for any non-null reference values x and y, this method returns true if and only if x and y refer to the same object (x == y has the value true).
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38904161
chpasha
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
з.ы. у тебя в примере нарушается как минимум это:
symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true

если взять m1 = new MyStuff(null); то m1.equals(m2) == true, а m2.equals(m1) == false

кроме того
For any non-null reference value x, x.equals(null) should return false.
этой проверки тоже нет, имеем баг с NPE
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38904398
O.R.
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Вот описание метода hashCode:

Код: plaintext
1.
2.
3.
4.
5.
 The general contract of hashCode is:

    Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
    If two objects are equal according to the equals(Object) method, then calling the hashCode method on each of the two objects must produce the same integer result.
    It is not required that if two objects are unequal according to the equals(java.lang.Object) method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hash tables.
Четко указано, есть контракт - вот он.

В описании к методу equals, есть упоминание "contract", но это "contract for the hashCode":
Код: plaintext
1.
Note that it is generally necessary to override the hashCode method whenever this method is overridden, so as to maintain the general contract for the hashCode method, which states that equal objects must have equal hash codes.

Нет контракта - нет основания задавать вопросы.
Или есть официальный туториал, где сказано, что это описание - есть контракт ?
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38904506
skywriter
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
O.R.Нет контракта - нет основания задавать вопросы.
Или есть официальный туториал, где сказано, что это описание - есть контракт ?
Я нашёл тут .
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38904890
chpasha
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
O.R.Нет контракта - нет основания задавать вопросы
т.е. для того, чтобы у метода был контракт тебе нужно чтобы в его описании присутствало слово contract? а перечисление в стиле "метод ДОЛЖЕН то-то и то-то" - это так, информационный шум?
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38905849
O.R.
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Если бы вопрос стоял, что должен метод equals, то вопроса бы не возникало.
А так как тесты не бесплатные, то нужно придерживаться формулировки, которая звучит в вопросе.
Да, формулировка важна.
Так же как и заголовок "Техническое задание" в документе описывающем техническое задание.

Оттого и популярны книги-рецепты по прохождению тестов, потому что книги-рецепты дают результат.
И никого не смущает, когда автор пишет:
The primitive data types can be categorized as follows:
Boolean, character, and numeric (further categorized as integral and floating-point) types.

Тут автор по своему прав? А я тут информационный шум поднимаю.
...
Рейтинг: 0 / 0
equals contract в 1Z0-803
    #38905902
chpasha
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
не вижу никакого смысла препираться с человеком, который создал топик для того чтобы услышать, что он прав
...
Рейтинг: 0 / 0
8 сообщений из 8, страница 1 из 1
Форумы / Java [игнор отключен] [закрыт для гостей] / equals contract в 1Z0-803
Найденые пользователи ...
Разблокировать пользователей ...
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]