静态代码分析工具可简化编码过程，检测出错误并帮助修复。PVS-Studio 是一个用于 C/C++ 的静态代码分析工具。该团队检测了 200 多个C/C++开源项目，包括了 Unreal Engine、Php、Haiku、Qt 和 Linux 内核等知名项目。
下面这个Bug是在SourceSDK的源代码中发现的。
错误代码：
这种错误的例子代码量都非常大，我尽可能地选取其中最小的一部分，但是很抱歉，代码看起来依旧很冗长。
enum PhysGunPickup_t{ PICKED_UP_BY_CANNON, PUNTED_BY_CANNON, PICKED_UP_BY_PLAYER,};enum PhysGunDrop_t{ DROPPED_BY_PLAYER, THROWN_BY_PLAYER, DROPPED_BY_CANNON, LAUNCHED_BY_CANNON,};void CBreakableProp::OnPhysGunDrop(...., PhysGunDrop_t Reason){ .... if( Reason == PUNTED_BY_CANNON ) { PlayPuntSound(); } ....}
解释：
Reason变量是属于枚举类型PhysGunDrop_t，却用它和属于另一个枚举类型的常量作比较，这种比较显然是个逻辑错误。
但是这种bug模式很普遍，我甚至在像Clang、TortoiseGit 和 LinuxKernel这种项目中都有碰到过。
为什么会如此频繁？因为在标准C++中，枚举类型本来就不是类型安全的。到底什么该跟什么做比较，很容易让人混淆。
正确代码：
我不太确定这段代码的正确版本应该是什么样的，我猜想PUNTED_BY_CANNON应该用DROPPED_BY_CANNON或者LAUNCHED_BY_CANNON来替代。此处就用LAUNCHED_BY_CANNON来代替了。
if( Reason == LAUNCHED_BY_CANNON ){ PlayPuntSound();}
建议：
如果你是用C++写代码，还没碰到过这种bug，算你幸运；我强烈建议你从现在开始在代码中使用“枚举类”。
对于C++11中的一些新特性，我没有太多信心。就拿auto关键字来说吧，我相信如果频繁使用的话，会有很多坏处的。我是这么看的：比起写代码，程序员会花更多的时间阅读代码，所以我们必须确保程序的可读性很强。C语言中，所有变量都必须在函数的一开始就声明，那么在函数的中间或者末尾编辑代码时，没那么容易推测出某个Alice变量到底是什么意思。这也是为什么变量的命名规范会这么多样化？例如，前缀命名法PfAlice就代表指向浮点数的指针。
C++中你可以随时随地声明变量，这是一种很好的编码风格。因而使用前后缀命名也不再那么受欢迎了。接着auto关键字出现了，直接导致程序员又开始使用各种各样很难理解的构造形式，诸如autoAlice=FOO();之类的。Alice？谁是TM的Alice？（为保留原文本意，此处翻译稍有不文明）
很抱歉，又偏离我们的主题了。我想告诉大家的是一些新的特性都有它的好坏两面性。但是对于“枚举类”，我坚信使用它有百利而无一害。
在使用枚举类的时候，必须明确指出指定的常量属于哪个枚举类型，以免在代码中出现错误。使用枚举类更新后的代码如下：
enum class PhysGunDrop_t{ DROPPED_BY_PLAYER, THROWN_BY_PLAYER, DROPPED_BY_CANNON, LAUNCHED_BY_CANNON,};void CBreakableProp::OnPhysGunDrop(...., PhysGunDrop_t Reason){ .... if( Reason == PhysGunDrop_t::LAUNCHED_BY_CANNON ) { PlayPuntSound(); } ....}
说真的，修复旧代码的确会有一定困难，但我强烈推荐你们在代码中使用枚举类，你的项目定会从中受益。
我觉得在这儿详细介绍枚举类没有多大意义，有兴趣的可以自己去了解一下的。
这个错误是用静态代码分析工具PVS-Studio 检测到的，错误信息为：V556对不同枚举类型的值进行比较：Reason==PUNTED_BY_CANNON。
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，谢谢大家对的支持。如果你想了解更多相关内容请查看下面相关链接
你并不一定会从此拥有更美好的人生，
