C 语言中未指定行为的一个示例是函数参数的求值顺序。它可能是从左到右或从右到左，你只是不知道。这会影响foo(c++, c) 或foo(++c, c) 的评估方式。
还有哪些其他未指明的行为会让不知情的程序员感到惊讶？
【问题讨论】：
foo(c++, c) 和 foo(++c, c) 都是未定义的行为，完全胜过未定义的行为。
标签： c language-lawyer undefined-behavior unspecified-behavior
语言律师问题。嗯。
我的个人top3：
违反严格的别名规则
违反严格的别名规则
违反严格的别名规则
:-)
编辑这是一个错误两次的小例子：
（假设 32 位整数和小端序）
float funky_float_abs (float a)
{
unsigned int temp = *(unsigned int *)&a;
temp &= 0x7fffffff;
return *(float *)&temp;
}
该代码试图通过直接在浮点数表示中对符号位进行位旋转来获取浮点数的绝对值。
但是，通过从一种类型转换为另一种类型来创建指向对象的指针的结果是无效的 C。编译器可能会假设指向不同类型的指针不指向同一块内存。这适用于除 void* 和 char* 之外的所有类型的指针（符号无关紧要）。
在上述情况下，我这样做了两次。一次获取浮点 a 的 int-alias，一次将值转换回浮点数。
有三种有效的方法可以做到这一点。
在强制转换期间使用 char 或 void 指针。这些总是别名为任何东西，所以它们是安全的。
float funky_float_abs (float a)
{
float temp_float = a;
// valid, because it's a char pointer. These are special.
unsigned char * temp = (unsigned char *)&temp_float;
temp[3] &= 0x7f;
return temp_float;
}
使用内存复制。 Memcpy 采用 void 指针，因此它也会强制使用别名。
float funky_float_abs (float a)
{
int i;
float result;
memcpy (&i, &a, sizeof (int));
i &= 0x7fffffff;
memcpy (&result, &i, sizeof (int));
return result;
}
第三种有效方式：使用联合。这是明确的自 C99 以来不是未定义的：
float funky_float_abs (float a)
{
union
{
unsigned int i;
float f;
} cast_helper;
cast_helper.f = a;
cast_helper.i &= 0x7fffffff;
return cast_helper.f;
}
【讨论】：
我个人最喜欢的未定义行为是，如果非空源文件不以换行符结尾，则行为未定义。
我怀疑这是真的，尽管除了发出警告之外，我所见过的任何编译器都没有根据它是否以换行符终止来区别对待源文件。所以这并不是真正让不知情的程序员感到惊讶的事情，除了他们可能会对警告感到惊讶。
所以对于真正的可移植性问题（主要是依赖于实现而不是未指定或未定义，但我认为这符合问题的精神）：
if (x+1 < x)当x 具有签名类型时，可能会被优化为始终为 false：请参阅 GCC 中的-fstrict-overflow 选项）。 即使在您开发的平台上也可能会令人惊讶，因为行为只是部分未定义/未指定：
POSIX 线程和 ANSI 内存模型。对内存的并发访问并没有新手想象的那么好。 volatile 不符合新手的想法。内存访问的顺序并不像新手想象的那么好。访问可以在某些方向跨越内存屏障。不需要内存缓存一致性。
分析代码并不像您想象的那么容易。如果您的测试循环无效，编译器可以删除部分或全部。 inline 没有明确的效果。
而且，正如我认为 Nils 顺便提到的：
【讨论】：
我最喜欢的是这个：
// what does this do?
x = x++;
回答一些cmets，根据标准，这是未定义的行为。看到这一点，编译器可以做任何事情，包括格式化你的硬盘。 参见例如this comment here。关键不是您可以看到某些行为可能存在合理的期望。由于 C++ 标准和序列点的定义方式，这行代码实际上是未定义的行为。
例如，如果我们在上面的行之前有x = 1，那么之后的有效结果是什么？有人评论说应该是
x 加 1
所以我们应该看到 x == 2 之后。然而这实际上不是真的，你会发现一些编译器之后有 x == 1，甚至可能有 x == 3。你必须仔细查看生成的程序集，看看为什么会这样，但差异是由于到根本问题。本质上，我认为这是因为允许编译器以它喜欢的任何顺序评估两个赋值语句，所以它可以先执行x++，或者先执行x =。
【讨论】：
用指向某物的指针来划分某物。只是由于某种原因无法编译... :-)
result = x/*y;
【讨论】：
double x = 2; int z = 1, *y; y = &z; int result = x / *y; - 这个答案需要彻底编辑或紧急删除。 -1
我遇到的另一个问题（已定义，但绝对出乎意料）。
char 是邪恶的。
【讨论】：
char、unsigned char和signed char。它们是明确不同的类型。
char。许多标准库函数（就像所有的 str*() 函数一样）采用指向 char 的指针，并为它们提供其他任何东西都需要丑陋的强制转换。
我无法计算我已更正 printf 格式说明符以匹配其参数的次数。 任何不匹配都是未定义的行为。
int（或 long）传递给 %x - unsigned int 是必需的unsigned int 传递给 %d - int 是必需的size_t 传递给%u 或%d - 使用%zu
%d 或%x 的指针 - 使用%p 并转换为void *
【讨论】：
int 传递给%x，或将unsigned int 传递给%d，只要值在两种类型的范围。不过，我更愿意避免它。
如果函数原型不可用，编译器不必告诉您您正在调用具有错误参数数量/错误参数类型的函数。
【讨论】：
printf 之类的可变函数仍然存在问题。）
我见过很多相对缺乏经验的程序员被多字符常量所困扰。
这个：
"x"
是一个字符串文字（它的类型为char[2]，在大多数情况下衰减为char*）。
这个：
'x'
是一个普通的字符常量（由于历史原因，它的类型是int）。
这个：
'xy'
也是一个完全合法的字符常量，但它的值（仍然是int 类型）是实现定义的。这是一个几乎无用的语言功能，主要用于引起混淆。
【讨论】：
'????' .
char* 和char 的重载函数尤其危险。我见过很多人被它咬过(example)
clang 开发人员不久前发布了一些great examples，这是每个 C 程序员都应该阅读的帖子。一些之前没有提到的有趣的：
【讨论】：
这里的EE刚刚发现a>>-2有点紧张。
我点点头告诉他们这不自然。
【讨论】：
请务必在使用变量之前对其进行初始化！当我刚开始使用 C 语言时，这让我很头疼。
【讨论】：