构造函数的调用之所以不设返回值,是因为构造函数的特殊性决定的。从基本语义角度来讲,构造函数返回的应当是所构造的对象。否则,我们将无法使用临时对象:
::如果C的构造函数可以有返回值,比如int;
int C( ):x_( 0)
{
return 1; // 1表示成功,0表示失败!
}
当 C c= C( );此时c.x_ ==1
很明显,c()调用了C的无参构造函数。该构造函数返回值int值1。恰好C有一个带参数构造函数C(int i)。于是,混乱来了。按照C++的规定,C c=C(){};是用默认构造函数创建一个临时对象,并用这个临时对象初始化c。此时,c.x_的值应该是0。但是,如果C::C()有返回值,并且返回了1,则C++会用1去初始化c,即调用但参数结构函数C::C(int i)。得到的c.x_便会是1。于是,语义产生了歧义。是的C++原本已经非常复杂的语法,进一步混乱不堪。