在 https://www.v2ex.com/t/858692 里讨论了 "? super T 和 ? extends T" 的问题。我现在有一个疑惑,在设计接口的时候,应该如何正确使用泛型通配符。
借用引用该回答里的定义,有 3 个类:A1 、A2 、A3 ,A2 继承 A1 ,A3 继承 A2 ,那么有:A1>A2>A3 。如果想设计一个工具方法,接收所有继承自 A1 的元素,以及一个对元素操作的方法。理论上可以这个写:
interface Util {
void process(List<? extends A1> list, Function<? extends A1, Boolean> function);
}
但是实际上使用的时候,下面代码会报错:
Util util = (l, f) -> {
l.forEach(e -> {
f.apply(e); // 这里会报错
});
};
在报错的地方,IDE 提示如下:
Required type:
capture of ? extends A1
Provided:
capture of ? extends A1
这里该如何理解呢?
这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.