c++ 中的复制构造函数和运算符 =

Question

我对以下代码有疑问：

假设我有一个类 P，它有一个复制构造函数和一个接收一个字符串值的常规构造函数。

我有以下代码：

P doSomething(){
   P p("myValue");
   return p;
}

int main(){
    P m=doSomething();
    return 1;
}

1. 为什么在 doSomething() 函数的 return p 处不调用复制构造函数？
2. 调用 P m=doSomething() - 它是否假设调用复制构造函数或运算符=？

3. 如果是运算符=，这段代码和下面的有什么区别：

   P new_val=("newVal");
   pm=new_val;
   

我知道这里的调用是针对复制构造函数的）

谢谢， 玛丽

Answer 1

• 为什么在 doSomething() 函数的返回 p 处不调用复制构造函数？

该标准允许删除该副本。谷歌搜索[N]RVO。在某些编译器上，这种情况仅在优化时发生，而在其他编译器上，它是调用约定的一部分，因此总是会发生。

• 调用 P m=doSomething() - 它是否假设调用复制构造函数或运算符=？

T t = x; 是 T t(T(x)) 的“语法糖”（在 T(x) 隐式发生的意义上），因此尽管有 =，但与 operator= 无关。请注意，这里附加的临时文件也可能被省略，因此不会调用复制器。

• 如果是运算符=，这段代码和下面的有什么区别：

这段代码毫无意义，你真正的意思是什么？

P new=("newVal");
p m=new;

Answer 2

我做了一个小样品用于演示。

void print(char* text, int ident)
{
    for(int i = 0 ; i < ident ; i++)
    {
        printf("   ");
    } // end for

    fprintf(stdout, text);
    fprintf(stdout, "\n");
    fflush(stdout);
}

class P
{
public:
    char* _str;

    P (P& arg)
    {
        print("copy constructor", 2);
        arg._str = this->_str;
    }

    P (char* str)
    {
        print("constructor", 2);
        _str = str;
    }
};

P doSomething(){
    print("do something - function", 1);
    P p("myValue");
    print("before return p", 1);
    return p;
}

int main(int argc, char* argv[])
{
    print("start", 0);
    P m=doSomething();
    print("stop - call return", 0);
    return 1;
}

这会返回，

start
   do something - function
      constructor
   before return p
      copy constructor
stop - call return

因此复制构造函数将被调用

Answer 3

1) 为什么在 doSomething() 函数的“return p”处不调用复制构造函数？

它应该 - 尝试在复制器中的控制台上打印一些内容，看看它是否真的在运行。

2) 调用 P m=doSomething() - 它是否假设调用复制构造函数或运算符=？

应该调用运算符=。再次，使用方法内的调试消息打印来检查

3）如果是运算符=，这段代码和下面的代码有什么区别：
P new=("newVal");下午=新； （我知道这里的调用是复制构造函数）

您错过了代码片段中的某些内容吗？我认为它不会编译