当一个类有多个基类的时候,通过所有直接基类同时进行名字查找。多重继承的派生类有可能从两个或多个基类继承同名成员,对该成员如果不加限定的话,这样使用就是二义性的。即使两个继承的函数有不同的形参表也会产生错误,类似的,即使函数在一个类中是私有的而在另一个类中是公用的或受保护的,也同样是错误的。名字查找总是以两个步骤发生:首先编译器找到一个匹配的声明(若找到两个以致多个声明,就会产生二义性),然后,编译器才确定所找到的声明是否合法。
#include<iostream>
#include<string>
#include<vector>
using namespace std;
struct Base1
{
void print(int) const{
cout<<"Base1"<<endl;
}
protected:
int ival;
double dval;
char cval;
private:
int *id;
};
struct Base2
{
void print(double )const{
cout<<"Base2"<<endl;
}
protected:
double fval;
private:
double dval;
};
struct Derived:public Base1
{
void print(std::string) const{
cout<<"Derived"<<endl;
}
protected:
std::string sval;
double dval;
};
struct MI:public Derived,public Base2
{
void print(std::vector<double>)
{
cout<<"MI"<<endl;
}
void f()
{
dval=3.1;//导致二义性,就是因为分不清到底是Derived里头的dval还是Base1的dval
}
protected:
int *ival;
std::vector<double>dvec;
};
int main(int argc, char *argv[])
{
MI mi;
mi.print(42);//同样是二义性,得写成mi.Base1::print(42)
return 0;
}