是否有关于这种使用 std::move 的编译警告？

Question

以下程序显示了std::move() 的两个有问题（但在技术上有效）的用法。是否可以使用 LLVM 获得关于这些的编译警告？我注意到在std::move 是多余的一些其他上下文中存在诊断。

我用 bcc32c 版本 5.0.2（基于 LLVM 5.0.2）编译了它，没有收到任何警告。

#include <vector>

int main() {
    const std::vector<int> a = {1, 2, 3};
    std::vector<int> b = {3, 4, 5};

    std::vector<int> c = std::move(a); // std::move from const

    std::vector<int> d = std::move(b);

    std::vector<int> e = b; // used after std::move
}

Answer 1

clang-tidy 的 bugprone-use-after-move 检查器支持这种诊断：

bugprone-use-after-move

如果对象在移动后被使用，则发出警告，例如：

std::string str = "Hello, world!\n";
std::vector<std::string> messages;
messages.emplace_back(std::move(str));
std::cout << str;

最后一行会触发一个警告说 str 被使用后 被移动了。

[...]

使用

任何不是重新初始化（见下文）的移动变量的出现都被视为使用。

[...]

如果移动后出现多次使用，则仅标记其中的第一个。

Answer 2

clang-tidy 有一个 performance-move-const-arg 检查，会发出警告：

1. 如果使用常量参数调用 std::move()，
2. 如果 std::move() 使用可平凡复制类型的参数调用，
3. 如果 std::move() 的结果作为 const 引用参数传递。

在所有这三种情况下，检查都会建议删除 std::move() 的修复。

下面的例子：

const string s;
return std::move(s);  // Warning: std::move of the const variable has no effect

int x;
return std::move(x);  // Warning: std::move of the variable of a trivially-copyable type has no effect

void f(const string &s);
string s;
f(std::move(s));      // Warning: passing result of std::move as a const reference argument; no move will actually happen