函数返回值传递

函数返回值传递

函数返回值的传递，如果小于4个字节，一般直接使用寄存器eax存储，如果5～8个字节，采用eax和edx联合返回。重点在于结构体等超过8字节的返回类型，下列是具体步骤：

• 首先main函数在栈上额外开辟了一片空间，并将这块空间的一部分作为传递返回值的临时对象，这里称为temp
• 将temp对象的地址作为隐藏参数传递给return_test函数
• return_test函数将数据拷贝给temp对象，并将temp对象的地址用eax传出
• return_test返回之后，main函数将eax指向的temp对象的内容拷贝给n

所以如果返回值的尺寸太大，c语言在函数返回时会使用一个临时的栈上内存作为中转，结果返回值对象会被拷贝两次。因此不到万不得已，不要轻易返回大尺寸的对象。

C++中的返回值优化

#include <iostream>
using namespace std;

class CppObj {
public:
    CppObj() { cout << "ctor\n"; }
    CppObj(const CppObj& c) { cout << "copy ctor\n"; }
    CppObj& operator=(const CppObj& chs) {
        cout << "operator=\n";
        return *this;
    }
    ~CppObj() { cout << "dtor\n"; }
};

CppObj returnTest() {
    CppObj b;
    cout << "before return\n";
    return b;
}

int main() {
    CppObj n;
    n = returnTest();
    return 0;
}

如上代码，按道理来说输出应该为：

ctor
ctor
before return
copy ctor
dtor
operator=
dtor
dtor

但实际上的输出为：

ctor
ctor
before return
operator=
dtor
dtor

按照道理来说，return_test()返回CppObj为临时对象，应该先调用CppObj类的复制构造函数，然后对b调用析构函数，但最终着两步是不存在的，这其实就牵涉到C++的编译器优化——返回值优化（RVO）与具命返回值优化（NRVO）：

返回值优化（RVO）

CppObj returnTest(){
    return CppObj();
}

这种场合下，这个临时对象会消耗一个构造函数的调用、一个复制构造函数的调用以及一个析构函数的调用的代价，通过返回值优化，可以将后两步省略，只会消耗一个构造函数的成本。

具体的方式是编译器通过直接传递n = returnTest()中的n的引用，利用n取代returnTest()中的匿名对象

具命返回值优化（NRVO）

CppObj returnTest() {
    CppObj b;
    cout << "before return\n";
    return b;
}

对于按值返回“具名对象”（就是有名字的变量）时的优化手段，其实道理是一样的，但由于返回的值是具名变量，情况会复杂很多，所以，能执行优化的条件更苛刻。

具体的细节部分看这个博客

转载于:https://www.cnblogs.com/seasonal/p/11310396.html