比较法违反其总合同

Question

我已经在类上实现了Comaprable，它给了我比较方法违反了它的总合同！，由于有一些值返回为 null，代码如下

公共静态比较器名称比较器 = 新比较器（） {

    public int compare(JSONReceiptList rName1, JSONReceiptList rName2) {
        if(rName1.retailer!=null || rName2.retailer!=null) {


            if(rName1.retailer==null||rName2.retailer==null) {

                return 0;
            }
            else
            {
                if(rName1.retailer.retailerName==null ||rName2.retailer.retailerName==null ) {
                    return 0;
                }
                else
                {String Name1 = rName1.retailer.getRetailerName().toUpperCase();
                    String Name2 = rName2.retailer.getRetailerName().toUpperCase();
                    return Name1.compareTo(Name2);

                }
            }
            //ascending order

        }
        else
        {
            return 0;
        }

    }

};

Answer 1

事实上，这是违反合同的行为。从比较器API：

从比较合约中可以立即得出，商是 S 上的等价关系，而强加的排序是 S 上的全序。

全序是传递的、反对称的和全序。

但是代码所施加的顺序是不可传递的。如果x和y具有非空值且x

比较 （x，z） = 0。比较 （y，z） = 0。因此，对于传递属性，compare（x，y） 应为零，但事实并非如此。

一种可能的解决方案是将空值视为最低值。

  public int compare(JSONReceiptList rName1, JSONReceiptList rName2) {
      boolean r1IsNull = rName1.retailer==null || rName1.retailer.retailerName==null;
      boolean r2IsNull = rName2.retailer==null || rName2.retailer.retailerName==null;
      if ( r1IsNull && r2IsNull )
          return 0;
      else if ( r1IsNull  && !r2IsNull )
          return -Integer.MAX_VALUE;
      else if ( !r1IsNull && r2IsNull )
          return Integer.MAX_VALUE;
      else // Both are non null
      {
            String name1 = rName1.retailer.getRetailerName().toUpperCase();
            String name2 = rName2.retailer.getRetailerName().toUpperCase();
            return name1.compareTo(name2);
      }
  }