代码清单 3-30

#include <iostream>
using namespace std;
struct Copyable {
    Copyable() {}
    Copyable(const Copyable &o) { cout << "Copied" << endl; }
};
Copyable ReturnRvalue() { return Copyable(); }
void AcceptVal(Copyable) {}
void AcceptRef(const Copyable &) {}
int main() {
    cout << "Pass by value: " << endl;
    AcceptVal(ReturnRvalue()); // 临时值被拷贝传入
    cout << "Pass by reference: " << endl;
    AcceptRef(ReturnRvalue()); // 临时值被作为引用传递
}
// 编译选项:g++ 3-3-5.cpp -fno-elide-constructors

因为现在的编译器都很新了，而且现在 C++ 标准都更新到 c++26 了。所以，编译选项还要加一个 -std=c++11 。

这里要理解一下它的输出，

Pass by value: 
Copied
Copied
Pass by reference: 
Copied

为什么上面是拷贝了两次，而下面只拷贝了一次。

• ReturnRvalue() 会返回一个临时的 Copyable 对象，这里会用这个函数返回的临时的对象拷贝出一个临时对象，假设函数返回的临时对象是 tmp01 吧，那么，就会用这个 tmp01 构造出另一个临时对象 tmp02，这是第一次拷贝构造，然后，这个临时对象 tmp02 会传递给 AcceptVal ，因此，这里又会发生一次拷贝构造。等这条语句完全结束，也就是来到了下面一条语句的时候，这里的析构函数会执行 3 次，分别是 tmp01 的析构，tmp02 的析构，以及函数调用的实参的析构。
• AcceptVal 函数因为是接受引用，所以，上面的 tmp02 这一步就没有了拷贝，因为是引用，所以不会发生拷贝。所以，等到这条语句执行完毕，一共会发生一次拷贝，两次析构。

下面再来一点变化，

#include <iostream>
using namespace std;
struct Copyable {
    Copyable() {}
    Copyable(const Copyable &o) { cout << "Copied" << endl; }

    ~Copyable() { cout << "Destructed" << endl; }
};

Copyable ReturnRvalue() { return Copyable(); }
void AcceptVal(Copyable) {}
void AcceptRef(const Copyable &) {}

int main() {
    cout << "Pass by value: " << endl;
    AcceptVal(ReturnRvalue()); // 临时值被拷贝传入
    cout << "===================" << endl;
    cout << "Pass by reference: " << endl;
    AcceptRef(ReturnRvalue()); // 临时值被作为引用传递
    cout << "===================" << endl;
    cout << "before exit main." << endl;
}
// 编译选项:g++ 3-3-5.cpp -fno-elide-constructors -std=c++11
// output
/*
Pass by value: 
Copied
Destructed
Copied
Destructed
Destructed
===================
Pass by reference: 
Copied
Destructed
Destructed
===================
before exit main.
*/

#include <iostream>
using namespace std;
struct Copyable {
    Copyable() {}
    Copyable(const Copyable &o) { cout << "Copied" << endl; }

    ~Copyable() { cout << "Destructed" << endl; }
};

Copyable ReturnRvalue() { return Copyable(); }
void AcceptVal(Copyable) {}
void AcceptRef(const Copyable &) {}

int main() {
    cout << "Pass by value: " << endl;
    Copyable lval = ReturnRvalue();
    cout << "===================" << endl;
    cout << "Pass by reference: " << endl;
    const Copyable &rval = ReturnRvalue();
    cout << "===================" << endl;
    cout << "before exit main." << endl;
}
// 编译选项:g++ 3-3-5.cpp -fno-elide-constructors -std=c++11
// output
/*
Pass by value: 
Copied
Destructed
Copied
Destructed
Destructed
===================
Pass by reference: 
Copied
Destructed
Destructed
===================
before exit main.
*/

虽然这里说 const Copyable & 和 Copyable && 是等价的，但是，还是分不清。(fany存疑)