草庐IT

带有通配符的 Java 泛型在 Eclipse 中编译,但在 javac 中不编译

coder 2024-03-04 原文

作为 Java generics compile in Eclipse, but not in javac 的跟进,我发布了另一个片段,它在 Eclipse 中编译和运行良好,但在 javac 中引发编译错误。 (这可以防止从中提取代码片段的项目使用 Maven 构建。)

独立的片段:

import java.util.ArrayList;
import java.util.Collection;
import java.util.HashSet;
import java.util.List;
import java.util.Set;


public class Main {
  public static void main(String[] args) {
    Set<Foo<?>> setOfFoos = new HashSet<Foo<?>>();
    List<Foo<?>> sortedListOfFoos = asSortedList(setOfFoos);
  }


  public static <T extends Comparable<T>> List<T> asSortedList(Collection<T> c) {
    List<T> list = new ArrayList<T>(c);
    java.util.Collections.sort(list);
    return list;
  }


  public static class Foo<T> implements Comparable<Foo<T>> {
    @Override
    public int compareTo(Foo<T> o) {
      return 0;
    }
  }
}

在 javac 中编译返回:

Main.java:11: <T>asSortedList(java.util.Collection<T>) in Main cannot be applied to (java.util.Set<Main.Foo<?>>)
    List<Foo<?>> sortedListOfFoos = asSortedList(setOfFoos);
                                    ^

关于 Foo<?> 的替换与 Foo<String>上面的代码片段将在 javac 中编译,这意味着问题与使用的通配符有关。由于 Eclipse 编译器应该更宽容,代码片段是否可能不是有效的 Java?

(我使用 javac 1.6.0_37 和编译器合规级别为 1.6 的 Eclipse Indigo)

(EDIT1:包含另一个在 EDIT2 中删除的示例。)

EDIT2: irreputable 提示, 比较 Foo<A>Foo<B>可能在概念上是错误的,并受到seh的答案的启发。 , 一个工作 asSortedFooList可以这样写:

public static <T extends Foo<?>> List<T> asSortedFooList(Collection<T> c) {
    List<T> list = new ArrayList<T>(c);
    java.util.Collections.sort(list);
    return list;
}

(在上面的方法定义中用 Comparable<T> 简单替换 Foo<?>。) 因此,对于 javac 和恕我直言,在概念上比较任何 Foo<A> 似乎是安全的。和 Foo<B> .但是还是不能写出泛型方法asSortedList如果其类型参数使用通配符进行参数化,则返回泛型集合的排序列表表示形式。我试图通过替换 Foo<?> 来“欺骗”javac通过 S extends Comparable<S>asSortedFooList ,但这没有用。

EDIT3: 稍后 Rafaelle指出,自从实现Comparable<Foo<T>>以来,设计存在缺陷没有必要,并实现 Comparable<Foo<?>>提供相同的功能,通过改进设计解决最初的问题。

(最初的原因和好处是,一个 Foo<T> 可能在某些目的不关心它的具体类型,但仍然使用一个具体类型的实例 T ,它被实例化为, 用于其他目的。该实例不必用于确定其他 Foo 中的顺序,因为它可能用于 API 的其他部分。

具体示例:假设每个 Foo 都被实例化为 T 的不同类型参数. Foo<T> 的每个实例具有类型为 int 的递增 ID用于执行 compareTo -方法。我们现在可以对这些不同类型的列表进行排序 Foo并且不关心具体类型 T (用 Foo<?> 表示)并且 仍然 有一个具体类型的实例 T可供以后处理。)

最佳答案

对我来说这是另一个 javac漏洞。当您尝试发送 Collection<Foo<?>>到具有签名的方法:

public static <T extends Comparable<T>> List<T> asSortedList(Collection<T> c)

编译器注意到形式参数 T有一个上限,所以检查调用者是否遵守约束。 类型参数 是参数化类型 Foo<T> 的(通配符)实例化, 所以如果 Foo<?> 测试将通过是一个 Comparable<Foo<?>> .基于通用定义:

class Foo<T> implements Comparable<Foo<T>>

我会说这是真的,所以 Eclipse 再次是正确的 javac有一个错误。这Angelika Langer's entry永远没有足够的联系。另见 the relevant JLS .

你问它是否是类型安全的。我的回答是它类型安全,这表明您的设计存在缺陷。考虑您对 Comparable<T> 的虚构实现界面,我在其中添加了两个字段:

public static class Foo<T> implements Comparable<Foo<T>> {

  private T pState;
  private String state;

  @Override
  public int compareTo(Foo<T> other) {
    return 0;
  }
}

你总是返回0 ,所以问题没有被发现。但是当您尝试让它变得有用时,您有两个选择:

  1. 比较字符串字段
  2. 比较 T成员(member)

String字段始终是 String ,所以你并没有真正从类型变量中受益 T .另一方面,T没有其他可用的类型信息,所以在 compareTo()你只能处理一个普通对象,类型参数也是无用的。您可以通过实现 Comparable<Foo<?>> 实现完全相同的功能

关于带有通配符的 Java 泛型在 Eclipse 中编译,但在 javac 中不编译,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13534946/

