Question

注意：这是Comparable and Comparator contract with regards to null
的衍生产品

此代码在Eclipse（20090920-1017）

中编译并运行良好

import java.util.*;
public class SortNull {
   static <T extends Comparable<? super T>>
   Comparator<T> nullComparableComparator() {
      return new Comparator<T>() {
         @Override public int compare(T el1, T el2) {
         return
            el1 == null ? -1 :
            el2 == null ? +1 :
            el1.compareTo(el2);
         }
      };
   }
   public static void main(String[] args) {
      List<Integer> numbers = new ArrayList<Integer>(
         Arrays.asList(3, 2, 1, null, null, 0)
      );
      Comparator<Integer> numbersComp = nullComparableComparator();
      Collections.sort(numbers, numbersComp);
      System.out.println(numbers);
      // "[null, null, 0, 1, 2, 3]"

      List<String> names = new ArrayList<String>(
         Arrays.asList("Bob", null, "Alice", "Carol")
      );
      Comparator<String> namesComp = nullComparableComparator();
      Collections.sort(names, namesComp);
      System.out.println(names);
      // "[null, Alice, Bob, Carol]"
   }
}

然而它不能在javac 1.6.0_17上编译。这是错误消息：

SortNull.java:17: incompatible types; no instance(s) of type variable(s) T exist
 so that java.util.Comparator<T> conforms
 to java.util.Comparator<java.lang.Integer>
found   : <T>java.util.Comparator<T>
required: java.util.Comparator<java.lang.Integer>
     Comparator<Integer> numbersComp = nullComparableComparator();

SortNull.java:25: incompatible types; no instance(s) of type variable(s) T exist
 so that java.util.Comparator<T> conforms
 to java.util.Comparator<java.lang.String>
found   : <T>java.util.Comparator<T>
required: java.util.Comparator<java.lang.String>
     Comparator<String> namesComp = nullComparableComparator();

2 errors

有人可以解释为什么会有这种差异吗？这是一个错误吗？如果是这样，谁有错误？

Answer 1

这是一个确认的错误：Bug ID 6468354。以下是相关摘录：

这个问题是由于有时javac的JLS3 15.12.2.8实现忽略了递归边界，有时候没有（如本例所示）。当递归边界包含通配符时，在计算未推断的类型变量时会包含此类边界。这使后续的子类型test (Integer <: Comparable<? super T>中T是一个推断的类型变量。）

将在6369605
之后修复

在WinXP上以1.6.0_13发布给我。好吧，我只是坚持使用Eclipse：）

Answer 2

您可以通过明确指定泛型类来解决这个问题：

Comparator<String> namesComp = Stack.<String>nullComparableComparator();

Answer 3

我遇到了类似的问题，并从jdk1.6.0_16升级到jdk1.6.0_23，它没有任何代码更改就消失了。

泛型在Eclipse中编译和运行，但不能在javac中编译

3 个答案: