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