경고 C26800
개체에서 이동한 'object'를 사용합니다.
변수가 이동된 후 사용되는 경우 경고 C26800이 트리거됩니다. 변수는 함수에 rvalue 참조로 전달된 후 이동된 것으로 간주됩니다. 할당, 소멸 및 일부 상태 재설정 함수(예: std::vector::clear
.)에 대한 몇 가지 예외가 있습니다. 상태 재설정 함수를 사용한 후에는 변수를 자유롭게 사용할 수 있습니다. 이는 지역 변수에 대한 이유만 확인합니다.
다음 메서드는 상태 재설정 메서드로 간주됩니다.
- 이름에 대/소문자를 구분하지 않는 부분 문자열이 있는 함수:
clear
,,clean
reset
,free
destroy
, ,dealloc
release
assign
- 오버로드된 할당 연산자, 소멸자
이 검사는 다음 작업을 준수합니다.std::swap
void f() {
Y y1, y2;
consume(std::move(y1));
std::swap(y1, y2);
y1.method(); // OK, valid after swap.
y2.method(); // warning C26800
}
검사에서는 인수를 try_emplace
조건부로 이동하는 STL의 작업도 지원합니다.
int g() {
std::map<int, Y> m;
Y val;
auto emplRes = m.try_emplace(1, std::move(val));
if (!emplRes.second) {
val.method(); // No C26800, val was not moved because the insertion did not happen.
}
}
코드 분석 이름: USE_OF_A_MOVED_FROM_OBJECT
다음 코드는 C26800을 생성합니다.
#include <utility>
struct X {
X();
X(const X&);
X(X&&);
X &operator=(X&);
X &operator=(X&&);
~X();
};
template<typename T>
void use_cref(const T&);
void test() {
X x1;
X x2 = std::move(x1);
use_cref(x1); // warning C26800
}
다음 코드는 C26800을 생성하지 않습니다.
#include <utility>
struct MoveOnly {
MoveOnly();
MoveOnly(MoveOnly&) = delete;
MoveOnly(MoveOnly&&);
MoveOnly &operator=(MoveOnly&) = delete;
MoveOnly &operator=(MoveOnly&&);
~MoveOnly();
};
template<typename T>
void use(T);
void test() {
MoveOnly x;
use(std::move(x)); // no 26800
}