Question

我有一个简单的结构，它定义了所有构造函数。它有一个int变量，每个构造函数和赋值运算符都打印* this的地址，int的当前值和int的新值。移动和复制赋值运算符和构造函数也会打印传递值的地址。

#include <iostream>

struct X
{
    int val;
    void out(const std::string& s, int nv, const X* from = nullptr)
    {
        std::cout<<this<<"->"<<s<<": "<<val<<" ("<<nv<<")";
        if (from)
            std::cout<<", from: ["<<from<<"]";
        std::cout<<"\n";
    }

    X(){out("simple ctor X()",0); val = 0;}
    X(int v){out("int ctor X(int)", v);val = v; }
    X(const X& x){out("copy ctor X(X&)", x.val, &x);val = x.val; };
    X&operator = (const X& x){out("copy X::operator=()", x.val, &x); val = x.val; return *this;}
    ~X(){out("dtor ~X", 0);}
    X&operator = (X&& x){out("move X::operator(&&)", x.val, &x); val = x.val; return *this;}
    X(X&& x){out("move ctor X(&&x)", x.val, &x);val = x.val;}
};

X copy(X a){return a;}

int main(int argc, const char * argv[]) {
    X loc{4};
    X loc2;
    std::cout<<"before copy\n";
    loc2 = copy(loc);
    std::cout<<"copy finish\n";
}

输出：

0xffdf7278->int ctor X(int): 134523184 (4)
0xffdf727c->simple ctor X(): 134514433 (0)
before copy
0xffdf7280->copy ctor X(X&): 1433459488 (4), from: [0xffdf7278]
0xffdf7284->move ctor X(&&x): 1433437824 (4), from: [0xffdf7280]
0xffdf727c->move X::operator(&&): 0 (4), from: [0xffdf7284]
0xffdf7284->dtor ~X: 4 (0)
0xffdf7280->dtor ~X: 4 (0)
copy finish
0xffdf727c->dtor ~X: 4 (0)
0xffdf7278->dtor ~X: 4 (0)

使用（在此示例中）地址0xffdf7284创建其他对象的目的是什么？

Answer 1

如果查看copy elision rules from cppreference.com，您会注意到有两种情况需要编译器省略类对象的复制和移动构造函数，即使复制/移动构造函数和析构函数具有可观察到的副作用（由于打印输出，你可以这样做）。第一个显然与此案无关。第二个是

在函数调用中，如果return语句的操作数是prvalue，并且函数的返回类型与该prvalue的类型相同。

以下列例子给出：

T f() { return T{}; }
T x = f();

但这似乎更相关，请注意，在您的情况下，return语句的操作数不是prvalue 。因此，在这种情况下，不适用强制性省略。

调用loc2 = copy(loc);时的步骤如下：

a是由loc。
该函数的返回值是从a。
loc2是从返回值移动分配的。

从逻辑上讲，一个人可以查看代码并推断出需要执行的操作更少（特别是在查看copy时，从逻辑上讲，{{1}的任务很明显{}}到loc已经足够了，但编译器并不知道你的代码的目的不是为了产生副作用（打印输出），而且这里没有违反任何规则

通过值函数传递附加移动构造函数

1 个答案: