本篇案例来自 Miranda NG 源码。
错误代码：
#define MF_BYCOMMAND 0x00000000L
void CMenuBar::updateState(const HMENU hMenu) const
{
....
::CheckMenuItem(hMenu, ID_VIEW_SHOWAVATAR,
MF_BYCOMMAND | dat->bShowAvatar ? MF_CHECKED : MF_UNCHECKED);
....
}
问题解释：
我想提出一个发人深思的主题来讨论：有时候，我们会看到完全不正确的代码却能工作得很好！
经验丰富的程序猿不会对这个问题感到惊讶（这又是另一个故事），但对那些最近刚开始学习 C/C++ 的人来说，这个问题也许有点让人困惑。那么，今天我们就来看看这样一个示例。
在上面显示的代码中，必须在调用 CheckMenuItem() 时设置标志位；然后，先看 bShowAvatar 是否为 true，如果成立MF_BYCOMMAND 就和 MF_CHECKED 按位或运算，反之则和 MF_UNCHECKED 做按位或运算。就这么简单！
MF_BYCOMMAND | dat->bShowAvatar ? MF_CHECKED : MF_UNCHECKED
在上面的代码中，这位程序猿很自然地选择三元运算符来表示这个过程（这个运算符是 if-then-else 的简便版）：
MF_BYCOMMAND | dat->bShowAvatar ? MF_CHECKED : MF_UNCHECKED
问题是，按位或运算符 | 比运算符 ?: 的优先级更高（详细看 C/C++ 运算优先级）。很明显这里有两个错误。
第一个错误是条件变了，不再是“dat->bShowAvatar”，而变成了“MF_BYCOMMAND | dat->bShowAvatar”。
第二个错误是只选择了一个标志位 —— MF_CHECKED 或 MF_UNCHECKED，标志位 MF_BYCOMMAND 不见了。
尽管存在这些错误，这条代码仍然能正常工作！这纯粹是因为运气。这位程序猿很走运，因为MF_BYCOMMAND 等于 0x0000000L。
当标志位 MF_BYCOMMAND 等于 0，也不会对代码有任何影响。可能某些经验丰富的程序猿已然明了，但万一这里有新手，我还是详细解释一下其中的缘由。
先来看看加了括号的正确表达式：
MF_BYCOMMAND | (dat->bShowAvatar ? MF_CHECKED : MF_UNCHECKED)
用数值替换宏：
0x00000000L | (dat->bShowAvatar ? 0x00000008L : 0x00000000L)
如果运算符“|”两边的操作数之一为0，那我们可以将表达式简化为：
dat->bShowAvatar ? 0x00000008L : 0x00000000L
现在来进一步看看错误代码的变体：
MF_BYCOMMAND | dat->bShowAvatar ? MF_CHECKED : MF_UNCHECKED
用数值代替宏：
0x00000000L | dat->bShowAvatar ? 0x00000008L : 0x00000000L
在子表达式“0x0000000L | dat->bShowAvatar”中，运算符 | 的操作数之一为0，将表达式简化为：
dat->bShowAvatar ? 0x00000008L : 0x00000000L
结果就是，我们得到了相同的表达式，这就是错误代码能正确工作的原因。又发生了一个编程奇迹。
正确代码这么写：
有很多种方法可以修正这段代码，其中一个方法就是加上圆括号，另外一个就是增加一个中间变量。用大家熟悉的操作符“if”在这里也会有帮助：
if (dat->bShowAvatar)
::CheckMenuItem(hMenu, ID_VIEW_SHOWAVATAR,MF_BYCOMMAND | MF_CHECKED);
else
::CheckMenuItem(hMenu, ID_VIEW_SHOWAVATAR,MF_BYCOMMAND | MF_UNCHECKED);
我真的不是强调非用这种方式修正代码不可。这样也许更易阅读，但稍微有点长，所以这更多的是个人偏好。
建议：
我的建议很简单 —— 设法避免复杂的表达式，尤其是在使用三元运算符的时候。还有，别忘了圆括号。
要记住，操作符 “?:”很危险！有时你会忘记它的优先级比较低，并且容易写出错误的表达式。人们常常在塞满一个字符串时使用这个操作符，因此尽量不要那么做。还有什么问题或者想一起交流的可以加这个群：941636044 ，群里面也有一些方便学习C++的资料。
网友评论