# V1002\. Class that contains pointers, constructor and destructor is copied by the automatically generated operator\= or copy constructor\.

Анализатор обнаружил потенциальную ошибку, связанную с вызовом конструктора копирования или оператора присваивания, которые сгенерированы автоматически\.

Перечислим условия, при выполнении которых такой вызов автоматически сгенерированных компилятором функций считается опасным:

1. У класса есть non\-default конструктор\.
1. У класса есть non\-default деструктор\.
1. Среди членов класса имеются указатели\.

Высока вероятность, что указатель ссылается на буфер памяти, которая выделяется в конструкторе, а затем освобождается в деструкторе\. Подобные объекты нельзя копировать с помощью таких функций как 'memcpy' или с помощью автосгенерированных функций \(конструктор копирования, оператор присваивания\)\.

Рассмотрим пример:

```cpp
class SomeClass
{
  int m_x, m_y;
  int *m_storagePtr;

public:
  SomeClass(int x, int y) : m_x(x), m_y(y)
  {
    m_storagePtr = new int[100];
    ....
  }
  ....
  ~SomeClass()
  {
    delete[] m_storagePtr;
  }
};

void Func()
{
  SomeClass A(0, 0);
  SomeClass B(A);           // <=
  ....
}
```

В данном примере при копировании объекта 'A' в объект 'B', происходит копирование указателя 'm\_storagePtr' из объекта 'A' в объект 'B'\. Вероятнее всего, это не является ожидаемым поведением, а программист задумывал, что при копировании объектов произойдет копирование данных, а не просто указателей\. Корректный код должен выглядеть следующим образом:

```cpp
class SomeClass
{
  int m_x, m_y;
  int *m_storagePtr;

public:
  SomeClass(int x, int y) : m_x(x), m_y(y)
  {
    m_storagePtr = new int[100];
    ....
  }
  
  SomeClass(const SomeClass &other) : m_x(other.m_x), m_y(other.m_y)
  {
    m_storagePtr = new int[100];
    memcpy(m_storagePtr, other.m_storagePtr, 100 * sizeof(int));
  }
  
  ....

  ~SomeClass()
  {
    delete[] m_storagePtr;
  }
};
```

Аналогичным образом диагностика находит потенциальные ошибки, связанные с использованием оператора присваивания, определенного по умолчанию\.

Конечно, анализатор может ошибиться и выдать предупреждение на вполне безопасный класс, однако лучше подстраховаться и изучить все предупреждения V1002\. Если окажется, что ошибки нет, то лучше всего явно указать, что программист предполагал использование автосгенерированных функций и это безопасно\. Для этого следует использовать ключевое слово 'default':

```cpp
T(const T &x) = default;
SomeClass &operator=(const T &x) = default;
```

В этом случае, человеку, который будет сопровождать код будет легче понять, что ошибки нет\. А анализатор PVS\-Studio не будет выдавать ложные предупреждения\.