按值返回不会创建新对象[重复]

Question

我想尝试一下我在C中读到的关于按值返回的内容（在新对象为create的情况下，这与按值传递相同）

#include <iostream>

using namespace std;

class Kar{

public:
    int n;
    static int no;

    Kar(){
        n = ++Kar::no;
        cout << "Creating Kar " << n << endl;
    }

    Kar(Kar &k){
        n = ++Kar::no;
        cout << "Copying Kar " <<k.n<< " to new Kar " << n << endl;
    }

    ~Kar(){
        cout << "Destroying Kar "<< n << endl;
    }

    Kar& operator= (const Kar &k);
};


Kar& Kar::operator= (const Kar &k){

    cout << "Assigning Kar "<< k.n <<" to Kar "<< this->n << endl;
    return *this;
}



int Kar::no;

Kar foo(){
    cout << "Starting foo()" << endl;
    Kar k;
    cout << "Finishing foo()" << endl;
    return k;
}


int main(int argc, char **argv) {
    cout << "Starting!" << endl;

    Kar k;
    k=foo();
    //     Kar k2 = foo();

    cout << "Finishing!" << endl;
    return 0;
}

终端输出是这样的：

Starting!
Creating Kar 1
Starting foo()
Creating Kar 2
Finishing foo()
Assigning Kar 2 to Kar 1
Destroying Kar 2
Finishing!
Destroying Kar 1

>

我希望foo（）中的行为是：a.创建Kar2 b。将其复制到Kar 3并返回它（随后将Kar 3分配给Kar 1）。为什么不呢？

如果我取消注释< code > Kar k2 = foo()；我得到编译器消息:

错误：没有匹配函数调用Kar::Kar（Kar）

当然，我不能添加构造函数Kar（Kar k）{ }，因为这是无效的。这是什么意思？为什么不是构造器Kar（Kar




Answer 1

匿名用户

编译器最有可能使用一种称为复制省略的优化，这种优化用于尽可能避免不必要的对象复制。这在通过值返回对象时很常见。在您的例子中，< code>foo()不需要保留它的< code>Kar实例，因为它在< code>return语句后立即被销毁；在< code>foo()返回之前，< code>main()不会对其< code>Kar()实例进行操作。因此，对两者使用一个实例是安全的。

您可以阅读有关此问题的更多信息：什么是复制省略和返回值优化？

编辑：一开始没有发现你的第二个问题。复制构造函数应始终采用常量引用参数，即const Kar

Answer 2

您看到的行为称为返回值优化。因此，编译器不会为返回值创建临时对象，而是消除该对象，并使用在 return 语句之后已创建的对象。

关于你的第二个问题，你会得到一个编译器错误，因为你不能将非常数临时变量(r值)绑定到l值引用(顺便说一句，MSVC接受这一点，但这是非标准行为)。尝试将您的复制构造函数更改为:

卡尔（康斯特卡尔）