java - Eclipse Java编译器和OpenJDK编译器(Java 8)之间的类型推断差异

我正在做一些元编程，在其中解析JAXB bean，尤其是XmlAdapter注释。我遇到了一种情况，其中Eclipse Oxygen（4.7.2）的编译器完全满足于使用类型推断的某些方法，但是OpenJDK编译器（javac 1.8.0_131）使它们窒息。

我已将主体结构提取到此MWE中：

import java.time.LocalDate;

import javax.xml.bind.annotation.adapters.XmlAdapter;

public class Main<BoundType>
{
   public void parse( Class<? extends XmlAdapter<?, BoundType>> adapterClass ) throws Exception
   {
      process( adapterClass );
   }

   private <ValueType> void process( Class<? extends XmlAdapter<ValueType, BoundType>> adapterClass ) throws Exception
   {
      // Do something with adapterClass ...
   }

   private static final class SomeAdapter extends XmlAdapter<String, LocalDate>
   {
      @Override
      public LocalDate unmarshal( String v ) throws Exception
      {
         return v == null ? null : LocalDate.parse( v );
      }

      @Override
      public String marshal( LocalDate v ) throws Exception
      {
         return v == null ? null : v.toString();
      }
   }

   public static void main( String[] args ) throws Exception
   {
      Main<LocalDate> main = new Main<>();

      main.parse( SomeAdapter.class );
   }
}

OpenJDK编译器会产生此错误：

/[...]/WildcardProblem/src/Main.java:21: error: method process in class Main<BoundType> cannot be applied to given types;
      process( adapterClass );
      ^
  required: Class<? extends XmlAdapter<ValueType,BoundType>>
  found: Class<CAP#1>
  reason: cannot infer type-variable(s) ValueType
    (argument mismatch; Class<CAP#1> cannot be converted to Class<? extends XmlAdapter<ValueType,BoundType>>)
  where ValueType,BoundType are type-variables:
    ValueType extends Object declared in method <ValueType>process(Class<? extends XmlAdapter<ValueType,BoundType>>)
    BoundType extends Object declared in class Main
  where CAP#1 is a fresh type-variable:
    CAP#1 extends XmlAdapter<?,BoundType> from capture of ? extends XmlAdapter<?,BoundType>

我可以通过修改方法process来解决编译器错误：

   private <ValueType> void process( Class<? extends XmlAdapter<?, BoundType>> adapterClass ) throws Exception
   {
      @SuppressWarnings( "unchecked" )
      Class<? extends XmlAdapter<ValueType, BoundType>> capturedAdapterClass = (Class<? extends XmlAdapter<ValueType, BoundType>>) adapterClass;

      // Do something with adapterClass ...
   }

但是，当然，未经检查的演员阵容很难看。我相信这应该是安全的，因为在这里任意引入类型参数ValueType只是为了捕获通配符。我只需要在处理中进一步实例化XmlAdapter并在其上调用unmarshal即可。在运行时，不会发生任何异常。

因此，我的问题是，首先是应该编译原始代码，其次，这是Eclipse编译器还是OpenJDK编译器错误？

最佳答案

不是错误。您在这里使用嵌套泛型。

Class<? extends XmlAdapter<?, BoundType>>与Class<? extends XmlAdapter<ValueType, BoundType>>不同。

您必须将方法签名更改为：

public <ValueType> void parse( Class<? extends XmlAdapter<ValueType, BoundType>> adapterClass )

或像以前一样进行投射



比较简单的例子：

public void parse2(List<? extends Optional<?>> optionals) {
    process2(optionals); // compilation error
}

public <T> void process2(List<? extends Optional<T>> optionals) {

}