c++ - 即使提供了精确参数，显式拷贝构造函数也将被忽略

提供了副本构造函数。使用它时，会将完全相同的类型传递给参数。似乎编译器(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;
}

最佳答案

复制构造函数在返回时(以及在按值传递参数时)隐式调用。

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

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

A(a)表示显式副本，然后在返回时存在隐式副本。

如果要禁止隐式复制，则也不能按副本返回。您必须按引用或指针返回(可能带有new'd副本)。

在C++ 11及更高版本中，我相信上面的代码将改为调用move构造函数(如果已定义)作为返回值(尽管它仍将为显式调用调用copy构造函数)，并且这样应该更有效。

关于c++ - 即使提供了精确参数，显式拷贝构造函数也将被忽略，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/20431364/