Hamcrest CombinableMatcher - Generic Method无法编译

Question

我刚刚看过hamcrest 1.2中org.hamcrest.core.CombinableMatcher上的'both'和'and'方法

出于某种原因,我无法得到以下内容进行编译

@Test
public void testBoth() {
    String HELLO = "hello";
    String THERE = "there";
    assertThat("hello there", both(containsString(HELLO)).and(containsString(THERE)));
}

我得到的编译信息是

and(org.hamcrest.Matcher<? super java.lang.Object>) in org.hamcrest.core.CombinableMatcher<java.lang.Object> cannot be applied to (org.hamcrest.Matcher<java.lang.String>)

如果我为方法指定了类型参数explicity,它就可以工作

@Test
public void testBoth() {
    String HELLO = "hello";
    String THERE = "there";
    Assert.assertThat("hello there", CombinableMatcher.<String>
        both(containsString(HELLO)).and(containsString(THERE)));
}

虽然这不是很好.

任何人都可以告诉我为什么编译器无法弄清楚这里的类型？在这种情况下,我无法相信这是预期的行为.

谢谢!

Answer 1

编译器应该推断LHS <: String(§15.12.2.7 (A)然后(B)),当然它可以简单地推导出来LHS = String.JDK 7遵循规范(您可以将源和目标指定为5 javac -source 5 -target).