探究C++构造函数及其优化

最新推荐文章于 2024-03-10 10:45:01 发布
最新推荐文章于 2024-03-10 10:45:01 发布
阅读量939 收藏 3
点赞数 5
文章标签： c++ 算法 c语言 性能优化
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_51429254/article/details/129769133
版权

目录

一、 类的六个默认成员函数

1.1 框架图

在这里插入图片描述

1.2 具体介绍

重点关注前四个默认成员函数，对于最后两个即对普通对象取地址和对const普通对象取地址用编译器默认生成的即可。

（1）构造函数

作用： 构造函数可以帮助我们完成类的初始化的工作，如对成员变量进行赋值，开辟空间等。

特性： 当我们没有自己写构造函数时，编译器将默认生成一个构造函数，该构造函数无需参数。

该构造函数将具有以下功能：

  1. 对于类内的自定义类型，会调用他们的默认构造函数；对于内置类型不会进行初始化。
  • 自定义类型：如class, struct…
  • 内置类型：语言原生定义的类型，如int, char, double，指针…，

补充：对默认构造函数的全面认识
默认构造函数并不仅仅指代我们不写，编译器自动生成的构造函数。事实上有三个默认构造函数，对默认构造函数更准确的理解为：不用参数就可以调用的构造函数。

三个默认构造函数分别为：

  1. 自己写的无参构造函数
  2. 自己写的全缺省构造函数
  3. 我们没写编译器默认生成的构造函数

以上三个都可以认为是默认构造函数。除了我们没写编译器默认生成的构造函数之外，无参的构造函数和全缺省的构造函数也是默认构造函数。注意：以上三个默认构造函数同时只能存在一个。
综上：写构造函数最好写一个全缺省的，这样既是默认构造函数，又可以传递参数进行构造。

（2）析构函数

作用： 完成资源清理的工作。备注：析构函数不是完成对象的销毁，对象的销毁是编译器完成的，当对象超出生命周期将由编译器进行销毁对象，而对象在销毁时会自动调用析构函数。

特性： 当我们没有自己写析构函数时，编译器将默认生成一个析构函数。编译器自动生成的析构函数，会调用自定义类型成员的析构函数，而对内置类型成员不进行操作。

补充：构造和析构顺序
因为对象是定义在函数中，函数调用会建立栈帧，栈帧中的构造和析构函数符合先进后出。即析构顺序和构造顺序是反着的。

（3）拷贝构造函数

作用： 用于将一个已存在的对象拷贝创建一个新对象。如果没有定义任何拷贝构造函数，编译器将生成一个默认的拷贝构造函数。默认的拷贝构造函数执行浅拷贝，即复制对象的所有成员变量。

特性： 当我们自己没有写拷贝构造函数时，编译器将默认生成一个拷贝构造函数。对于对象的自定义类型，会去调它的拷贝构造函数，对于对象的内置类型成员变量，则进行浅拷贝。

注意：

  1. 拷贝构造函数是构造函数的一个重载形式。
  2. 拷贝构造函数的参数只有一个且必须使用引用传参，使用传值方式会引发无穷递归调用。

（4）赋值运算符重载函数

作用： 用于将一个已存在的对象的内容赋值给另一个已经存在的对象。

特性： 当我们没有自己写赋值运算符时，编译器将生成一个默认的赋值运算符。它对内置类型进行浅拷贝，对于自定义类型会调用它们赋值运算符重载函数。

注意：

  1. 赋值运算符重载的返回值是该类对象的引用，目的是支持连续赋值。
  2. 赋值运算符重载的参数只有一个，推荐使用引用传参，使用传值方式可以避免调用拷贝构造。
  3. 若自己实现该函数，需要确保赋值操作不会出现对象的自我复制（即对象不能等于本身）。

初始化和赋值的区分
赋值运算符重载只能用于已经存在的对象，而初始化则是在创建对象时进行的。示例代码如下：

class MyClass {
public:
    MyClass(int n = 0) : num(n) {}
private:
    int num;
};

int main() {
    MyClass obj1(1);    // 构造函数
    MyClass obj2(2);    // 构造函数
    MyClass obj3(obj1); // 拷贝构造函数  
    obj2 = obj1;        // 赋值运算符重载
    return 0;
}

