from:http://www.oschina.net/question/1579_45444
首先,一小段理论知识
未定义行为是某些编程语言的特性（尤其在C和C++中），在某些情形下产生的结果將依赖于编译器的实现或指定的优化选项。换句话说，规范并没有定义 某情况下该语言的行为，仅仅是说：“在 A 条件下，B 结果是未定义的”。在这种情况下错误在你的程序中被认为是允许的，甚至在一些特别的编译器中执行良好。这样的程序不能跨平台，并有可能在不同的电脑，不同 的操作系统甚至不同的编译器设置中导致失败。
一个时序点可以是程序中的任意点,它保证在它之前所有运算的副作用已完成,而后继运算的副作用未开始.学习更多关于时序和跟时序点相关的未定义行为,查看该贴:http://www.viva64.com/en/t/0065/.
例 1. Chromium项目。不正确的使用智能指针。
1 |
void AccessibleContainsAccessible(...) |
4 |
auto_ptr<VARIANT> child_array(new VARIANT[child_count]); |
The error was found through the V554 diagnostic: Incorrect use of auto_ptr. The memory allocated with 'new []' will be cleaned using 'delete'. interactive_ui_tests accessibility_win_browsertest.cc 171
该例子演示了使用智能指针的时候，有可能导致未定义的行为。它可能通过堆破坏，程序崩溃，未完全的对象析构函数或任何其它的错误传达. 该错误是：内存被new [] 操作分配，而被‘auto_ptr'类构析函数里的 delete 操作释放:
为修复这类问题，你应为实例使用一个更恰当的类，boost::scoped_array.
例 2. IPP Samples 项目。经典的未定义行为。
01 |
template<typename T, Ipp32s size> void HadamardFwdFast(...) |
06 |
a[0] = pTemp[0*4] + pTemp[1*4]; |
07 |
a[1] = pTemp[0*4] - pTemp[1*4]; |
08 |
a[2] = pTemp[2*4] + pTemp[3*4]; |
09 |
a[3] = pTemp[2*4] - pTemp[3*4]; |
The error was found through the V567 diagnostic: 未定义行为. 'pTemp' 变量被修改且在时序点间使用了两次. me umc_me_cost_func.h 168
这是一个关于未定义程序行为的经典例子. 各类文章中都拿它来演示未定义行为. ‘pTemp'自增与否是未知的。两个改变 pTemp 变量值的操作位于一个时序点中.这意味着编译器可能创建如下的代码：
pTemp = pTemp + 1;
pTemp = pTemp;
也可能创建另一版本的代码：
TMP = pTemp;
pTemp = pTemp + 1;
pTemp = TMP;
创建何种版本的代码依赖于编译器和优化选项。
例 3.Fennec Media Project 项目。复杂的表达式。
1 |
uint32 CUnBitArrayOld::DecodeValueRiceUnsigned(uint32 k) |
4 |
while (!(m_pBitArray[m_nCurrentBitIndex >> 5] & |
5 |
Powers_of_Two_Reversed[m_nCurrentBitIndex++ & 31])) {} |
The error was found through the V567 diagnostic: 'm_nCurrentBitIndex' 变量被修改并在单个时序点中被使用了两次.MACLib unbitarrayold.cpp 78
'm_nCurrentBitIndex' 变量的使用在两者间并没有时序点. 意味着标准并未指定该变量何时增长. 情况不同, 该代码可能工作方式不同,依赖于编译器和优化选项.
例 4.Miranda IM 项目. 复杂的表达式.
1 |
short ezxml_internal_dtd(ezxml_root_t root, |
5 |
while (*(n = ++s + strspn(s, EZXML_WS)) && *n != '>') { |
The error was found through the V567 diagnostic: 未定义行为. 's' 变量被修改且在时序点间使用了两次. msne zxml.c
这里使用了前缀++. 但不代表什么：无法保证 's' 变量值会在 strspn() 函数调用前增长。
为了更容易理解例子，让我们先回顾运算符优先级列表。
例 1.MySQL 项目。! 和 & 运算的优先级
1 |
int ha_innobase::create(...) |
6 |
&& (!create_info->options & HA_LEX_CREATE_TMP_TABLE)) { |
The error was found through the V564 diagnostic: '&' 操作被用到了bool类型的值上. 你很可能忘记加入圆括号或有意的使用'&&'操作。innobase ha_innodb.cc 6789
程序员想用表达式的某部分来检查 'create_info->options' 变量中的某个特定的比特位等于是否为 0 . 但 '!' 操作的优先级高于 '&' 操作，这就是该表达式使用下面运算规则的原因：
1 |
((!create_info->options) & HA_LEX_CREATE_TMP_TABLE) |
2 |
We should use additional parentheses if we want the code to work properly: |
3 |
(!(create_info->options & HA_LEX_CREATE_TMP_TABLE)) |
或者，我们发现更好的方式，用下面的方式编写代码:
1 |
((create_info->options & HA_LEX_CREATE_TMP_TABLE) == 0) |
例 2. Emule 项目. * 和 ++ 优先级.
2 |
CCustomAutoComplete::Next(..., ULONG *pceltFetched) |
5 |
if (pceltFetched != NULL) |
The error was found through the V532 diagnostic:考虑审查 '*pointer++' 部分. 可能的意思是：'(*pointer)++'. emule customautocomplete.cpp 277
如果 'pceltFetched' 不是一个空指针，该函数必须增加该指针指向的ULONG类型变量的值。错误是：'++' 运算符的优先级高于 '*' 运算符的优先级（指针解引用）。该 "*pceltFetched++;" 行等同于下面的代码：
1 |
TMP = pceltFetched + 1; |
实际上它仅仅增加了指针的值。为使代码正确，我们必须添加括号："(*pceltFetched)++;".
例 3.Chromium 项目。& 和 != 运算符的优先级
1 |
#define FILE_ATTRIBUTE_DIRECTORY 0x00000010 |
3 |
bool GetPlatformFileInfo(PlatformFile file, PlatformFileInfo* info) { |
6 |
file_info.dwFileAttributes & FILE_ATTRIBUTE_DIRECTORY != 0; |
The error was found through the V564 diagnostic: '&' 操作被用到了bool类型的值上. 你很可能忘记加入圆括号或有意的使用'&&'操作。base platform_file_win.cc 216
程序员们很容易忘记 '!=' 的优先级高于 '&' 的优先级。这就在我们的例子中发生了。因此，我们使用下面的表达式：
2 |
file_info.dwFileAttributes & (0x00000010 != 0); |
让我们简化它：
1 |
info->is_directory = file_info.dwFileAttributes & (true); |
再次简化它：
1 |
info->is_directory = file_info.dwFileAttributes & 1; |
原来, 我们是测试了第一个比特位而不是第5个比特位. 为修正它，我们需要添加圆括号。
例 4.BCmenu 项目。IF 和 ELSE 混乱。
1 |
void BCMenu::InsertSpaces(void) |
4 |
if(!xp_space_accelerators) return; |
6 |
if(!original_space_accelerators) return; |
The error was found through the V563 diagnostic: 可能，这里的 'else' 分支必须与前一个 'if' 关联。 fire bcmenu.cpp 1853
这不是一个优先级的错误，但与它有关。程序员没有顾及 'else' 分支是于最近的 'if' 操作符关联。我们有充分的理由认为代码將以下面的算法工作:
1 |
if(IsLunaMenuStyle()) { |
2 |
if(!xp_space_accelerators) return; |
4 |
if(!original_space_accelerators) return; |
但实际上它等同于下面的结构：
3 |
if(!xp_space_accelerators) { |
6 |
if(!original_space_accelerators) return; |
例 5.IPP Samples 项目. ?: 和 | 的优先级。
1 |
vm_file* vm_file_fopen(...) |
4 |
mds[3] = FILE_ATTRIBUTE_NORMAL | |
5 |
(islog == 0) ? 0 : FILE_FLAG_NO_BUFFERING; |
The error was found through the V502 diagnostic: 可能 '?:' 操作不会像期望的那样工作。'?:' 操作具有比 '|' 操作更低的优先级。 vm vm_file_win.c 393
依赖于 'islog' 变量值，该表达式必须等于 "FILE_ATTRIBUTE_NORMAL" 或 "FILE_ATTRIBUTE_NORMAL"。但这不会发生。'?:' 的优先级比 '|' 优先级低。因此，该代码会变成下面这样：
1 |
mds[3] = (FILE_ATTRIBUTE_NORMAL | (islog == 0)) ? |
2 |
0 : FILE_FLAG_NO_BUFFERING; |
让我们简化该表达式：
1 |
mds[3] = (0x00000080 | ...) ? 0 : FILE_FLAG_NO_BUFFERING; |
既然 FILE_ATTRIBUTE_NORMAL等于0x00000080，该条件永远为真。意味着 0 总是被写入 mds[3] 中。
例 6.Newton Game Dynamics 项目。?: 和 * 的优先级。
1 |
dgInt32 CalculateConvexShapeIntersection (...) |
4 |
den = dgFloat32 (1.0e-24f) * |
5 |
(den > dgFloat32 (0.0f)) ? |
6 |
dgFloat32 (1.0f) : dgFloat32 (-1.0f); |
The error was found through the V502 diagnostic: 可能 '?:' 操作不会像期望的那样工作。'?:' 具有比 '*' 运算更低的优先级。physics dgminkowskiconv.cpp 1061
该代码的错误再一次与 '?:' 去处符相关。'?:' 运算符的条件被一个无效的表达式 "dgFloat32 (1.0e-24f) * (den > dgFloat32 (0.0f))"表示了. 添加圆括号將解决该问题.
顺便说明，程序员们常常忘记 '?:' 运算符是多么狡猾。这里有个关于该主题贴子："How to make fewer errors at the stage of code writing. Part N2".
