隐藏复制构造函数 C++

Question

我想创建无法复制的类，因此我将复制构造函数放入私有部分：

class NotCopyable
{
public:
    NotCopyable(const double& attr1, const double& attr2) : _attr1(attr1), _attr2(attr2) {}
    ~NotCopyable(void) {}

private:
    NotCopyable& operator=(const NotCopyable&);
    NotCopyable(const NotCopyable&);
    double _attr1;
    double _attr2;
};

一切都很好，除非我想分配数组：

NotCopyable arr[] =
{
    NotCopyable(1, 0),
    NotCopyable(2, 3)
};

编译器说她无法按原样访问复制构造函数在私人部分。 当我将其放在公共部分时：

class NotCopyable
{
public:
    NotCopyable(const double& attr1, const double& attr2) : _attr1(attr1), _attr2(attr2) {}
    ~NotCopyable(void) {}
    NotCopyable(const NotCopyable&)
    {
        std::cout << "COPYING" << std:: endl;
    }
private:
    NotCopyable& operator=(const NotCopyable&);

    double _attr1;
    double _attr2;
};

程序编译没有错误，但不调用复制构造函数。所以问题是：如何禁止复制但仍然可以分配数组？

Answer 1

您的代码 arr [] = { NotCopyable(1,2) }; 确实请求复制构造函数，至少在形式上是这样。实际上，复制通常被省略，但这属于“as-if”规则，并且复制构造函数仍然必须可访问，即使最终不使用它。 （在 GCC 中，您可以说 -fno-elide-constructors 来实际调用复制构造函数。）

您无法在 C++03 中解决这个问题，其中大括号初始化始终需要正式的复制。不过，在 C++11 中，您可以使用大括号初始化来直接初始化数组成员：

NotCopyable arr[] { {1, 0}, {2, 3} };

即使在没有可访问的复制构造函数的情况下，这也可以工作。

Answer 2

这是不正确的，因为您使用必须通过复制创建的对象数组：

#include <vector>
using namespace std;

class NotCopyable
{
public:
    NotCopyable(const double& attr1, const double& attr2) : _attr1(attr1), _attr2(attr2) {}
    ~NotCopyable(void) {}

private:
    NotCopyable& operator=(const NotCopyable&);
    NotCopyable(const NotCopyable&);
    double _attr1;
    double _attr2;
};

int main()
{
    vector<NotCopyable> v;
    NotCopyable a(1, 2);
    v.push_back(a); // THIS IS COPYING
    return 0;
}

由于您已禁用复制，因此只能存储引用。您应该将其设为指针数组：

NotCopyable a(1, 2);

// incorrect:
vector<NotCopyable> v;
v.push_back(a);

// correct:
vector<NotCopyable*> v2;
v2.push_back(&a);

希望这会有所帮助；）

Answer 3

NotCopyable arr[] =
{
    NotCopyable(1, 0),
    NotCopyable(2, 3)
};

当您编写此代码时，编译器需要复制构造函数，因为它是复制初始化。这就是为什么你会得到编译错误，因为复制构造函数被声明为私有，因此无法从外部访问它。但是，如果您在 public 部分中定义它，那么它可以工作，但复制构造函数不会被调用，这是因为编译器完成了优化。该规范允许编译器在这种情况下省略复制构造函数的调用，但是它仍然需要可访问的复制构造函数，仅用于代码的语义检查。一旦语义检查完成，它实际上就不会被调用！