C++中拷贝对象时编译器做出的一些优化

2024-03-25 04:44
文章标签 c++ 优化 对象 拷贝 编译器 做出

本文主要是介绍C++中拷贝对象时编译器做出的一些优化，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

目录

拷贝对象时编译器做出的一些优化

参数传递优化

返回值优化

拷贝对象时编译器做出的一些优化

📌

下面的优化结果由编译器决定，不同的编译器优化结果可能不同，视具体情况而定

参数传递优化

  1. 在前面的explicit关键字部分提到过编译器会对在单行的构造+拷贝构造优化为构造
#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){}void print(){cout << _num << endl;}
};int main()
{test t = 1;t.print();return 0;
}
输出结果：
1
  1. 在给函数形参传递实参时，如果直接传递已经创建的对象时，编译器不会对其进行优化
#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}~test(){cout << "析构函数" << endl;}
};void func1(const test t)
{cout << "func1" << endl;
}int main()
{test t1(1);func1(t1);return 0;
}
输出结果：
构造函数
拷贝构造函数
func1
析构函数
析构函数

在上面的代码中，首先test类创建了一个对象为t1，此时调用构造函数，当t1作为函数实参传递给func1函数，此时会调用拷贝构造函数将t1对象拷贝给形参t，接着进入func1函数栈帧空间执行func1函数体的语句，当func1函数结束执行后调用析构函数销毁形式参数对象t，最后调用析构函数销毁局部对象t1

对上面的代码进行改进，直接传递整型1给func1函数，如下面代码

#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}~test(){cout << "析构函数" << endl;}
};void func1(const test t)
{cout << "func1" << endl;
}int main()
{func1(1);return 0;
}
输出结果：
构造函数
func1
析构函数

在上面的代码中，直接将1作为对象传递给自定义类型的形参t时，常规的步骤为：调用构造函数用整型1初始化一个临时对象，再调用拷贝构造函数将临时对象中的内容拷贝给形参对象，但是此处编译器会对其进行优化为直接调用构造函数，用整型1初始化形参对象t

同理，使用匿名对象作为实际参数传递给自定义类型的形参时，编译器也会有所优化

#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}~test(){cout << "析构函数" << endl;}
};void func1(const test t)
{cout << "func1" << endl;
}int main()
{func1(test(2));return 0;
}
输出结果：
构造函数
func1
析构函数

在上面的代码中，使用整型2创建了一个匿名对象，常规步骤为：调用构造函数使用整型2创建匿名对象，接着调用拷贝构造函数将匿名对象中的内容拷贝给形式参数，但是编译器优化为直接使用整型2为形式参数初始化

但是如果函数的形式参数为引用时，则不会有任何优化，直接调用构造函数进行初始化对象再由自定义类型的引用形参接收实参对象的地址

📌

注意：使用引用传参时一定要在形式参数处加const修饰

#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}~test(){cout << "析构函数" << endl;}
};void func1(const test& t)
{cout << "func1" << endl;
}int main()
{test t1(1);func1(t1);cout << endl;func1(1);cout << endl;func1(test(1));return 0;
}
输出结果：
构造函数
func1构造函数
func1
析构函数构造函数
func1
析构函数
析构函数

返回值优化

#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}test& operator=(const test& t){cout << "赋值运算符重载函数" << endl;if (this != &t){_num = t._num;}return *this;}~test(){cout << "析构函数" << endl;}
};test func()
{cout << "func" << endl;test t(1);return t;
}int main()
{func();return 0;
}
  1. 当调用的函数有返回对象时，使用该对象初始化对象
#include <iostream>
using namespace std;class test
{
private:int _num;
public:test(int num):_num(num){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}test& operator=(const test& t){cout << "赋值运算符重载函数" << endl;if (this != &t){_num = t._num;}return *this;}~test(){cout << "析构函数" << endl;}
};test func()
{cout << "func" << endl;test t(1);return t;
}int main()
{test t1 = func();return 0;
}

在上面的代码中，使用func函数的返回值初始化t1对象，常规的过程为：调用拷贝构造函数将func函数的返回值放入一个自定义类型的临时变量中，再通过拷贝构造函数将临时变量中的内容拷贝给t1对象，但是这里编译器会优化为调用一个构造函数将func的返回值作为初始化值直接初始化t1对象

但是如果将两个步骤分开，如下面的代码

#include <iostream>
using namespace std;class test
{
private:int _num;
public:test():_num(){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}test& operator=(const test& t){cout << "赋值运算符重载函数" << endl;if (this != &t){_num = t._num;}return *this;}~test(){cout << "析构函数" << endl;}
};test func()
{cout << "func" << endl;test t;return t;
}int main()
{test t1;t1 = func();return 0;
}

在上面的代码中，因为t1对象需要完成实例化，所以会调用构造函数，接着执行t1 = func()语句，因为赋值运算符有从右往左的结合性，所以先执行func函数，在func函数中会再次调用构造函数创建一个对象，（注意中间有一个过程为：调用拷贝构造将返回对象拷贝到临时对象中，再调用析构函数销毁局部对象t）此时执行赋值语句，此时调用赋值运算符重载函数，将t对象的内容给t1对象

  1. 当返回的是匿名对象，使用该匿名对象初始化对象
