CWARN.COPY.NOASSIGNClass defines copy constructor, but no assignment operatorThe CWARN.COPY.NOASSIGN checker finds classes that define a copy constructor, but no assignment operator. Vulnerability and riskThe default copy constructor and assignment operator generated by the C++ compiler perform a bit-wise copy of class data members. If members are overwritten, memory might not be disposed of properly. This situation can lead to leaked memory and unreleased resources. Mitigation and preventionTo address the problem, always provide an explicit implementation of the assignment operator for classes that contain dynamically allocated data members, and always ensure that there is a deep copy of those data members. Vulnerable and fixed code example
1 class A
2 {
3 public:
4 A(const A &other);
5 };
6
7 class B
8 {
9 public:
10 B(const B &other);
11 B &operator=(const B &other);
12 };
13
17 class C
18 {
19 public:
20 void f() {}
21 };
34 };
In this code example, Klocwork flags class A, since it defines a copy constructor and no assignment operator. In contrast, class B defines both a copy constructor and an assignment operator, and doesn't get flagged. Related checkers |