归纳我们不写，编译器默认生成了什么：

  1. 无参构造函数
  2. 拷贝构造函数
  3. 赋值运算符函数
  4. 默认析构函数

二、深入学习初始化列表

要先要明确一个结论：

初始化列表是每一个成员变量定义的地方

这个结论将贯穿这一章节的内容。

2.1 作用

构造函数初始化有两种方式

  1. 函数体内初始化（有些情况下发生的是赋值）
  2. 初始化列表初始化

为什么要有初始化列表的方式，因为当类中包含以下成员，它们必须在定义的时候初始化。

  1. 引用成员变量
  2. const成员变量
  3. 没有默认构造函数的自定义类型成员

代码如下：

class MyClass2 {
public:
    MyClass2(const int i) : m_i(i) {}
private:
    int m_i;
};

class MyClass {
public:
    MyClass(int n, int& ref, const int c) : m_ref(ref), m_c(c), m_myClass2(10)//correct
    {
        m_num = n;//correct
        // 以下初始化方式都是错误的，不能在函数体内初始化
        /*m_ref = ref;
        m_c = c;
        m_myClass2(10);*/
    }
private:
    int m_num;
    int& m_ref;
    const int m_c;
    MyClass2 m_myClass2;
};

理解为什么有些变量的初始化必须在初始化列表中完成
首先要再次强调一个结论：初始化列表是每一个成员变量定义的地方

  • 对于const变量，引用都必须在定义的时候初始化，而初始化列表就是定义的地方，因此要在初始化列表那初始化
    • 初始化列表对成员变量做的事情叫做定义，而构造函数体内对成员变量做的事情就叫做赋值
  • 对于自定义类型
    • 假设它无需参数可完成初始化，那么初始化列表处自动调用默认构造函数即可完成对象的定义，无需在函数体内初始化
    • 假设它需要参数初始化且没写在初始化列表中，那么若该类没有默认构造函数（即不需要参数的构造函数），在初始化列表处自动调用默认构造函数时就会报错。即是提供了默认构造函数使得不报错，则此时调用了一次默认构造函数，在函数体内还需先定义一个新对象，再赋值给目标对象，使得函数体内初始化比初始化列表多调用一次构造函数和赋值函数。
class MyClass2 {
public:
    MyClass2(const int i) : m_i(i) {}
private:
    int m_i;
};

class MyClass {
public:
    MyClass(int n) : m_myClass2(10) // 使用初始化列表，调用一次构造函数
    {
        // 不使用初始化列表，等于 调用一次构造函数 + operator=
        /*MyClass2 tmp(10);
        m_myClass2 = tmp;*/
    }
private:
    MyClass2 m_myClass2;
};

2.2 关于初始化顺序

成员变量在在初始化列表中的初始化顺序就是在类中的声明次序，与其在初始化列表中的先后次序无关
建议：类中成员的声明次序应该与初始化列表中的初始先后顺序写的一致

三、单参数的构造函数支持隐式类型转换

单参数的构造函数可以隐式地将参数转换为对象；如果单参数的构造函数声明为 explicit（显式），则必须显式地调用该构造函数才能将参数转换为对象。
假设我们有以下类定义：

class Person {
public:
    Person(int age) : m_age(age) {}
private:
    int m_age;
};

在没有explict关键字修饰下，支持隐式类型转换

int main() {
    Person p = 18; // 单参数的构造函数支持隐式类型转换
    return 0;
}

实际编译器背后会用18构造一个无名对象Person(18)，最后用无名对象给p对象进行赋值。
当上述代码中的构造函数被声明为 explicit，则无法进行隐式类型转换，即无法通过（对象=参数）来赋值。这意味着，以下代码将无法通过编译：

class Person {
public:
    explicit Person(int age) : m_age(age) {}
private:
    int m_age;
};

int main() {
    Person p = 18; // 隐式类型转换，编译错误
}

单参数的构造函数的赋值模式的应用，价值

  1. string类生成对象可直接等号
  2. vector类无需先创建对象，再push对象，可直接push参数进行单参数隐式类型转换构造对象，写起来方便。

