假设我们有以下玩具界面:
interface Speakable
{
public abstract void Speak();
}
interface Flyer
{
public abstract void Fly();
}
我们有一个实现两个接口的类:
class Duck implements Speakable, Flyer
{
public void Speak()
{
System.out.println("quack quack don't eat me I taste bad.");
}
public void Fly()
{
System.out.println("I am flying");
}
}
此时我看到了在Duck
上调用方法的不同方法,我无法确定哪种方法是最佳做法。
请考虑以下情况:
public class Lab
{
private static void DangerousSpeakAndFly(Object x)
{
Speakable temp = (Speakable) x;
temp.Speak();
Flyer temp2= (Flyer) x;
temp2.Fly();
}
public static void main(String[] args)
{
Duck daffy= new Duck();
DangerousSpeakAndFly(daffy);
}
}
这个程序将按预期运行,因为传递给函数的对象恰好可以转换为Flyer
和Speakable
,但是当我看到这样的代码时我感到畏缩,因为它不允许编译时间类型检查,由于紧密耦合,它可能会抛出意外的异常,例如当一个不同类型的对象(不能转换为任何一个或一个接口)作为参数传入,或者Duck
的实现更改为行时所以它不再实现Flyer
。
我看到Java代码一直都是这样编写的,有时候是在教科书中(例如,#34;第一个设计模式" O' Reilly),所以必须有一个优点我失踪了。
如果我要编写类似的代码,我会尽量避免向下转换为无法保证的类型或接口。例如,在这种情况下,我会做这样的事情:
interface SpeakingFlyer extends Flyer, Speakable
{
}
class BuzzLightyear implements SpeakingFlyer
{
public void Speak()
{
System.out.println("My name is Buzz");
}
public void Fly()
{
System.out.println("To infinity and beyond!");
}
}
这将允许我这样做:
private static void SafeSpeakAndFly(SpeakingFlyer x)
{
x.Speak();
x.Fly();
}
public static void main(String[] args)
{
BuzzLightyear bly= new BuzzLightyear();
SafeSpeakAndFly(bly);
}
这是不必要的矫枉过正吗?这样做有什么陷阱?
我觉得这个设计将SafeSpeakAndFly()
函数与其参数解耦,并且由于编译时间类型检查而阻止了令人讨厌的错误。
为什么第一种方法在实践中如此广泛地使用而后者不是?
答案 0 :(得分:11)
我看到Java代码一直都是这样编写的,有时候是在教科书中(例如O'Reilly的“Head First Design Patterns”第300页)所以我必须有一个我缺失的优点。
这本书最初发表于2004年,我认为Java当时并不支持Generics。因此,不安全的铸造是当时非常常用的。可能,如果我在Java中没有参数多态的支持,我首先要检查参数是否是我想要将其转换为的类型的实例,然后进行实际的转换:
private static void dangerousSpeakAndFly(Object x) {
if (x instanceof Speakable) {
Speakable temp = (Speakable) x;
temp.Speak();
}
if (x instanceof Flyer) {
Flyer temp2= (Flyer) x;
temp2.Fly();
}
}
但是,有了泛型,我们可以这样做:
private static <T extends Speakable & Flyer> void reallySafeSpeakAndFly(T x) {
x.Speak();
x.Fly();
}
在这里,编译器可以确保我们没有传递一些没有实现Speakable
和Flyer
的东西,并且可以在编译时检测到这种苛刻的尝试。
为什么第一种方法在实践中如此广泛使用而后者不是?
我想,你可能已经看过很多遗留代码了。 :)
答案 1 :(得分:7)
您可以强制参数同时Speakable
和Flyer
使方法与类型交集一致:
private <T extends Speakable & Flyer> static void DangerousSpeakAndFly(T x) {
// use any of `Speakable` or `Flyer` methods of `x`
}
因此您不需要投射也不需要创建其他界面。