C++：static 分析 const？

Question

我知道有一堆 static 分析工具可用於 c++。 但是，在谷歌搜索時，我找不到一個似乎能夠警告可能被標記為const但不是的值和函數的值和函數。

所以特別是如果我有這樣的 function ：

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

我希望該工具警告我（或發出錯誤）變量a和result可能已標記為const但沒有。
此外，如果add是成員 function 我還想被警告它沒有被聲明為`const。

因此，對於一個人來說，我想要一個工具來幫助我強制執行 const 正確性，如果可能的話，它應該 go 超出此范圍，並且應該讓我在我的代碼當前允許的每一種情況下都使用const 。

是否有可以為 c++ 執行此操作的工具？ 或者這甚至是我似乎找不到的clang中的編譯器選項？

我在想，如果還沒有可用的工具，也許這可以通過clang-tidy以某種方式完成......

Answer 1

VisualStudio的 Resharper-C++確實對此發出警告（它不是免費的）。 我不確定他們在幕后使用什么。 它可能只是整潔。