C++：常量的静态分析？

Question

我知道有一堆静态分析工具可用于c++。但是，在谷歌搜索时，我找不到一个似乎能够对本可以标记为const的值和函数发出警告的方法。

特别是如果我有一个像这样的函数：

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

我想让这个工具就变量a和result发出警告(或者发出错误)，这两个变量本可以被标记为const，但却没有被标记。

此外，如果add是一个成员函数，我也希望得到关于它没有被声明为` `const的警告。

因此，首先，我想要一个工具来帮助我加强常量正确性，如果可能的话，它应该超越这一点，应该让我在我的代码目前允许的每一种情况下都使用const。

有没有工具可以为c++做这件事？或者这甚至是我找不到的clang中的一个编译器选项？

我在想，如果还没有可用的工具，也许这可以用clang-tidy来完成……

Answer 1

用于VisualStudio的Resharper-C++确实警告过这一点(它不是免费的)。我不确定他们在幕后使用的是什么。它可能就是那么整洁。

​

​