草庐IT

java - 用像 Collection<?> 这样的通配符替换像 Collection 这样的原始类型是否向后兼容？

coder 2023-09-01 原文

我是某个开源库的作者。其中一个公共(public)接口(interface)具有使用原始类型的方法，如 Collection ，例如:

public StringBuilder append(..., Collection value);

我得到 Collection is a raw type. References to generic type Collection<E> should be parameterized警告。

我正在考虑修复这些警告。实现实际上并不关心集合中元素的类型。所以我在考虑更换 Collection<?> .

但是，这些方法是我的库的公共(public)接口(interface)的一部分。客户端代码可以调用这些方法或提供这些公共(public)接口(interface)的自己实现，从而实现这些方法。恐怕改变Collection至 Collection<?>将破坏客户端代码。所以这是我的问题。

如果我改变 Collection -> Collection<?>在我的公共(public)界面中，这可能会导致:

  • 客户端代码中的编译错误？
  • 已编译的现有客户端代码中存在运行时错误？

最佳答案

进行这种替换在运行时是不安全的。

也许我应该更准确地说，这种改变本身是安全的；但它鼓励的后续更改可能会导致失败。

Collection之间的区别和一个 Collection<?>是你可以向前者添加任何内容，而你不能向后者添加除字面 null 之外的任何内容。

因此，当前重写您的方法的人可能会做类似的事情:

@Override
public StringBuilder append(Collection value) {
  value.add(Integer.valueOf(1));
  return new StringBuilder();
}

(我不知道该方法的目的是什么；这是一个病态的例子。它看起来确实像是他们不应该做的事情，但这与他们不一样< em="">不这样做)。

现在，假设这个方法是这样调用的:

ArrayList c = new ArrayList();
thing.append(c);
c.get(0).toString();

(同样，我不知道它是如何真正使用的。请耐心等待)

如果您将方法签名更改为 append Collection<?>在父类(super class)中，也许令人惊讶 (*)，您也不需要将子类更新为通用的:append上面的方法将继续编译。

看到基类中参数的新泛型类型，您可能会认为现在可以使此调用代码成为非原始的:

ArrayList<Double> c = new ArrayList<>();
thing.append(c);
c.get(0).toString();

现在，这里的问题是如何评估最后一行:那里有一个隐式转换。它实际上会被评估为:

Double d = (Double) c.get(0);
d.toString();

尽管事实上您可以调用 toString()在 Object 上: 还有一个checkcast由编译器插入，以删除列表元素类型。这会在运行时失败，因为列表中的最后一项是整数，而不是 Double。 .

关键是没有为原始类型的版本插入强制转换。这将被评估为:

Object d = (Object) c.get(0);
d.toString();

这不会在运行时失败，因为任何东西都可以转换为对象(事实上，根本不会有转换；我只是为了对称而插入它)。

这并不是说在参数 Collection<?> 之前不存在这样的调用代码: 它当然可以，而且它在运行时已经失败了。但我要强调的一点是，使此方法参数泛化可能会给人一种错误的印象，即将现有的原始调用代码转换为使用泛型是安全的，而这样做会导致失败。

所以...除非您可以保证在子类中没有这样的插入，或者您已明确记录不应在第三种方法中修改该集合，否则这种更改是不安全的。

(*) 这是由 JLS Sec 8.4.2 中的覆盖等效定义引起的。 ，其中明确考虑了删除。

关于java - 用像 Collection<?> 这样的通配符替换像 Collection 这样的原始类型是否向后兼容？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/50658103/

Collectionampcodesectionjavagenerics

有关java - 用像 Collection<?> 这样的通配符替换像 Collection 这样的原始类型是否向后兼容？的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. 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代码修改为

  3. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

    在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

  4. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

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

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

  7. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  8. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  9. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  10. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如，今天的日期为07-09-2015)，我想看看是不是在过去的七天内。谁能推荐一种方法？ 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/32438063/

随机推荐