Определение правила

Перемещение std:: не должно использоваться на объектах, объявленных const или const &.

Объяснение

Когда вы используете std::move() на объекте, он приведен в rvalue. Затем компилятор управляет ресурсами объекта, вызывая конструктор или оператор с ближайшим соответствующим списком параметров. Если вы звоните std::move() на const или const& type object, вызов возвращает const или const& type rvalue. Потому что перемещайте конструкторы и операторы не берут const аргумент типа, компилятор вызывает конструктор копирования или оператор вместо конструктора перемещения или оператора. Рассмотрим этот фрагмент кода, где a const объект копируется, когда можно ожидать перемещения после вызова на std::move().

class string{
	//...
public:
	string(const string& rhs);// copy contructor
	string(string&& rhs);     //move constructor
};

void print(string text) {
	cout<<text;
	//...
}

int main(){
	int const message = "Error";
	//..
	print(std::move(message))// the copy constructor is called
}

Потому что std::move() не перемещает const или const& введите объект, избегайте использования std::move() на const или const& объекты. Если вы намерены переместить ресурсы из объекта, не объявляйте его как const или const&.

Реализация Polyspace

Polyspace^® флаги использования std::move() на:

Поиск и устранение проблем

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».