是否有静态分析器可以检查 C/C++/Objective-C 中的局部变量重新分配？

Question

有没有什么方法（例如编译器标志）可以在没有 C/C++/Objective-C 中的说明符的情况下自动设置 ALL 局部变量 const？就像函数式语言中的 let 语义一样。

因为我想将const 设置为所有局部变量，但这太烦人了，并且使代码的可读性降低。如果我可以默认设置所有局部变量const，并且我可以手动设置一些变量mutable，那对我来说会很棒。但我从来没有听说过。

如果你知道什么，请告诉我。

---

编辑

在阅读回复后，我对此进行了更多思考。而且我强烈同意它会破坏强大的 C 约定（或标准？），因为它已经被默认定义为可变的。

所以我的想法变成了另一种形式。一种静态分析器。不是编译器。 如果某些工具可以检查重新分配的局部变量，并且可以定义任何标记可变变量的机制（例如，特定的空预处理器符号），那么它对我来说将是完美的工具。而且，它不会破坏 C 约定。

所以我稍微更改了问题标题并添加了这段文字。

Answer 1

... errr 通过使用宏来实现：

int main () {

 #define int const int
 #define float const float

 int x = 5;
 float y = 5.3;

 #undef int
 #undef float

 return 0;
}

您甚至可以将这些 def 和 undef 分成两个不同的标头，这样您的代码看起来会更干净一些：

int main () {

 #include "all_vars_const_begin.h"

 int x = 5;
 float y = 5.3;

 #include "all_vars_const_end.h"

 return 0;
}

但我不确定这种风格是否可以。