equals - java 中的对称合约似乎有问题

equals - symmetric contract in java seems to be giving issue

我正在测试 Effective Java 第二版书中提到的对象 Equals 方法的对称契约。

Symmetric: For any non-null reference values x and y, x.equals(y) must return true if and only if y.equals(x) returns true.

你能解释一下吗 - 为什么在下面的代码中 list.contains(s) 仍然是 returns false。

public final class CaseInsensitiveString {
    private final String s;

    public CaseInsensitiveString(String s) {
        if (s == null)
            throw new NullPointerException();
        this.s = s;
    }

    // Broken - violates symmetry!
    /*
     * @Override public boolean equals(Object o) {
     *  if (o instanceof  CaseInsensitiveString)
     *   return s.equalsIgnoreCase(((CaseInsensitiveString) o).s); 
     *   if (o instanceof String) // One-way  interoperability
     *    return s.equalsIgnoreCase((String) o); return false; 
     *    }
     */

    @Override
    public boolean equals(Object o) {
        return o instanceof CaseInsensitiveString
                && ((CaseInsensitiveString) o).s.equalsIgnoreCase(s);
    }

    public int hashcode() {
        return 0;
    }

    public static void main(String[] args) {

        CaseInsensitiveString cis = new CaseInsensitiveString("Polish");
        String s = "polish";
        // System.out.println(cis.equals(s));
        // System.out.println(s.equals(cis));
        List<CaseInsensitiveString> list = new ArrayList<CaseInsensitiveString>();
        list.add(cis);
        System.out.println(list.contains(s));
    }

}

因为 sString 所以 o instanceof CaseInsensitiveString 将 return 为假。

该列表包含 CaseInsensitiveString 的单个实例。 s 是一个 String 实例,它不能等于任何 CaseInsensitiveString 因为 o instanceof CaseInsensitiveString 出现在 equals方法将 return false.

如果您使用 CaseInsensitiveString 的两个实例测试您的代码,这两个实例由在不同情况下包含相同值的字符串构成,您会发现 contains 调用将 return true:

CaseInsensitiveString titleCase = new CaseInsensitiveString("Polish");
CaseInsensitiveString lowerCase = new CaseInsensitiveString("polish"); // Here!
List<CaseInsensitiveString> list = new ArrayList<CaseInsensitiveString>();
list.add(titleCase);
System.out.println(list.contains(lowerCase)); // prints true