合成拷贝控制与继承

 #include <iostream>
using namespace std; class Base
{
public:
Base() { cout << "Base contruction" << endl; }
virtual ~Base() { cout << "Base deconstruction" << endl; } }; class Derived : public Base
{
public:
Derived(int i)
{
num = i;
cout << "Derived contruction " << num << endl;
}
virtual ~Derived()
{
cout << "Derived deconstruction" << num << endl;
}
private:
int num;
}; int main()
{
Derived derived(); Base* basePtr;
basePtr = new Derived();
delete basePtr;
}

输出结果:

2. 测试代码:

 #include <iostream>
using namespace std; class Base
{
private:
Base() { cout << "Base contruction" << endl; }
virtual ~Base() { cout << "Base deconstruction" << endl; } }; class Derived : public Base
{
public:
Derived(int i)
{
num = i;
cout << "Derived contruction " << num << endl;
}
virtual ~Derived()
{
cout << "Derived deconstruction" << num << endl;
}
private:
int num;
}; int main()
{
Derived derived(); Base* basePtr;
basePtr = new Derived();
delete basePtr;
}

报告结果:

错误	E0330	"Base::~Base()" (已声明 所在行数:8) 不可访问
错误 C2248 “Base::Base”: 无法访问 private 成员(在“Base”类中声明)
错误 C2248 “Base::~Base”: 无法访问 private 成员(在“Base”类中声明)
错误 C2248 “Base::~Base”: 无法访问 private 成员(在“Base”类中声明)

  

虚析构函数

直接的讲,C++中基类采用virtual虚析构函数是为了防止内存泄漏。具体地说,如果派生类中申请了内存空间,并在其析构函数中对这些内存空间进行释放。假设基类中采用的是非虚析构函数,当删除基类指针指向的派生类对象时就不会触发动态绑定,因而只会调用基类的析构函数,而不会调用派生类的析构函数。那么在这种情况下,派生类中申请的空间就得不到释放从而产生内存泄漏。所以,为了防止这种情况的发生,基类的析构函数应采用virtual虚析构函数。

1.删除一个指向派生类对象的基类指针,而基类析构函数又是非虚的话, 那么就会先调用基类的析构函数(上面第2种情况),派生类的析构函数得不到调用。

 #include<iostream>
using namespace std; class Base {
public:
Base() { cout << "Base Constructor" << endl; }
~Base() { cout << "Base Destructor" << endl; }
};
class Derived : public Base {
public:
Derived() { cout << "Derived Constructor" << endl; }
~Derived() { cout << "Derived Destructor" << endl; }
};
int main() {
Base *p = new Derived();
delete p;
return ;
}

输出结果:

2.如果删除一个指向派生类的基类指针时,应该把析构函数声明为虚函数。 事实上,《Effective C++》中的观点是,只要一个类有可能会被其它类所继承, 就应该声明虚析构函数。

 #include<iostream>
using namespace std; class Base {
public:
Base() { cout << "Base Constructor" << endl; }
virtual ~Base() { cout << "Base Destructor" << endl; }
};
class Derived : public Base {
public:
Derived() { cout << "Derived Constructor" << endl; }
~Derived() { cout << "Derived Destructor" << endl; }
};
int main() {
Base *p = new Derived();
delete p;
return ;
}

输出结果:

 

定义派生类的拷贝或移动构造函数

对派生类进行拷贝构造时,如果想让基类的成员也同时拷贝,就一定要在派生类拷贝构造函数初始化列表中显示调用基类拷贝构造函数(当然在函数体内将基类部分的值拷贝也是可以的,只不过它是先用默认构造函数初始化后再修改的基类成员变量的值,效率比较低),否则它会调用基类的默认构造函数,而不会对基类的成员变量拷贝值,这样生成的对象,它的派生类部分和被拷贝的对象派生类部分一样,而基类部分则是默认构造函数的初始化结果。

1. 测试代码:

 #include <iostream>
using namespace std; class A {
public:
A() { cout << "A default constructor" << endl; }
A(A&) { cout << "A copy constructor" << endl; }
};
class B : public A {
public:
B() { cout << "B default constructor" << endl; }
B(B &b) { cout << "B copy constructor" << endl; }
}; int main()
{
B b;
B c = b;
return ;
}

输出结果:

2. 测试代码:

 #include <iostream>
using namespace std; class A {
public:
A() { cout << "A 默认构造函数" << endl; }
A(A&) { cout << "A 拷贝构造函数" << endl; }
A& operator= (const A& a)
{
cout << "A 拷贝赋值运算符" << endl;
return *this;
}
};
class B : public A {
public:
B() { cout << "B 默认构造函数" << endl; }
B(B &b) : A(b) { cout << "B 拷贝构造函数" << endl; }
B& operator= (const B& b)
{
A::operator=(b);
cout << "B 拷贝赋值运算符" << endl;
return *this;
}
}; int main()
{
B b;
B c = b;
c = b;
return ;
} /*
A 默认构造函数
B 默认构造函数
A 拷贝构造函数
B 拷贝构造函数
A 拷贝赋值运算符
B 拷贝赋值运算符
请按任意键继续.
*/