代码示例:

int main() {
    vector<string> vec;
    string s1 = "Jack"; // string类生成对象可直接等号
    vec.push_back(s1); // 先创建对象再push麻烦
    vec.push_back("Mike"); // 直接push方便，本质是因为支持单参数的隐式类型转换
}

a. 对于“Jack”，先调用string的有参构造函数，再被引用
b. 对于“Mike”，参数被直接创建临时对象，该临时对象被const引用

四、C++11 的成员初始化新特性

C++11支持非静态成员变量在声明时进行初始化赋值。注意这里不是初始化，这里是给声明的成员变量缺省值。

class MyClass2 {
private:
    int m_i;
};

class MyClass {
private:
    int num = 10; // 给缺省值
    MyClass2 m_myclass2 = 20;
};

五、编译器的三个优化场景

前提：
设已经有一个Date类，代码如下
Date类

  1. 第一个优化场景：传参场景：当在函数调用传一个匿名对象（临时对象）过去，再用这个对象拷贝给形参对象，编译器可能会优化，将这两个对象合二为一，构造出一个对象。说明如下：
    传参优化
    可以看到，main函数调用func时传递匿名对象，理论上应该此处调用构造函数，然后该匿名对象拷贝给func函数形参d，触发一次拷贝构造函数。但实际上这个过程只有一次构造函数，所以实参和形参的对象用的是同一个，编译器优化了。即出现了传参场景下的优化。

  2. 第二个优化场景：单参数的构造函数支持隐式类型转换

    先看现象：

第二个优化场景
在上面的代码中，Date d=3理论上应该先用3定义个临时对象Date tmp(3)，再用tmp拷贝构造d即Date d(tmp)，但是运行结果并没有调用拷贝构造，原因是现在的的编译器会优化，直接用3调用构造函数，相当于Date d(3)。更准确地说，Date d=3先用3定义个匿名对象 Date(3)，再用该匿名对象拷贝构造d。此时优化变为第一个场景，故没有出现拷贝构造函数被调用。

  1. 第三个优化场景：返回值场景

以下是优化场景演示：

第三个优化场景
构造后马上去拷贝构造或者拷贝构造再马上拷贝构造，编译器可能会优化。
在一个表达式中，连续多个构造函数（包括无参，有参，拷贝构造），可能会被编译器优化为一次构造。如上图自己的代码，当func函数返回时，理论上是先用d拷贝一个临时对象，再把临时对象拷贝给dd，共两次拷贝构造函数，即蓝色箭头逻辑。但实际上只发生了一次拷贝，即红色箭头逻辑，dd直接用d进行拷贝构造。

补充：拷贝构造出的对象马上赋值给已存在的对象不能被优化，如下图，d还是先拷贝构造生成tmp，tmp赋值给dd。

分析
总结：如果编译器要优化，只有构造和拷贝构造才会被优化合并，且需在表达式中（函数参数传递和返回值返回也视作连续的表达式），优化掉的是临时对象或匿名对象。更多细节见《深度探索C++对象模型》

