Question

已提供复制构造函数。使用它时，完全相同的类型传递给参数。似乎编译器（gcc / g ++ 4.8.2）忽略了显式拷贝构造函数的存在。代码生成编译错误。为什么？错误是：

t.cpp: In function ‘A f(const A&)’:
t.cpp:19:12: error: no matching function for call to ‘A::A(const A&)’
     return a;  //compilation error with gcc 4.8.2
            ^
t.cpp:19:12: note: candidate is:
t.cpp:14:5: note: A::A()
     A(){}
     ^
t.cpp:14:5: note:   candidate expects 0 arguments, 1 provided
t.cpp:21:1: warning: control reaches end of non-void function [-Wreturn-type]
 }
 ^

我已经完成了 Why I am not able to invoke 'explicit a (string x)'? 和 Explicit copy constructor。根据这些链接，我尝试了强制复制结构（以避免优化，请参阅我的注释代码）。

#include <iostream>
using namespace std;

class A 
{
public:
    explicit A(const A& a)   // an explicit copy constructor
    //A(const A&)   // an copy constructor, pretty much default one. 
                    //using it solves any compile problem.
    {
        cout << "\nin the copy constructor" << endl;
    }

    A(){}
};
//////////////////////////////////
A f(const A &a)
{   
    return a;  //compilation error with gcc 4.8.2
    //return A(a);   // even tried this to avoid optimization. does not work 
}
///////////////////////////////////
int main()
{
    //A a;
    //f(a);  
    return 0;
}

Answer 1

复制构造函数在返回时被隐式调用（并且在按值传递参数时也是如此）。

此代码将调用复制构造函数两次：

A f(const A &a)
{   
    return A(a);
}

A(a)表示显式副本，然后返回时会出现隐式副本。

如果您想禁止隐式复制，则也无法通过复制返回。你必须通过引用或指针返回（可能带有new'd副本）。

在C ++ 11及更高版本中，我相信上面的代码会调用 move 构造函数（ if 定义）来返回（尽管它仍会调用<显式调用的复制构造函数），这应该更有效。

即使提供了确切的参数，也会忽略显式复制构造函数

1 个答案: