同名成员
子类中是否可以定义与父类同名的变量?如果可以的话该怎么区分?
可不可以试试就知道了。
class Parent
{
public:
int mi;
};
class Child : public Parent
{
public:
int mi;
};
我们发现编译器是能通过编译的,说明
父类与子类中可以定义同名变量。如果定义了一个子类对象c,那么c.mi = 100;语句
是会修改父类的成员变量还是会修改子类的成员变量?
答案是会修改子类成员变量的值,子类中的成员将隐藏父类中的成员,仅仅是隐藏,父类的同名成员依然会存在于子类中,只是调用方式时需要使用作用域分辨符(::),比如c.Parent::mi = 20;这种叫做同名覆盖。
我们在父类和子类中各自添加一个构造函数:
Parent()
{
cout << "Parent() : " << "&mi = " << &mi << endl;
}
Child()
{
cout << "Child() : " << "&mi = " << &mi << endl;
}
什么意思呢?就是看看使用不同的调用方式来区别下子类与父类中的同名变量,我们通过打印各自同名变量的地址用于区别。
在main中调用下面这段程序:
Child c;
c.mi = 100;
c.Parent::mi = 1000;
cout << "&c.mi = " << &c.mi << endl;
cout << "c.mi = " << c.mi << endl;
cout << "&c.Parent::mi = " << &c.Parent::mi << endl;
cout << "c.Parent::mi = " << c.Parent::mi << endl;
main中使用了两种调用方式,一种通过子类对象默认调用变量mi,另一种通过作用域分辨符来调用类对象中的mi变量。
程序执行流程是首先是调用构造函数来创建一个子类对象,其中先调用父类构造函数,再调用子类构造函数,然后通过两种方式对mi变量赋值,最后打印两种调用方式的成员变量值和地址。先让我们看看输出结果会是什么:
Parent() : &mi = 0x68fee8
Child() : &mi = 0x68feec
&c.mi = 0x68feec
c.mi = 100
&c.Parent::mi = 0x68fee8
c.Parent::mi = 1000
看见了吗,使用默认调用方式打印出来的值是100,其地址和子类构造函数中打印的成员变量地址相同,使用作用域分辨符的调用mi变量值为1000,其地址和父类构造函数中打印的成员变量地址相同,说明了通过默认调用方式操作的是子类的同名成员变量,它会将父类中的同名成员变量覆盖掉,除非使用作用域分辨符才能操作。
为什么允许同名成员变量存在呢?我们知道一个变量只能在它自己的作用域中使用,所以允许同名变量的本质其实就是它们不在同一个作用域内。
同名函数
说起同名函数我们知道函数重载,函数重载的本质为多个不同的函数,函数名和参数列表是唯一的标识,并且它们只能在同一个作用域中发生。
思考一个问题,子类中定义的函数是否能重载父类中的同名函数?
创建两个类,父类和子类,我们在父类中对一个函数进行重载。
class Parent
{
public:
int mi;
void add(int v)
{
mi += v;
}
void add(int a, int b)
{
mi += (a + b);
}
};
class Child : public Parent
{
public:
int mi;
};
创建一个Child对象c,
调用c.add(1);和c.add(2,3);能够通过编译吗?当然可以,既然是继承关系,那么Child类就继承了Parent类中的所有代码,所以就是调用的是父类的成员函数,但是累加的也是父类的成员变量mi中,因为父类的成员函数是不可能知道后面还会出现mi这个变量的。
接下来,我们在子类中对add进行重载:
void add(int x, int y, int z)
{
mi += (x + y + z);
}
那么我们在原先的基础上再调用c.add(4,5,6);试试:
猜猜能行不?
答案是编译出错,说无法匹配Child :: add(int)和Child :: add(int,int)两个函数,因为子类中的同名函数也会覆盖父类中的同名函数,导致无法调用父类中的同名成员函数。所以这不叫函数函数重载,因为函数重载只能发生在同一个作用域中,而是叫函数同名覆盖。当然,通过作用域分辨符就能调用父类中的同名函数。
总结;
子类中可以定义与父类中同名的成员变量
子类中的成员将隐藏父类中的同名成员变量
子类中的函数将隐藏父类中的同名函数
由于作用域不同,所以子类不能重载父类中的成员函数
使用作用域分辨符可以访问父类的同名成员函数
子类中可以定义与父类中完全相同的成员函数