TaroYang
关注
⭐⭐⭐⭐⭐Linux C++性能优化秘籍：从编译器到代码，探究高性能C++程序的实现之道
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
04-06 2099
高性能C++编程涉及多个方面，包括编译器优化、C++代码性能优化基本原则、C++对象管理与性能优化、多线程编程与性能优化、Linux系统调用优化等。通过学习和掌握这些要点，程序员可以有效地提高C++程序在Linux环境下的性能。接下来的章节将对这些核心要点进行详细的介绍。
详解C++中的构造函数
weixin_45743453的博客
02-07 1238
C++编译器默认生成的构造函数设计得不好，它没有对内置类型和自定义类型统一处理，它不会处理内置类型成员变量，只处理自定义类型成员变量说白了就是，对象在定义使会调用构造函数，对于内置类型来说 有没有默认构造函数都可以，但是对于自定义类型来说，如果没有默认构造函数就会报错，不管这个默认构造函数是你自己定义的还是编译器自动生成的 如果你自己写了那么编译器就不会生成了，但是如果你写的构造函数一定需要参数才可以调用(也就是说他不是默认构造函数)，那么编译器就会报错 而所谓的。
C++中的构造函数与拷贝构造的优化处理
ZoctopusD的博客
07-03 872
1.C++对传参和传返回值时构造的优化处理。 先简单介绍一下C++类中的默认成员函数： （1）构造函数 成员变量为私有的，要对它们进行初始化，必须用一个公有成员函数来进行。同时这个函数应该有且仅在定义对象时自动执行一次，这时 调用的函数称为构造函数（constructor） 。 构造函数是特殊的成员函数，其特征如下： a. 函数名与类名相同。 b. 无返回值。 c. 对象构造（
C++进阶系列：拷贝构造函数与NRV优化
uestc_chenmo的博客
05-16 871
《深度探索C++对象模型》第二章67页有： 这个程序的第一个版本不能实施NRV优化，因为test class 缺少一个copy constructor. 也就是缺少拷贝构造函数所以不能NRV优化。 NRV优化和拷贝构造函数是有关系的，只有定义了拷贝构造函数才会开启NRV优化，但现代编译器NRV优化的开启一般都与拷贝构造函数没有关系， 早期的 cfront需要一个开关来决定是否应该对代码实行...
C++拷贝构造的优化
一首小夜曲
08-01 684
对于拷贝构造来说，归根结底，落脚点在构造函数上。所以调用拷贝构造函数的时候，一定是这个对象不存在的时候，比如下面这句 A a =A(10)那么，a是不存在的，而且是通过其它的A对象构造出来的，那么则调用的是拷贝构造函数。如果是 A a(1); a = A(10);那么这里就调用的是赋值操作符，因为a是已经存在的对象了，不需要构造了。那么，接下来再讨论一下拷贝构造的优化问题。如果有以下代码： 代
【C++】构造与析构性能分析
Ricardo0012的博客
06-08 113
提高临时变量构造效率的办法有1.尽量保证只有一条返回路径2.或者所有的返回值都是未命名变量3.如果有多条路径，保证每条路径上只有一次构造，且构造出的变量为这条路径的返回值。
[C++] C++编译器 关于构造函数的优化
七月.cc的博客
10-24 804
一些编译器, 对 连续使用的构造函数 会存在优化情况
C++构造函数与赋值行为：std::variant的深层次挖掘
[C++构造函数与赋值行为：std::variant的深层次挖掘](https://blog.jetbrains.com/wp-content/uploads/2018/10/clion-std_variant.png) # 1. C++ std::variant概述 在现代C++编程中，`std::variant`是一个非常实用...
C++拷贝构造函数的深度解析：掌握原理与实践，优化性能（全面攻略）
拷贝构造函数是C++编程语言中的一个基本概念，它用于创建一个新对象作为现有对象的副本。这个过程涉及到数据的复制，包括成员变量和资源的复制。拷贝构造函数的存在使得我们能够轻松地将一个对象的状态传递给另一个...
c++性能优化-构造函数和析构函数
weixin_34764432的博客
07-25 771
构造函数和析构函数 目录构造函数和析构函数前言一、继承二、合成三、缓式构造四、冗余构造总结 前言   正常的情况来说，构造函数和析构函数应该是消耗性能比较少的地方，我们在学习基础的c++编程的时候，书上基本都会写构造函数和析构函数需要尽量的简洁，不能承担复杂的计算工作或者是逻辑工作。事实也确实如此，如果将大量的计算放到构造函数和析构函数，整个类都会比较臃肿，其他类引用时也会有更多的不方便。所以，构造函数和析构函数大多数的情况下主要是负责的初始化和清除资源的操作。 一、继承   继承和合成都是在对象设计
【C++拷贝构造深入】：std::stack拷贝构造函数的工作原理
在C++编程语言中，拷贝构造函数是类构造函数的一种特殊类型。它用于创建一个新对象作为现有对象的副本。拷贝构造函数的作用是确保对象可以被正确地复制，包括其内部的数据成员和指针指向的动态分配内存。拷贝构造...
编译器的优化问题（构造、拷贝）、linux如何取消优化。
wihkum
04-29 587
编译器的优化问题（构造、拷贝）、linux如何取消优化。
不要浪费构造函数的时间
q351477的博客
05-23 256
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢迎使用Markdown编辑器 你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Mar
C++类-构造函数的作用
LC的专栏
06-09 6131
构造函数的作用 为了解决给对象成员初始化赋值的问题，C++提供了“构造函数（constructor）”来处理对象的初始化。构造函数是一种特殊的成员函数，与其他成员函数不同，不需要用户来调用它，而是在建立对象时自动执行。 构造函数的名字必须与类名同名，而不能由用户任意命名，以便编译系统能识别它并把它作为构造函数处理。构造函数不返回任何值，所以，函数没有返回类型。 例如，定义一个C++类，类名是 student，如下： class student //以class开头 {...
C++中拷贝构造函数的调用及返回值优化问题
jinchengzhou的专栏
03-16 1786
1、C++中返回值优化问题 返回值优化（Return Value Optimization，简称RVO），是这么一种优化机制：当函数需要返回一个对象的时候，如果自己创建一个临时对象用户返回，那么这个临时对象会消 耗一个构造函数（Constructor）的调用、一个复制构造函数的调用（Copy Constructor）以及一个析构函数（Destructor）的调用的代价。而如果稍微做一点优化，就可以将成本降低到一个构造函数的代价。详细说明：C++中临时对象及返回值优化 2、拷贝构造函数的调用 原文链接：
【入门C++编程的艺术】构造函数和析构函数的优化问题
最新发布
iiiiiankor的博客
03-10 585
Linux现在g++整体是偏激进优化的和vs下release下一样都是优化到5次，中间冗余对象也优化了 debug下也是。因为Linux下 默认是64位+release环境，拷贝构造5次。上面的第一个题（左）：1次构造，4次拷贝构造。g++下面可以看到完全关闭优化的本来次数。第二个题（右）：1次构造，7次拷贝构造。先利用int类型构造一个临时对象。然后再用临时对象拷贝构造出w2。编译器优化为： 直接构造出w2。❤️码字不易，给个赞吧~❤️。然后再拷贝构造一个形参对象。本来会先构造一个匿名对象。
C++编译器对于默认拷贝构造函数调用优化
rwt981538827的博客
03-04 561
C++编译器对于默认拷贝构造函数调用优化导致现象探究出乎意料的程序输出编译器的拷贝优化小记 出乎意料的程序输出 工作之余，偶然研究了下C++局部变量return的机制，若函数内return局部变量，应该是先将局部变量的对象拷贝一份到寄存器（右值，临时变量）中，这一过程完成后，释放函数栈区空间。然后再从寄存器中将对象拷贝到接受函数返回变量。 知道上述过程编写了以下代码： #include "stdio.h" #include <string> #include <cstring> us
容易成为性能瓶颈的C++语言特性
07-20 920
C++应用程序性能优化笔记（四）——构造函数性能2010-05-18 20:39容易成为性能瓶颈的C++语言特性对程序的性能问题，根本原因并非采用什么语言编写程序。如果程序的框架设计不作修改，单纯地把一个C++程序用C或者汇编改写，也不能保证总体性能会有提高。因此，正确的思路应该
编译器构造函数优化(NRV 优化）
我喜欢雨天的清新的博客
02-11 669
NRV优化 NRV优化指发生在 函数以值返回时的拷贝构造的优化。如下这个demo，函数以值函数会发生拷贝构造，但是某些场景这个拷贝构造可以被省去。 class T { }; T Fun(); 如下面这个场景发生了俩个构造，一个是默认构造函数构造出了ret，一个ret构造出了返回的临时对象。 class T { public: T() {} T(const&amp; T)...
编译器对于C++构造函数的优化和C++17之后对构造函数的优化
liangjian990709的博客
11-18 1226
近日结合李伟老师在C++构造函数课上讲的内容，跑了一些程序，发现了一些疑问。 程序如下 #include <iostream> using namespace std; class str { public: str(int x):a(x) { cout<<"construct function"<<endl; } str(const str& str1):a(str1.a) { co
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值