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

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

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

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

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

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

    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'. Вероятнее всего, это не является ожидаемым поведением, а программист задумывал, что при копировании объектов произойдет копирование данных, а не просто указателей. Корректный код должен выглядеть следующим образом:

    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':

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

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

Выявляемые диагностикой ошибки классифицируются согласно ГОСТ Р 71207–2024 как критические и относятся к типу: Ошибки управления динамической памятью (выделения, освобождения, использования освобожденной памяти) [* см. примечание касательно языков C#, Java].

Данная диагностика классифицируется как:

CWE-665

Взгляните на примеры ошибок, обнаруженных с помощью диагностики V1002.