#include <iostream>
using namespace std;class test
{
private:int _num;
public:test():_num(){cout << "构造函数" << endl;}void print(){cout << _num << endl;}test(const test& t){_num = t._num;cout << "拷贝构造函数" << endl;}test& operator=(const test& t){cout << "赋值运算符重载函数" << endl;if (this != &t){_num = t._num;}return *this;}~test(){cout << "析构函数" << endl;}
};test func()
{cout << "func" << endl;return test();
}int main()
{test t1 = func();return 0;
}
输出结果：
func
构造函数
析构函数

在上面的代码中，先执行func函数，常规步骤为：执行test类中的构造函数创建一个匿名对象，接着调用拷贝构造将匿名对象拷贝到临时对象中返回，接着调用拷贝构造将返回值拷贝给t1对象，但是此处编译器会优化为直接用返回的匿名对象的内容作为初始值初始化对象t1

总结：

  1. 为了编译器更好得优化，在传参数时，可以考虑使用引用变量作为参数
  2. 当使用到返回值时，如果能用引用就使用引用，不能使用引用需要返回值时，可以考虑返回匿名对象

这篇关于C++中拷贝对象时编译器做出的一些优化的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/843867。

相关文章

C++右移运算符的一个小坑及解决

C++右移运算符的一个小坑及解决

《C++右移运算符的一个小坑及解决》文章指出右移运算符处理负数时左侧补1导致死循环,与除法行为不同,强调需注意补码机制以正确统计二进制1的个数... 目录我遇到了这么一个www.chinasem.cn函数由此可以看到也很好理解总结我遇到了这么一个函数template<typename T>unsigned
阅读更多...
C++统计函数执行时间的最佳实践

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法
阅读更多...
从原理到实战解析Java Stream 的并行流性能优化

从原理到实战解析Java Stream 的并行流性能优化

《从原理到实战解析JavaStream的并行流性能优化》本文给大家介绍JavaStream的并行流性能优化：从原理到实战的全攻略,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的... 目录一、并行流的核心原理与适用场景二、性能优化的核心策略1. 合理设置并行度：打破默认阈值2. 避免装箱
阅读更多...
Python实战之SEO优化自动化工具开发指南

Python实战之SEO优化自动化工具开发指南

《Python实战之SEO优化自动化工具开发指南》在数字化营销时代,搜索引擎优化（SEO）已成为网站获取流量的重要手段,本文将带您使用Python开发一套完整的SEO自动化工具,需要的可以了解下... 目录前言项目概述技术栈选择核心模块实现1. 关键词研究模块2. 网站技术seo检测模块3. 内容优化分析模
阅读更多...
深入解析C++ 中std::map内存管理

深入解析C++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象
阅读更多...
Java实现复杂查询优化的7个技巧小结

Java实现复杂查询优化的7个技巧小结

《Java实现复杂查询优化的7个技巧小结》在Java项目中,复杂查询是开发者面临的“硬骨头”,本文将通过7个实战技巧,结合代码示例和性能对比,手把手教你如何让复杂查询变得优雅,大家可以根据需求进行选择... 目录一、复杂查询的痛点：为何你的代码“又臭又长”1.1冗余变量与中间状态1.2重复查询与性能陷阱1.
阅读更多...
Python内存优化的实战技巧分享

Python内存优化的实战技巧分享

《Python内存优化的实战技巧分享》Python作为一门解释型语言,虽然在开发效率上有着显著优势,但在执行效率方面往往被诟病,然而,通过合理的内存优化策略,我们可以让Python程序的运行速度提升3... 目录前言python内存管理机制引用计数机制垃圾回收机制内存泄漏的常见原因1. 循环引用2. 全局变
阅读更多...
使用Java读取本地文件并转换为MultipartFile对象的方法

使用Java读取本地文件并转换为MultipartFile对象的方法

《使用Java读取本地文件并转换为MultipartFile对象的方法》在许多JavaWeb应用中,我们经常会遇到将本地文件上传至服务器或其他系统的需求,在这种场景下,MultipartFile对象非... 目录1. 基本需求2. 自定义 MultipartFile 类3. 实现代码4. 代码解析5. 自定
阅读更多...
C++ STL-string类底层实现过程

C++ STL-string类底层实现过程

《C++STL-string类底层实现过程》本文实现了一个简易的string类,涵盖动态数组存储、深拷贝机制、迭代器支持、容量调整、字符串修改、运算符重载等功能,模拟标准string核心特性,重点强... 目录实现框架一、默认成员函数1.默认构造函数2.构造函数3.拷贝构造函数(重点)4.赋值运算符重载函数
阅读更多...
C++ vector越界问题的完整解决方案

C++ vector越界问题的完整解决方案

《C++vector越界问题的完整解决方案》在C++开发中,std::vector作为最常用的动态数组容器,其便捷性与性能优势使其成为处理可变长度数据的首选,然而,数组越界访问始终是威胁程序稳定性的... 目录引言一、vector越界的底层原理与危害1.1 越界访问的本质原因1.2 越界访问的实际危害二、基
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2