Скрытого копирования конструктор 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) }; запрашивает конструктор копирования, по крайней мере, формально. Практически копия обычно удаляется, но подпадает под правило «как есть», а конструктор копирования все же должен быть доступен, хотя в конечном счете он не используется. (В GCC вы можете сказать -fno-elide-constructors, чтобы на самом деле вызвать конструктор копирования.)

Вы не можете решить эту проблему на C++ 03, где инициализация скобок всегда требует официальной копии. В C++ 11 вы можете использовать инициализацию скобками прямой инициализации элементов массива, хотя:

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

Это работает даже при отсутствии доступного конструктора копии.

Answer 2

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

При написании этого, потребность компилятора копировать-конструктор, как это копии инициализация. Вот почему вы получаете ошибку компиляции, поскольку конструктор-копия объявлен private, и поэтому он недоступен извне. Однако, если вы определяете его в разделе public, то он работает, но copy-constructor не получает вызов, что связано с оптимизацией, выполняемой компилятором. Спецификация позволяет компилятору выходить из вызова конструктора-копии в такой ситуации, однако ему все еще нужен доступный copy-constructor только для семантической проверки кода. Это действительно не называется, как только семантическая проверка сделана!

Answer 3

Это неправильно, потому что вы используете массив объектов, которые должны быть созданы путем копирования:

#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); 

Надежда это помогает;)