Переопределение hashCode с переопределенным равенством с использованием equalsIgnoreCase для проверки равенства

@Override
public int hashCode() {
    int result = 17;
    result = 31 * result + characterwiseCaseNormalize(getFirstName()).hashCode();
    result = 31 * result + characterwiseCaseNormalize(getLastName()).hashCode();
    return result;
}

private static String characterwiseCaseNormalize(String s) {
    StringBuilder sb = new StringBuilder(s);
    for(int i = 0; i < sb.length(); i++) {
        sb.setCharAt(i,Character.toLowerCase(Character.toUpperCase(sb.charAt(i))));
    }
    return sb.toString();
}

Это hashCode будет соответствовать equals, определенному с помощью equalsIgnoreCase. В принципе, согласно договору equalsIgnoreCase, это, по-видимому, зависит от того, что

Character.toLowerCase(Character.toUpperCase(c1))==Character.toLowerCase(Character.toUpperCase(c2))

в любое время

Character.toLowerCase(c1)==Character.toLowerCase(c2).  

У меня нет доказательств того, что это правда, но реализация equalsIgnoreCase в OpenJDK фактически делает это последовательно с этим методом; он проверяет, равны ли соответствующие символы, затем равны ли их версии в верхнем регистре, затем равны ли версии в нижнем регистре версий в верхнем регистре.

Ты прав. Мы можем просмотреть все односимвольные строки и найти пары s1,s2 и s1.equalsIgnoreCase(s2) && !s1.toLowerCase().equals(s2.toLowerCase()). Есть довольно много пар. Например

s1=0049   'LATIN CAPITAL LETTER I'
s2=0131   'LATIN SMALL LETTER DOTLESS I'

s1.lowercase = 0069   'LATIN SMALL LETTER I'
s2.lowercase = 0131   itself

Это также зависит от локали: для s1 турецкий и азербайджанский используют U+0131 для нижнего регистра (см. http://www.fileformat.info/info/unicode/char/0049/index.htm )

Вы правы, что беспокоитесь. Прочитайте договор для equalsIgnoreCase.

Два символа c1 и c2 считаются одним и тем же без учета регистра, если верно хотя бы одно из следующего:

• Два символа одинаковы (по сравнению с оператором ==)
• Применение метода Character.toUpperCase(char) к каждому символу дает тот же результат.
• Применение метода Character.toLowerCase(char) к каждому символу дает тот же результат.

Итак, если есть символ, который равен при преобразовании в верхний регистр, но не наоборот, у вас будут проблемы.

Возьмем в качестве примера немецкий символ ß, который превращается в последовательность из двух символов SS при преобразовании в верхний регистр. Это означает, что строки «ß» и «SS» являются «equalsIgnoreCase», но не будут иметь такого же представления при преобразовании в нижний регистр!

Так что ваш подход здесь нарушен. К сожалению, я не уверен, что вы сможете разработать хэш-код, который адекватно выражает ваши потребности.

С точки зрения написания hashCode(), совместимого с equals(), вы должны либо использовать сопоставление регистра на основе Character в обоих случаях, либо сопоставление регистра на основе String в обоих случаях. В моем другом ответе я показал, как написать hashCode(), используя сопоставление регистров на основе Character; но есть и другое решение, которое состоит в том, чтобы изменить equals() вместо использования отображения регистра на основе String. (Обратите внимание, что String.equalsIgnoreCase() использует сопоставление регистра на основе Character.)

@Override
public boolean equals(Object o) {
    if (o == this) return true;
    if (! (o instanceof Player)) return false;
    Player p = (Player) o;
    return getFirstName().toLowerCase().equals(p.getFirstName().toLowerCase()) && 
        getLastName().toLowerCase().equals(p.getLastName().toLowerCase());
}