相关疑难解决方法(0)

给出以下示例(使用带有Hamcrest匹配器的JUnit):

Map<String, Class<? extends Serializable>> expected = null;
Map<String, Class<java.util.Date>> result = null;
assertThat(result, is(expected));  

这不能使用JUnit assertThat方法签名编译:

public static <T> void assertThat(T actual, Matcher<T> matcher)

编译器错误消息是:

Error:Error:line (102)cannot find symbol method
assertThat(java.util.Map<java.lang.String,java.lang.Class<java.util.Date>>,
org.hamcrest.Matcher<java.util.Map<java.lang.String,java.lang.Class
    <? extends java.io.Serializable>>>)

但是,如果我将assertThat方法签名更改为:

public static <T> void assertThat(T result, Matcher<? extends T> matcher)

然后编译工作.

所以有三个问题:

1. 为什么当前版本没有编译？虽然我模糊地理解这里的协方差问题,但如果必须的话,我当然无法解释它.
2. 将assertThat方法更改为Matcher<? extends T>？是否有任何缺点？如果你这样做,还有其他案例会破裂吗？
3. assertThat在JUnit 中对方法进行泛化是否有任何意义？该Matcher级似乎并不需要它,因为JUnit的调用matches方法,它不与任何普通类型的,只是看起来像一个企图迫使一个类型安全这并不做任何事情,因为Matcher实际上只会不匹配,无论如何测试都会失败.不涉及不安全的操作(或似乎如此).

供参考,以下是JUnit的实现assertThat:

public static <T> void assertThat(T actual, Matcher<T> matcher) {
    assertThat("", …

大多数关于通配符的问题都想知道为什么编译器会拒绝一些合理的东西。我的问题是相反的。为什么下面的程序会被编译器接受？

void test(List<? extends Number> g1, List<? extends Number> g2)
{
    g1 = g2;
}

我试图从 Java 语言规范中解释这一点，但我还没有找到答案。我从 Java 泛型和通配符的各种描述中得到的印象是，通配符的每次使用都被捕获为一种全新的类型，但显然不是在这里。我没有发现允许此分配后出现任何令人讨厌的行为，但它似乎仍然是“错误的”。

发现了有关使我烦恼的无限制通配符的事实。例如：

public class Test {

      private static final Map<Integer, Map<Integer, String>> someMap = new HashMap<>();

      public static void main(String[] args) {
         getSomeMap();
      }

      static Map<?, Map<?, ?>> getSomeMap() {
         return someMap;  //compilation fails
      }
}

尽管可以使用Map<?, ?>或Map<?, Map<Integer, String>>返回类型，但失败。

有人可以告诉我确切原因吗？提前致谢。

更新资料

我认为，对于此问题，我似乎理解并最简单的解释（忽略所有这些复杂的规则）是Capture Conversion（link）中的最后一个注释：Capture conversion is not applied recursively.