草庐IT

java - 泛型的泛型和更通用的 <?> 赋值

coder 2024-03-12 原文

有时我就是不懂泛型。我经常在代码中使用最通用的集合版本。例如，如果我需要一组任何东西，我会写这样的东西:

Set<?> set1 = new HashSet<Object>();

它是编译器允许的，为什么不应该 - Set<?>和Set<Object>一样一般(或者更通用......)。但是，如果我使用“generics of generics”使其“更通用”是行不通的:

Set<Class<?>> singletonSet = new HashSet<Class<Object>>(); // type mismatch

这是怎么回事？为什么是Set<Object>可分配给 Set<?>和 Set<Class<Object>>不可分配给 Set<Class<?>> ？

我总能找到解决此类问题的方法，但在这种情况下，我真的很想知道为什么不允许这样做并且不是解决方法。

最佳答案

鉴于此:

Set<?> set1 = new HashSet<Great>();

如果您形象化无限通配符的含义，这将起作用，将无限通配符上的开槽类型与 extends 进行比较，所以如果你明确地这样做。

Set<? extends Object> set1 = new HashSet<Great>();

阅读，是Great extending Object吗？是的，这样就可以编译了。

然后给出这个:

Set<Class<Great>> set3 = new HashSet<Class<Great>>();

为什么它有效，如果你提取 Set 和 HashSet 的参数，它们是 Class<Great> , 那两个 Class<Great>是完全相同的类型。

在没有通配符的情况下，直接逐字比较类型。

如果我们编写 set3 使其接受协变类型(这会编译):

Set<? extends Class<Great>> set3a = new HashSet<Class<Great>>();

读取，就是HashSet的Class<Great>与 Set 的 Class<Great> 类型兼容或协变？是的。因此它编译。<​​>

虽然如果它们只是完全相同的类型，当然没有人会写那种变量声明，但这是多余的。编译器使用通配符来确定赋值右侧的泛型具体类或接口(interface)参数是否与左侧泛型的具体/接口(interface)(理想接口(interface)，如下所示)兼容。

List<? extends Set<Great>> b = new ArrayList<HashSet<Great>>();

阅读它，是HashSet<Great>与 Set<Great> 协变？是的。因此它编译

那么让我们回到您的代码场景:

Set<Class<?>> set3 = new HashSet<Class<Object>>();

在这种情况下，同样的规则适用，你从最里面开始读，Object兼容通配符吗？是的。然后你去下一个最外层的类型，它恰好没有通配符。所以在没有通配符的情况下，编译器将在 Class<Object> 之间进行逐字检查。和 Class<?> , 它们不相等，因此会出现编译错误。

如果它在最外层有通配符，那将编译。所以你的意思可能是，编译:

Set<? extends Class<?>> singletonSet = new HashSet<Class<Object>>();

让我们做一个更有启发性的例子，让我们使用接口(interface)(类是具体类型)，比如 Set。这编译:

List<? extends Set<?>> b = new ArrayList<HashSet<Object>>();

所以从里到外阅读它以找出代码编译的原因，并明确地执行它:

  1. 最里面:是 Object兼容 ? Extends Object ？当然是。

  2. 最外层:是 HashSet<Object>兼容 ? extends Set<? extends Object> ？肯定是。

在数字 1 上，是这样的(编译):

Set<? extends Object> hmm = new HashSet<Object>();

在数字 2 上，是这样的(编译):

List<? extends Set<? extends Object>> b = new ArrayList<HashSet<Object>>();

现在让我们尝试删除最外面的通配符，编译器将不会进行类型兼容/协变检查，现在将逐字比较。

所以你现在知道以下问题的答案了，这些可以编译吗？

List<Set<?>> b = new ArrayList<HashSet<Object>>();

// this is same as above:
List<Set<? extends Object>> b = new ArrayList<HashSet<Object>>();

所以你已经猜到了，正确的......不会编译:-)

要更正上述问题，请执行以下任一操作:

List<? extends Set<? extends Object>> b = new ArrayList<HashSet<Object>>();

List<? extends Set<?>> b = new ArrayList<HashSet<Object>>();

然后，要更正您的代码，请执行以下任一操作:

Set<? extends Class<? extends Object>> singletonSet = 
                                       new HashSet<Class<Object>>();

Set<? extends Class<?>> singletonSet = new HashSet<Class<Object>>();

关于java - 泛型的泛型和更通用的 <?> 赋值，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/10752303/

ampjavacodeltgtgenerics

有关java - 泛型的泛型和更通用的 <?> 赋值的更多相关文章

  1. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为

  2. 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/

  3. ruby-on-rails - rspec should have_select ('cars' , :options => ['volvo' , 'saab' ] 不工作 - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion在首页我有:汽车:VolvoSaabMercedesAudistatic_pages_spec.rb中的测试代码:it"shouldhavetherightselect"dovisithome_pathit{shouldhave_select('cars',:options=>['volvo','saab','mercedes','audi'])}end响应是rspec./spec/request

  4. ruby-on-rails - Nokogiri:使用 XPath 搜索 <div> - 2

    我使用Nokogiri(Rubygem)css搜索寻找某些在我的html里面。看起来Nokogiri的css搜索不喜欢正则表达式。我想切换到Nokogiri的xpath搜索，因为这似乎支持搜索字符串中的正则表达式。如何在xpath搜索中实现下面提到的(伪)css搜索？require'rubygems'require'nokogiri'value=Nokogiri::HTML.parse(ABBlaCD3"HTML_END#my_blockisgivenmy_bl="1"#my_eqcorrespondstothisregexmy_eq="\/[0-9]+\/"#FIXMEThefoll

  5. 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

  6. 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)我

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

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

  8. Observability：从零开始创建 Java 微服务并监控它 （二） - 2

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

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

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

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

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

随机推荐