Java定义超类的协变返回
发布于2022-01-17 21:16 阅读(1116) 评论(0) 点赞(3) 收藏(2)
我有以下抽象类：
public abstract class AbstractSharpCollection<T> implements SharpCollection<T>
和一个界面
public interface SharpCollection<T> extends Iterable<T>
{
SharpCollection<T> tail();
}
SharpCollection 中定义了许多其他方法，它们返回另一个 SharpCollection。所有这些方法的逻辑只依赖于迭代器。
我希望能够在 AbstractSharpCollection 上创建一个方法，这样对 tail() 的调用将返回子类的实例，而不是超类。
就像是
public <V extends SharpCollection<T>> V tail() { //code logic here }
我知道我可以在扩展 AbstractSharpCollection 的子类上重写返回类型，但是必须重写所有方法只是为了更改返回类型真的很丑陋、麻烦并且容易出错。
有什么办法可以实现我想要的吗？
谢谢您的帮助。
解决方案
实施tail将是相当困难的。null是唯一有效的返回值。
看来您需要参数化，SharpCollection以便它“知道”正在使用的实际接口类型：
public interface SharpCollection<
THIS extends SharpCollection<THIS, T>,
T
> extends Iterable<T> {
THIS tail();
}
不幸的是，这也使客户端代码复杂化。
所属网站分类: 技术文章 > 问答
作者：黑洞官方问答小能手
链接：http://www.javaheidong.com/blog/article/376106/085d39de3fa287784c3a/
来源：java黑洞网
任何形式的转载都请注明出处,如有侵权 一经发现 必将追究其法律责任
昵称:
评论内容：(最多支持255个字符)
---无人问津也好，技不如人也罢，你都要试着安静下来，去做自己该做的事，而不是让内心的烦躁、焦虑，坏掉你本来就不多的热情和定力