Java泛型错误:来自命令行编译器的不可转换类型

杰夫·阿克塞尔罗德(Jeff Axelrod):

我有一些Guice绑定代码使用泛型,这些泛型可以从Eclipse的编译器而不是从Java(命令行)编译器进行编译和运行。我已升级到最新的(1.7.0_01)Java SDK,但仍然收到以下错误。

[error] ...\BindCategorySelectorActivity.java:42: error: inconvertible types
[error]                                 (Class<? extends ListAdapterDataProvider<Row<? extends DatabaseItem>>>) CategoryDataProvider.class);
[error]                                                                                                                             ^
[error]   required: Class<? extends ListAdapterDataProvider<Row<? extends DatabaseItem>>>
[error]   found:    Class<CategoryDataProvider>
[error] 1 error
[error] {file:/.../compile:compile: javac returned nonzero exit code

相关代码:

public interface Category extends DatabaseItem {}
public class CategoryDataProvider implements 
 ListAdapterDataProvider<Row<Category>> {}
public class BindListViewHandlerWithSpecificProvider extends AbstractModule {
    public BindListViewHandlerWithSpecificProvider(
     Class<? extends ListAdapterDataProvider<Row<? extends DatabaseItem>>>
      dataProviderClass) {}
}

@SuppressWarnings("unchecked")
// Error happens here:
final BindListViewHandlerWithSpecificProvider 
 bindListViewHandlerWithSpecificProvider = 
  new BindListViewHandlerWithSpecificProvider(
   (Class<? extends ListAdapterDataProvider<Row<? extends DatabaseItem>>>)
    CategoryDataProvider.class);
本舒尔茨:

帮自己一个忙,先进行向上转换,然后进行向下转换:

Class<...> foo = (Class<...>)(Object)MyClass.class;

问题是CDP.class类型为Class<CDP>CDP是原始类型。尽管参数化类型C<T1,...,Tn>是原始类型的子类型C(第4.10.2节),但反之则不成立:C不是的子类型C<T1,...,Tn>由于未经检查的转换(第5.1.9节),因此这似乎是正确的。这导致了您的问题:您希望CDP“扩展”(如的上限Class<? extends ...>LADP<Row<? extends DI>>并非如此,因为类型参数包含(§4.5.1.1)是在子类型上定义的,并且不考虑未经检查的转换。

(或者顺理成章:javac正确地做到了这一点。)

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章