C++ 编译时纯度​​检查？

Question

是否可以在 C++ 中指定编译时“纯度”检查？

即:

this function does not read from anything other than it's arguments
this function does not write to anything; it only returns the return value

Answer 1

const-correctness和高编译器警告级别应该做很多你要求的事情。还为编译器指定了一种非常严格的现代 C++ 方言(当您使用不符合要求的第三方库和代码时，这会让您非常恼火)

如果没有，那么那里有大量的静态分析工具，一些是开源的，一些是昂贵的，比如 Coverity、Parasoft C++Test 等等。