谜题46: 令人混淆的构造器案例
本谜题呈现了两个容易令人混淆的构造器。Main方法调用了一个构造器,但是它调用的究竟是哪一个呢?该程序的输出取决于这个问题的答案。那么它会打印什么呢?甚至它是否合法?
class Confusing
{
Confusing(object o)
{
System.Console.WriteLine("object");
}
Confusing(double[] dArray)
{
System.Console.WriteLine("double array");
}
static void Main()
{
new Confusing(null);
}
}
解惑46: 令人混淆的构造器案例
传递给构造器的参数是一个空的对象引用,因此,初看起来,该程序好像应该调用参数类型为object的重载版本,并且将打印object。另一方面,数组也是引用类型,因此null也可以应用于类型为double[]的重载版本。你由此可能会得出结论:这个调用是模棱两可的,该程序应该不能编译。如果你试着去运行该程序,就会发现这些直观感觉都是不对的:该程序打印的是double array。这种行为可能显得有悖常理,但是有一个很好的理由可以解释它。
Java的重载解析过程是分两阶段运行的。第一阶段选取所有可获得并且可应用的方法或构造器。第二阶段在第一阶段选取的方法或构造器中选取最精确的一个。如果一个方法或构造器可以接受传递给另一个方法或构造器的任何参数,那么我们就说第一个方法比第二个方法缺乏精确性(C#的重载决策请参见[C#语言规范 7.4.2],主要意思也差不多)。
在我们的程序中,两个构造器都是可获得并且可应用的。构造器Confusing(object)可以接受任何传递给Confusing(double[])的参数,因此Confusing(object)相对缺乏精确性。(每一个double数组都是一个object,但是每一个object并不一定是一个double数组。)因此,最精确的构造器就是Confusing(double[]),这也就解释了为什么程序会产生这样的输出。
如果传递的是一个double[]类型的值,那么这种行为是有意义的;但是如果你传递的是null,这种行为就有违直觉了。理解本谜题的关键在于在测试哪一个方法或构造器最精确时,这些测试没有使用实参:即出现在调用中的参数。这些参数只是被用来确定哪一个重载版本是可应用的。一旦编译器确定了哪些重载版本是可获得且可应用的,它就会选择最精确的一个重载版本,而此时使用的仅仅是形参:即出现在声明中的参数。
要想用一个null参数来调用Confusing(object)构造器,你需要这样写代码:new Confusing((object)null)。这可以确保只有Confusing(object)是可应用的。更一般地讲,要想强制要求编译器选择一个精确的重载版本,需要将实参转型为形参所声明的类型。
以这种方式来在多个重载版本中进行选择是相当令人不快的。在你的API中,应该确保不会让客户端走这种极端。理想状态下,你应该避免使用重载:为不同的方法取不同的名称。当然,有时候这无法实现,例如,构造器就没有名称,因而也就无法被赋予不同的名称。然而,你可以通过将构造器设置为私有的并提供公有的静态工厂,以此来缓解这个问题。如果构造器有许多参数,你可以用Builder模式来减少对重载版本的需求量。
如果你确实进行了重载,那么请确保所有的重载版本所接受的参数类型都互不兼容,这样,任何两个重载版本都不会同时是可应用的。如果做不到这一点,那么就请确保所有可应用的重载版本都具有相同的行为。
总之,重载版本的解析可能会产生混淆。应该尽可能地避免重载,如果你必须进行重载,那么你必须遵守上述方针,以最小化这种混淆。如果一个设计糟糕的API强制你在不同的重载版本之间进行选择,那么请将实参转型为你希望调用的重载版本的形参所具有的类型。