C++:const 的静态分析？

Question

我知道有很多适用于 C++ 的静态分析工具。然而，当谷歌搜索时，我找不到一个似乎能够警告可能被标记为 const 但不是的值和函数。

特别是如果我有这样的功能:

int add(int a, const int b) {
    int result = a + b;
    return result;
}

我希望该工具就变量 a 和 result 向我发出警告(或发出错误)，它们可能已被标记为 const但不是。
此外，如果 add 是一个成员函数，我还想收到关于它未被声明为 `const 的警告。

因此，我想要一个工具来帮助我执行 const-correctness，如果可能的话，它应该超越这个范围，并且应该让我在我的代码当前允许的每一种情况下都使用 const。

是否有可以为 C++ 执行此操作的工具？或者这甚至是一个编译器选项，例如clang 我好像找不到？

我在想，如果还没有可用的工具，也许这可以通过 clang-tidy 以某种方式完成...

Answer 1

Resharper-C++ for VisualStudio 确实对此发出警告(它不是免费的)。我不确定他们在幕后使用什么。它可能只是整洁。