输出结果:

 #include <iostream>
using namespace std; class A {
public:
A() { cout << "A default constructor" << endl; }
A(A&) { cout << "A copy constructor" << endl; }
};
class B : public A {
public:
B() { cout << "B default constructor" << endl; }
B(B &b): A(b) { cout << "B copy constructor" << endl; }
}; int main()
{
B b;
B c = b;
return ;
}

输出结果:

继承的构造函数

继承中不能继承的三个部分: ①构造函数  ②析构函数  ③赋值运算符重载

子类为完成基类初始化,在C++11之前,需要在初始化列表调用基类的构造函数,从而完成构造函数的传递。如果基类拥有多个构造函数,那么子类也需要实现多个与基类构造函数对应的构造函数。

 class Base
{
public:
Base(int va) : m_value(va), m_c(‘’) {}
Base(char c) : m_c(c), m_value() {}
private:
int m_value;
char m_c;
}; class Derived : public Base
{
public:
//初始化基类需要透传基类的各个构造函数,那么这是很麻烦的
Derived(int va) : Base(va) {}
Derived(char c) : Base(c) {} //假设派生类只是添加了一个普通的函数
void display()
{
//dosomething
}
};

书写多个派生类构造函数只为传递参数完成基类的初始化,这种方式无疑给开发人员带来麻烦,降低了编码效率。从C++11开始,推出了继承构造函数(Inheriting Constructor),使用using来声明继承基类的构造函数,我们可以这样书写。

 

 class Base {
public:
Base(int va) : m_value(va), m_c('') {}
Base(char c) : m_c(c), m_value() {}
private:
int m_value;
char m_c;
}; class Derived : public Base {
public:
//使用继承构造函数
using Base::Base; //假设派生类只是添加了一个普通的函数
void display() { /* dosomething */ }
};

上面代码中,我们通过using Base::Base把基类构造函数继承到派生类中,不再需要书写多个派生类构造函数来完成基类的初始化。更为巧妙的是,C++11标准规定,继承构造函数与类的一些默认函数(默认构造、析构、拷贝构造函数等)一样,是隐式声明,如果一个继承构造函数不被相关代码使用,编译器不会为其产生真正的函数代码。这样比通过派生类构造函数“透传构造函数参数”来完成基类初始化的方案,总是需要定义派生类的各种构造函数更加节省目标代码空间。

注意事项

(2)构造函数拥有默认值会产生多个构造函数版本,且继承构造函数无法继承基类构造函数的默认参数,所以我们在使用有默认参数构造函数的基类时就必须要小心。

class A {
public:
A(int a = , double b = ) : m_a(a), m_b(b) {}
void display() { cout << m_a << " " << m_b << endl; }
} private:
int m_a;
double m_b;
}; class B : public A {
public:
using A::A;
};

那么A中的构造函数会有下面几个版本:

A()
A(int)
A(int,double)
A(constA&)

那么B中对应的继承构造函数将会包含如下几个版本:

B()
B(int)
B(int,double)
B(constB&)

可以看出,参数默认值会导致多个构造函数版本的产生,因此在使用时需格外小心。

(3)多继承的情况下,继承构造函数会出现“冲突”的情况,因为多个基类中的部分构造函数可能导致派生类中的继承构造函数的函数名、参数(即函数签名)相同。考察如下代码:

class A {
public:
A(int i) {}
}; class B
{
public:
B(int i) {}
}; class C : public A, public B {
public:
using A::A;
using B::B; //编译出错,重复定义C(int) //显示定义继承构造函数C(int)
C(int i) :A(i), B(i) {}
};

为避免继承构造函数冲突,可以通过显示定义继承类冲突的构造函数,组织隐式生成相应的继承构造函数。

此外,使用继承构造函数时,还需要注意以下几点:

  1. 如果基类构造函数被申明为私有成员函数,或者派生类是从基类中虚继承的 ,那么就不能在派生类中申明继承构造函数;
  2. 一旦使用继承构造函数,编译器就不会再为派生类生成默认构造函数了。

参考资料