有关带有通配符的 Java 泛型在 Eclipse 中编译,但在 javac 中不编译的更多相关文章

  1. java - 等价于 Java 中的 Ruby Hash - 2

    我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么? 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设? 关于java-等价于Java中的RubyHash,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/22737685/

  2. ruby-on-rails - s3_direct_upload 在生产服务器中不工作 - 2

    在Rails4.0.2中,我使用s3_direct_upload和aws-sdkgems直接为s3存储桶上传文件。在开发环境中它工作正常,但在生产环境中它会抛出如下错误,ActionView::Template::Error(noimplicitconversionofnilintoString)在View中,create_cv_url,:id=>"s3_uploader",:key=>"cv_uploads/{unique_id}/${filename}",:key_starts_with=>"cv_uploads/",:callback_param=>"cv[direct_uplo

  3. java - 从 JRuby 调用 Java 类的问题 - 2

    我正在尝试使用boilerpipe来自JRuby。我看过guide从JRuby调用Java,并成功地将它与另一个Java包一起使用,但无法弄清楚为什么同样的东西不能用于boilerpipe。我正在尝试基本上从JRuby中执行与此Java等效的操作:URLurl=newURL("http://www.example.com/some-location/index.html");Stringtext=ArticleExtractor.INSTANCE.getText(url);在JRuby中试过这个:require'java'url=java.net.URL.new("http://www

  4. ruby - Sinatra set cache_control to static files in public folder编译错误 - 2

    我不知道为什么,但是当我设置这个设置时它无法编译设置:static_cache_control,[:public,:max_age=>300]这是我得到的syntaxerror,unexpectedtASSOC,expecting']'(SyntaxError)set:static_cache_control,[:public,:max_age=>300]^我只想将“过期”header设置为css、javaascript和图像文件。谢谢。 最佳答案 我猜您使用的是Ruby1.8.7。Sinatra文档中显示的语法似乎是在Ruby1.

  5. java - 我的模型类或其他类中应该有逻辑吗 - 2

    我只想对我一直在思考的这个问题有其他意见,例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我

  6. java - 什么相当于 ruby​​ 的 rack 或 python 的 Java wsgi? - 2

    什么是ruby​​的rack或python的Java的wsgi?还有一个路由库。 最佳答案 来自Python标准PEP333:Bycontrast,althoughJavahasjustasmanywebapplicationframeworksavailable,Java's"servlet"APImakesitpossibleforapplicationswrittenwithanyJavawebapplicationframeworktoruninanywebserverthatsupportstheservletAPI.ht

  7. Observability:从零开始创建 Java 微服务并监控它 (二) - 2

    这篇文章是继上一篇文章“Observability:从零开始创建Java微服务并监控它(一)”的续篇。在上一篇文章中,我们讲述了如何创建一个Javaweb应用,并使用Filebeat来收集应用所生成的日志。在今天的文章中,我来详述如何收集应用的指标,使用APM来监控应用并监督web服务的在线情况。源码可以在地址 https://github.com/liu-xiao-guo/java_observability 进行下载。摄入指标指标被视为可以随时更改的时间点值。当前请求的数量可以改变任何毫秒。你可能有1000个请求的峰值,然后一切都回到一个请求。这也意味着这些指标可能不准确,你还想提取最小/

  8. 【Java 面试合集】HashMap中为什么引入红黑树,而不是AVL树呢 - 2

    HashMap中为什么引入红黑树,而不是AVL树呢1.概述开始学习这个知识点之前我们需要知道,在JDK1.8以及之前,针对HashMap有什么不同。JDK1.7的时候,HashMap的底层实现是数组+链表JDK1.8的时候,HashMap的底层实现是数组+链表+红黑树我们要思考一个问题,为什么要从链表转为红黑树呢。首先先让我们了解下链表有什么不好???2.链表上述的截图其实就是链表的结构,我们来看下链表的增删改查的时间复杂度增:因为链表不是线性结构,所以每次添加的时候,只需要移动一个节点,所以可以理解为复杂度是N(1)删:算法时间复杂度跟增保持一致查:既然是非线性结构,所以查询某一个节点的时候

  9. 【Java入门】使用Java实现文件夹的遍历 - 2

    遍历文件夹我们通常是使用递归进行操作,这种方式比较简单,也比较容易理解。本文为大家介绍另一种不使用递归的方式,由于没有使用递归,只用到了循环和集合,所以效率更高一些!一、使用递归遍历文件夹整体思路1、使用File封装初始目录,2、打印这个目录3、获取这个目录下所有的子文件和子目录的数组。4、遍历这个数组,取出每个File对象4-1、如果File是否是一个文件,打印4-2、否则就是一个目录,递归调用代码实现publicclassSearchFile{publicstaticvoidmain(String[]args){//初始目录Filedir=newFile("d:/Dev");Datebeg

  10. 安卓apk修改(Android反编译apk) - 2

    最近因为项目需要,需要将Android手机系统自带的某个系统软件反编译并更改里面某个资源,并重新打包,签名生成新的自定义的apk,下面我来介绍一下我的实现过程。APK修改,分为以下几步:反编译解包,修改,重打包,修改签名等步骤。安卓apk修改准备工作1.系统配置好JavaJDK环境变量2.需要root权限的手机(针对系统自带apk,其他软件免root)3.Auto-Sign签名工具4.apktool工具安卓apk修改开始反编译本文拿Android系统里面的Settings.apk做demo,具体如何将apk获取出来在此就不过多介绍了,直接进入主题:按键win+R输入cmd,打开命令窗口,并将路

随机推荐