Java 泛型强制执行兼容的通配符
我有这些课程。
class RedSocket {}
class GreenSocket {}
class RedWire {}
class GreenWire {}
我有一个使用2个泛型类型的类
public class Connection<W, S> {}
其中 W 是 Wire type,S 是 Socket type。
我正在尝试强制执行编译时检查,以确保套接字和电线具有相同的颜色。
我尝试这样做:
public class Connection<W extends Wire & Color, S extends Socket & Color> {}
interface Color {}
interface Red extends Color {}
interface Green extends Color {}
interface Socket {}
interface Wire {}
class RedSocket implements Socket, Red {}
class GreenSocket implements Socket, Green {}
class RedWire implements Wire, Red {}
class GreenWire implements Wire, Green {}
但这并不能真正确保两种泛型类型的使用是相同的,并且仍然允许我这样做:Color
public class Connection<W extends Wire & Color, S extends Socket & Color> {
public static void main(String[] args) {
new Connection<RedWire, GreenSocket>();
new Connection<GreenWire, RedSocket>();
}
}
(为什么会发生这种情况,Radiodef在这里已经很好地解释了)
如何强制执行编译时检查以确保套接字和电线具有相同的颜色?