【C++ Primer | 15】构造函数与拷贝控制的更多相关文章

  1. [C++ Primer] : 第13章: 拷贝控制

    拷贝, 赋值与销毁 当定义一个类时, 我们显示地或隐式地指定在此类型的对象拷贝, 移动, 赋值和销毁时做什么. 一个类通过定义5种特殊的成员函数来控制这些操作, 包括: 拷贝构造函数, 拷贝赋值运算符 ...

  2. OOP3(继承中的类作用域/构造函数与拷贝控制/继承与容器)

    当存在继承关系时,派生类的作用域嵌套在其基类的作用域之内.如果一个名字在派生类的作用域内无法正确解析,则编译器将继续在外层的基类作用域中寻找该名字的定义 在编译时进行名字查找: 一个对象.引用或指针的 ...

  3. C++ Primer : 第十三章 : 拷贝控制之对象移动

    右值引用 所谓的右值引用就是必须将引用绑定到右值的引用,我们通过&&来绑定到右值而不是&, 右值引用只能绑定到即将销毁的对象.右值引用也是引用,因此右值引用也只不过是对象的别名 ...

  4. C++ Primer : 第十三章 : 拷贝控制之拷贝控制和资源管理

    定义行为像值的类 行为像值的类,例如标准库容器和std::string这样的类一样,类似这样的类我们可以简单的实现一个这样的类HasPtr. 在实现之前,我们需要: 定义一个拷贝构造函数,完成stri ...

  5. C++ Primer : 第十三章 : 拷贝控制之拷贝、赋值与销毁

    拷贝构造函数 一个构造函数的第一个参数是自身类类型的引用,额外的参数(如果有)都有默认值,那么这个构造函数是拷贝构造函数.拷贝构造函数的第一个参数必须是一个引用类型. 合成的拷贝构造函数   在我们没 ...

  6. C++ Primer : 第十三章 : 拷贝控制示例

    /* Message.h */ #ifndef _MESSAGE_H_ #define _MESSAGE_H_ #include <iostream> #include <strin ...

  7. C++ Primer 笔记——拷贝控制

    1.如果构造函数的第一个参数是自身类类型的引用,且任何额外参数都有默认值,则此构造函数是拷贝构造函数.拷贝构造函数的第一个参数必须是引用类型(否则会无限循环的调用拷贝构造函数). 2.如果没有为一个类 ...

  8. 《C++ Primer》笔记 第13章 拷贝控制

    拷贝和移动构造函数定义了当用同类型的另一个对象初始化本对象时做什么.拷贝和移动赋值运算符定义了将一个对象赋予同类型的另一个对象时做什么.析构函数定义了当此类型对象销毁时做什么.我们称这些操作为拷贝控制 ...

  9. 【c++ Prime 学习笔记】第13章 拷贝控制

    定义一个类时,可显式或隐式的指定在此类型对象上拷贝.移动.赋值.销毁时做什么.通过5种成员函数实现拷贝控制操作: 拷贝构造函数:用同类型的另一个对象初始化本对象时做什么(拷贝初始化) 拷贝赋值算符:将 ...

随机推荐

  1. Linux最全vi命令

    1. 关于Vim vim是我最喜欢的编辑器,也是linux下第二强大的编辑器. 虽然emacs是公认的世界第一,我认为使用emacs并没有使用vi进行编辑来得高效. 如果是初学vi,运行一下vimtu ...

  2. MQ问题

    大部分的处理方案: 1.重试 2.定时任务 3.幂等

  3. CodeForces - 163B Lemmings

    B. Lemmings time limit per test 1 second memory limit per test 256 megabytes input standard input ou ...

  4. 揭秘VxWorks——直击物联网安全罩门

      转载:http://chuansong.me/n/1864339 VxWorks是美国风河(WindRiver)公司于1983年设计开发的一种嵌入式实时操作系统(RTOS),是嵌入式开发环境的关键 ...

  5. Linux之安装虚拟机/虚拟操作系统[VisualBox]

    使用VisualBox安装虚拟机步骤: BIOS开启 Visual Technology(或者 visualization) 安装Visual Box 打开Visual Box > 新建虚拟电脑 ...

  6. [转]gcc -ffunction-sections -fdata-sections -Wl,–gc-sections 参数详解

    背景 有时我们的程序会定义一些暂时使用不上的功能和函数,虽然我们不使用这些功能和函数,但它们往往会浪费我们的ROM和RAM的空间.这在使用静态库时,体现的更为严重.有时,我们只使用了静态库仅有的几个功 ...

  7. 从Nexus私服下载和上传资源(二)

    上传资源到私服 当项目完成后如果需要deploy 部署jar 包到私服,则可以添加如下配置: 1.在项目的 pom.xml 文件中添加上传部署的路径: 注意:如果需要对 releases版本进行多次部 ...

  8. sklearn中的回归器性能评估方法(转)

    explained_variance_score() mean_absolute_error() mean_squared_error() r2_score() 以上四个函数的相同点: 这些函数都有一 ...

  9. ros navigation stack 各个包的作用

    nav_core 该包定义了整个导航系统关键包的接口函数,包括base_global_planner, base_local_planner以及recovery_behavior的接口.里面的函数全是 ...

  10. D3开发中的资料整理

    D3开发台阶比较高,需要对html,css,js非常熟练,还要对SVG非常熟悉,SVG不会就不要开发D3了,下面给大家推荐一本资料,为大家未来的开发提供便利. 这个框架产品不支持ie8,是这个产品的特 ...