3

我写了这段代码：

    struct X{
        int val;

        void out(const string& s, int nv)
            {cerr<<this<<"->"<<s<<": "<<val<<"("<<nv<<")\n";}

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

    X copy(X a) {return a;}

    int main{
        X loc2;
        X loc(5);
        loc2 = copy(loc);
        return 0;
    }

输出是这样的（在 VS2010 中）：

003BFAA0->X(int): -858993460(0)
003BFA94->X(int): -858993460(5)
003BF964->X(X&): 723486321(5)
003BF994->X(X&): -858993460(5)
003BF964->~X(): 5(0)
003BFAA0->X::operator=(): 0(5)
003BF994->~X(): 5(0)

前两行很好。但是第三行和第四行显示它调用了 X(X&) 两次。副本（X a）中只有一个“X a”。为什么 X(X&) 可以被调用两次？

4

2 回答 2

6

为什么X(X&)会被叫两次？

使用函数调用：

loc2 = copy(loc);

copy(loc);两次调用复制构造函数：

  1. loc创建传递给函数的参数的副本。
  2. 创建返回对象的副本a。

在 C/C++ 中，函数的参数默认按值传递。因此，在函数调用中接收到的不是实际参数，而是传递的对象/变量的副本。这个副本是通过调用复制构造函数创建的。
您的copy()函数还会再次按值返回，从而导致调用复制构造函数。

请注意，在某些情况下，编译器可能会省略（删除）对复制构造函数的调用并内联构造对象，这种现象称为复制省略。通常，您不应该编写任何会根据复制次数产生副作用的代码正在调用构造函数。

于 2012-10-05T04:27:13.510 回答
1

当“return a”被执行时，类型 X 的对象的副本被创建，因为返回类型是 X（不是 X&）。（如果是 X& - 这也是一个错误 - 复制函数“a”的形式参数是一个具有局部范围的变量）

于 2012-10-05T04:58:02.337 回答