一、前景介绍
在开发者编写代码的过程中,很多函数需要返回值的。如果只是简单的返回一个基础类型值,即使有一些浪费,这些浪费在整体的程序运行中其实影响还是相当小的。但当开发者自定义一些数据结构或者字符串等的返回时,就有可能出现多次拷贝的现象。这样的运行成本可能就相当大了。
开发者在早期的编译期环境中,可能需要一些具体的技巧来处理这些返回值,但在越来越优秀的编译器加持下,返回值优化的手段从开发者不断的向编译期转移。这和前文(跟我学C++中级篇——临时对象)分析过的临时对象有着很大的联系,可一并参考学习分析。
二、编译器的处理
编译器对返回值有两种,一种是基础类型(一般都小于8字节),通过寄存器(EAX or EDX)返回,速度快;第二个是自定义的数据类型或大于8字节的返回值,都通过栈返回。这里面的问题,其实就在后一种身上,通过栈空间返回,是需要进行内存拷贝的。而拷贝又分成两类,一种是有构造函数的,需要调用构造函数;另外一种是没有构造函数的(通常为基础类型或其复合体),则直接拷贝。
三、代码优化控制
在早期的编程技巧中,会对返回值做一些特别的处理,最简单的比如不返回大对象的值而通过引用来实现,返回指针等等。目的当然只有一个,就是尽量少的产生大对象的
复制。特别是在一些图像处理或者数据处理中,这些方法非常重要。但针对一些不太大的数据时,其实返回值优化的真正优势才展现出来。看一下最基础的返回值处理的代码:
#include <iostream>
class Object{
public:
Object(){
std::cerr<<"call Object constructor function!"<<std::endl;}
~Object(){
std::cerr<<"call Object destructor function!"<<std::endl;}
Object(const Object&