我正在通读 AngelikaLangerParametrizedTypeWorkAround .我明白很多 在这里的概念中，我确实理解什么是无界通配符参数化类型。尽管 从引用文献中引用它指出:-

static void test() { 
  Pair<?,?>[] intPairArr = new Pair<?,?>[10] ;  
  addElements(intPairArr);  
  Pair<Integer,Integer> pair = intPairArr[1];  // error -1 
  Integer i = pair.getFirst();  
  pair.setSecond(i); 
} 
static void addElements(Object[] objArr) { 
  objArr[0] = new Pair<Integer,Integer>(0,0); 
  objArr[1] = new Pair<String,String>("","");    // should fail, but succeeds 
} 

In the case of the unbounded wildcard parameterized type we are additionally restricted in how we can use the array elements, because the compiler prevents certain operations on the unbounded wildcard parameterized type. In essence, arrays of raw types and unbounded wildcard parameterized types are semantically very different from what we would express with an array of a concrete wildcard parameterized type. For this reason they are not a good workaround and only acceptable when the superior efficiency of arrays (as compared to collections) is of paramount importance.

我有两个具体问题。

1. 无限通配符参数化类型的实际用法是什么？从示例中可以清楚地看出，您可以向数组添加元素，但在检索时会发出编译器错误？
2. 这篇文章是什么意思，当它声明这些通配符参数化仅在数组的卓越效率至关重要时才可接受？

有人可以详细说明这个问题吗？

最佳答案

首先关于这段代码:

static void addElements(Object[] objArr) { 
  objArr[0] = new Pair<Integer,Integer>(0,0); 
  objArr[1] = new Pair<String,String>("","");    // should fail, but succeeds 
}

这里你传递了一个 Object[] 类型的参数至 addElements方法。因此，编译器将允许您添加任何 Object 类型的内容。 .即使这段代码也会编译:

static void addElements(Object[] objArr) { 
  objArr[0] = new Pair<Integer,Integer>(0,0); 
  objArr[1] = new Pair<String,String>("","");
  objArr[2] = new Date(); // won't be a compilation error here
}

但是你会得到运行时异常，因为泛型类型是编译时检查和运行时转换。

现在你的问题是为什么在泛型中允许原始类型？

允许它与旧 JVM 具有向后兼容性的原因之一，以及接口(interface)开发人员可能不知道在运行时可以提供的所有类型的情况。你的error-1确实需要从原始类型转换为特定类型:

// this should compile
@SuppressWarnings("unchecked")
Pair<Integer, Integer> pair = (Pair<Integer, Integer>) intPairArr[0];  // NO error -1

编辑:

关于通配符困境:

让我们举一个使用无限通配符的非常简单的例子:

Pair<?, ?> intPair = new Pair<Integer, Integer>(4, 9);
Object val2 = intPair.getSecond();
System.out.printf("val2: %d, isInt: %s%n", val2, (val2 instanceof Integer));
intPair.setFirst( null ); // assigning null will be allowed

它将编译并运行并产生预期的输出:

val2: 9, isInt: true

但是这不会编译:

intPair.setSecond((Object) new Integer(10)); // compile error
intPair.setSecond(new Integer(10)); // compile error

在 unbounded wildcard 中参数化类型，例如 Pair<?,?>字段的类型和方法的返回类型将为 unknown即两个字段的类型都是 ? . setter 方法将采用 ? 类型的参数并且 getter 方法将返回 ? .

在这种情况下，编译器不会让您向字段分配任何内容或将任何内容传递给 setter 方法。原因是编译器无法确保我们试图作为 set 方法的参数传递的对象是预期类型，因为预期类型是未知的。

相比之下，可以调用 getter 方法并返回一个未知类型的对象，我们可以将其分配给一个 Object 类型的引用变量。

所以你是对的，在某种程度上它确实限制了它的使用，正如上面的小例子所示，在构造过程中可以分配值，但在你尝试调用 setter 方法时不能。

不过，您可以通过使用具有下限类型的通配符来提高代码的实用性，如下所示:

Pair<? super Object, ? super Object> intPair = new Pair<Object, Object>(4, 9);
Object val2 = intPair.getSecond();
System.out.printf("val2: %s, isInt: %s%n", val2, (val2 instanceof Integer));
intPair.setSecond(10);
val2 = intPair.getSecond();
System.out.printf("val2: %s, isInt: %s%n", val2, (val2 instanceof Integer));

现在这不仅可以编译而且可以运行并得到预期的结果:

val2: 9, isInt: true
val2: 10, isInt: true

关于您的第二个问题:我直接从您的链接文章中引用了段落:

By using arrays of raw types or unbounded wildcard parameterized types we give away the static type checks that a homogenous sequence would come with. As a result we must use explicit casts or we risk unexpected ClassCastException s. In the case of the unbounded wildcard parameterized type we are additionally restricted in how we can use the array elements, because the compiler prevents certain operations on the unbounded wildcard parameterized type. In essence, arrays of raw types and unbounded wildcard parameterized types are semantically very different from what we would express with an array of a concrete wildcard parameterized type. For this reason they are not a good workaround and only acceptable when the superior efficiency of arrays (as compared to collections) is of paramount importance.

作者强调数组中的无限通配符不是一个好的解决方法，因为它的限制和卓越的效率仅在 arrays vs collections 的上下文中.

关于java - 无界通配符参数化类型数组的实际用法是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/18310023/