【C++】面向对象编程的三大特性：深入解析继承机制（一）https://developer.aliyun.com/article/1617388
2.7 继承中作用域
2.7.1 继承体系相关知识
- 在继承体系中基类和派生类都有独立的作用域
- 子类和父类中有同名成员，子类成员将屏蔽父类对同名成员的访问，这种情况叫隐藏(重定义)-在子类成员函数中，可以使用 基类::基类成员 显式访问
- 需要注意的是如果是成员函数的隐藏，只需要函数名相同就构造隐藏
- 注意在实际中在继承体系里面最好不要定义同名的成员，很容易混洗
2.7.2 继承体系的隐藏
提起作用域，就会想到域起到名字隔离的作用，不同的域可以有同样的名字，但是同一个域不能有同一个名字(函数重载比较特殊，但是变量不可以)
- 全局/局部变量 - 影响生命周期
- 类/命名空间域 -不影响生命周期
2.7.2.1 成员变量隐藏
class Person { public: private: string _name = "xiaoming"; }; class Student : public Person { public: void Print() { cout << _name << endl; } private: string _name = "zhangsan"; }; int main() { Student st; st.Print();//张三 return 0; }
具体说明:
- 关于上述代码，Student继承Person，导致Student中有两个_name。由于继承不是将父类数据拷贝一份给子类，实际上Student只有一个 _name还有一个是父类的。
- 这里父类和子类 _name构成隐藏关系，虽然代码可以跑，但是容易混洗，在继承体系中尽量不要定义同名的成员。
- 这里会默认优先访问子类的 _name，如果想要访问父类中该成员，可以使用指定类域限定符。如果子类中没有该成员，将会去父类中查找
2.7.2.2 成员函数隐藏
class A { public: void fun() { cout << "func()" << endl; } }; class B : public A { public: void fun(int i) { A::fun(); cout << "func(int i)->" <<i<<endl; } }; void Test() { B b; b.fun(10); };
这里这段代码说明一件事， B中的fun和A中的fun不是构成重载，因为不是在同一作用域。B中的fun和A中的fun构成隐藏，成员函数满足函数名相同就构成隐藏。
2.8 派生类的默认成员函数
2.8.1 默认构造函数
按照继承体系，子类中成员可以分为三类:子类内置类型成员、子类自定义类型成员以及父类成员，父类成员可以看出一个自定义类型的整体，这三类成员都会走初始化列表。
//父类 Person(const char* name = "peter") :_name(name) { cout << "Person()" << endl; } //子类 Student(const char* name, int num) :Person(name) ,_num(num) { cout << "Student(int num)" << endl; }
具体说明：
在初始化步骤中，内置类型不进行处理，自定义类型会调用构造构造，父类也会调用自身的拷贝构造。
需要注意:
初始化列表中是否显式初始化父类成员，不影响父类成员走初始化列表，这里父类成员将调用复用自身的构造函数，需要考虑自身参数匹配的问题。这边建议父类类中显式写个全缺省构造函数，类的调用父类构造函数初始化，自己初始化自己的变量，也可以避免参数对应不上，父类尽量都走初始化列表。
容易错误的地方:
- 不能单独对父类成员进行初始化，而是对父类这个整体，参数需要对应上。
- 在创建
Student对象时，首先使用name参数来构造Person部分的对象。这个过程并不会产生匿名对象，而是直接在Student对象中嵌入的Person部分。
2.8.2 拷贝构造
具体说明:
- 切割/切片是赋值兼容，编译器进行特殊处理，不产生临时对象将子拷贝给父。内置类型值拷贝，自定义类型调用拷贝构造，父类复用父类的拷贝构造
2.8.3 赋值运算符重载
//父类 Person& operator=(const Person& p) { cout << "Person& operator=(const Person& p)" << endl; if (&p != this) _name = p._name; return *this; } //子类 Student& operator= (const Student& s) { cout << "Student& operator= (const Student& s)" << endl; if (this != &s) { Person::operator=(s); _num = s._num; } return *this; }
具体说明：
- 子类和父类中有同名成员，子类成员将屏蔽父类对同名成员的直接访问，隐藏。对此这里按照父类复用父类的赋值运算符重载的话，需要使用指定类域限定符直接到父类中调用
2.8.4 析构函数(有坑)
//父类 ~Person() { cout << "~Person()" << endl; } //子类 ~Student() { Person::~Person(); cout << _name << endl; cout << "~Student()" << endl; }
坑点:
- 问题一
- 子类析构里面如果显式写父类的析构就有问题，按照规定构造是先父后子，析构是先子后父，为了析构顺序是先子后父，子类析构函数结束后会自动调用父类析构，如果出现在子类析构中显式调用父类析构，无法保证先子后父的规定。
- 问题二:
- 同时如果显式调用父类析构，那么父类对象的内存空间已经被释放，此时再去访问父类成员将会导致未定义的醒为或者程序崩溃。并且在调用完子类的析构会自动调用再次调用父类的析构，这种行为是未定义的，可能会导致内存泄漏或者程序崩溃。
子类的析构也会隐藏父类，根据多态的需要，析构函数名字会被统一处理成destructor
2.8.5 小结
- 派生类的构造函数必须调用基类的构造函数(复用)初始化基类的那一部分成员，如果基类没有默认的构造函数，那么必须在派生类构造函数的初始化列表显式调用
- 派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化
- 派生类的operator=必须调用基类的operator=完成基类的复制
- ↑↑↑以上都是说子类继承父类的那一部分，需要父类调用复用自己默认函数
- 派生类的析构函数会在调用完成后完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序
- 派生类对象初始化先调用基类构造再调用派生类构造
- 派生类对象析构清理先调用派生类再调用基类的析构
2.9 继承与友元
友元关系不能继承，也就是说基类友元一般不能访问子类私有和保护成员
class Student; class Person { public: friend void Display(const Person& p, const Student& s); protected: string _name; // 姓名 }; class Student : public Person { protected: int _stuNum; // 学号 }; void Display(const Person& p, const Student& s) { cout << p._name << endl; cout << s._stuNum << endl; } void main() { Person p; Student s; Display(p, s); }
父类的友元不一定是子类的友元(父亲的朋友不一定是你的朋友)，意味着友元关系不能继承。如果想要访问子类，可以添加友元。这里编译器是从上到下扫描的，所以需要先声明Student类。
2.8 继承与静态成员
**基类定义了static静态成员，则整个继承体系里面只有一个这样的成员，无论派生多少个子类，都只有一个static成员实例。**对此静态成员属于当前类，也属于基类。
那么利用该特性，子类的构造都需要调用父类的构造，可以统计父类有多少个派生类。
class Person { public : Person () {++ _count ;} protected : string _name ; // 姓名 public : static int _count; // 统计人的个数。 }; int Person :: _count = 0; class Student : public Person { protected : int _stuNum ; // 学号 }; class Graduate : public Student { protected : string _seminarCourse ; // 研究科目 }; void TestPerson() { Student s1 ; Student s2 ; Student s3 ; Graduate s4 ; cout <<" 人数 :"<< Person ::_count << endl; Student ::_count = 0; cout <<" 人数 :"<< Person ::_count << endl; }
【C++】面向对象编程的三大特性：深入解析继承机制（三）https://developer.aliyun.com/article/1617390
