0

在下面的示例中，我想找出当我从 doit() 函数返回一个自动变量时，为什么不调用复制构造函数。我知道调用第一个版本的处理程序是因为我们有一个临时对象，但无法弄清楚为什么在创建该临时对象时不调用复制构造函数（将所有内容从 s 复制到临时对象）。

#include <iostream>
using namespace std;


class S{
    public:
        S(){std::cout<<"Constructor\n";}
        S(const S& s){std::cout<<"Copy Constructor\n";}
        ~S(){std::cout<<"Destructor\n";}
};

S doit(){
    S s;
    return s; 
}

void handler(S&& r){
    std::cout<<"Here\n";
}
void handler(const S& r){
    std::cout<<"Here2\n";
}

int main() {
    handler(doit());
}
4

1 回答 1

1

实际上，根据语言规则在您的代码中调用了一个构造函数。但是，编译器已对其进行了优化，因此您看不到调用。如果你编译-fno-elide-constructors你应该看到复制构造函数被调用。

请注意，复制构造函数只会被调用，因为默认的移动构造函数被抑制了。如果你像这样添加回来：

S(S&&) = default;

那么这个移动构造函数将被调用。这是一个演示。

于 2020-11-04T12:34:38.050 回答