1

g++ 验证预定的规则和约束集,如果在代码中未满足这些规则和约束,则会引发错误或警告消息。是否可以使用某些工具为自定义规则集创建解析器,例如“需要显式初始化全局变量”(我知道全局变量是隐式初始化的),或者已经调用了名为 init 的函数(我知道构造函数但是不想使用它们)。任何指向快速简单的东西的指针都会很有用。

4

2 回答 2

2

Coverity 允许您编写这样的自定义规则。它有点贵,所以可能不是为了这个而设置的爱好。不过,它是生产代码的好工具,而且可扩展。

于 2012-08-20T04:47:09.570 回答
0

CLANG 是一种静态代码分析器,用于确保您编写的内容是您的意思,即使您编写的内容无论如何都会编译。它只进行静态代码分析。

否则使用 assert() 或异常在运行时执行规则。

于 2012-08-20T04:45:47.480 回答