C++多继承中的二义性 (一)

2014-11-24 12:12:47 · 作者: · 浏览: 0

多继承可以看作是单继承的扩展。所谓多继承是指派生类具有多个基类,派生类与每个基类之间的关系仍可看作是一个单继承。

多继承下派生类的定义格式如下:

class <派生类名>:<继承方式1><基类名1>,<继承方式2><基类名2>,…

{

<派生类类体>

};

其中,<继承方式1>,<继承方式2>,…是三种继承方式:public、private、protected之一。例如:

class A

{

};

class B

{

};

class C : public A, public B

{

};

其中,派生类C具有两个基类(类A和类B),因此,类C是多继承的。按照继承的规定,派生类C的成员包含了基类A, B中成员以及该类本身的成员。

多继承的构造函数

在多继承的情况下,派生类的构造函数格式如下:

<派生类名>(<总参数表>):<基类名1>(<参数表1>),<基类名2>(<参数表2>),…

<子对象名>(<参数表n+1>),…

{

<派生类构造函数体>

}

其中,<总参数表>中各个参数包含了其后的各个分参数表。

多继承下派生类的构造函数与单继承下派生类构造函数相似,它必须同时负责该派生类所有基类构造函数的调用。同时,派生类的参数个数必须包含完成所有基类初始化所需的参数个数。

派生类构造函数执行顺序是先执行所属基类的构造函数,再执行派生类本身构造函数,处于同一层次的各基类构造函数的执行顺序取决于定义派生类时所指定的各基类顺序,与派生类构造函数中所定义的成员初始化列表的各项顺序无关。也就是说,执行基类构造函数的顺序取决于定义派生类时基类的顺序。可见,派生类构造函数的成员初始化列表中各项顺序可以任意地排列。

下面通过一个例子来说明派生类构造函数的构成及其执行顺序。

#include

class B1

{

public:

B1(int i)

{

b1 = i;

cout《"构造函数 B1."《i《 endl;

}

void print()

{

cout《"B1.print()"《b1《endl;

}

private:

int b1;

};

class B2

{

public:

B2(int i)

{

b2 = i;

cout《"构造函数 B2."《i《 endl;

}

void print()

{

cout《"B2.print()"《b2《endl;

}

private:

int b2;

};

class B3

{

public:

B3(int i)

{

b3 = i;

cout《"构造函数 B3."《i《endl;

}

int getb3()

{

return b3;

}

private:

int b3;

};

class A : public B2, public B1

{

public:

A(int i, int j, int k, int l):B1(i), B2(j), bb(k)

{

a = l;

cout《"构造函数 A."《a《endl;

}

void print()

{

B1::print();

B2::print();

cout《"A.print()"《a《","《bb.getb3()《endl;

}

private:

int a;

B3 bb;

};

void main()

{

A aa(1, 2, 3, 4);

aa.print();

}

该程序的输出结果为:

构造函数 B2.2

构造函数 B1.1

构造函数 B3.3

构造函数 A.4

B1.print()。1

B2.print()2

A.print()4, 3

在该程序中,作用域运算符::用于解决作用域冲突的问题。在派生类A中的print()函数的定义中,使用了B1::print;和B2::print();语句分别指明调用哪一个类中的print()函数,这种用法应该学会。

二义性问题

一般说来,在派生类中对基类成员的访问应该是唯一的,但是,由于多继承情况下,可能造成对基类中某成员的访问出现了不唯一的情况,则称为对基类成员访问的二义性问题。

实际上,在上例已经出现过这一问题,回忆一下上例中,派生类A的两基类B1和B2中都有一个成员函数print()。如果在派生类中访问 print()函数,到底是哪一个基类的呢?于是出现了二义性。但是在上例中解决了这个问题,其办法是通过作用域运算符::进行了限定。如果不加以限定,则会出现二义性问题。

下面再举一个简单的例子,对二义性问题进行深入讨论。例如:

class A

{

public:

void f();

};

class B

{

public:

void f();

void g();

};

class C : public A, public B

{

public:

void g();

void h();

};

如果定义一个类C的对象c1:

C c1;

则对函数f()的访问

c1.f();

便具有二义性:是访问类A中的f(),还是访问类B中的f()呢?

解决的方法可用前面用过的成员名限定法来消除二义性,例如:

c1.A::f();

或者

c1.B::f();

但是,最好的解决办法是在类C中定义一个同名成员f(),类C中的f()再根据需要来决定调用A::f(),还是B::f(),还是两者皆有,这样,c1.f()将调用C::f()。

同样地,类C中成员函数调用f()也会出现二义性问题。例如:

viod C::h()

{

f();

}

这里有二义性问题,该函数应修改为:

void C::h()

{

A::f();

}

或者

void C::h()

{

B::f();

}

或者

void C::f()

{

A::f();

B::f();

}

另外,在前例中,类B中有一个成员函数g(),类C中也有一个成员函数g()。这时,

c1.g();

不存在二义性,它是指C::g(),而不是指B::g()。因为这两个g()函数,一个出现在基类B,一个出现在派生类C,规定派生类的成员将支配基类中的同名成员。因此,上例中类C中的g()支配类B中的g(),不存在二义性,可选择支配者的那个名字。

当一个派生类从多个基类派生类,而这些基类又有一个共同的基类,则对该基类中说明的成员进行访问时,也可能会出现二义性。例如:

class A

{

public:

int a;

};

class B1 : public A

{

private:

int b1;

};

class B2 : public A