请看这段微小的C代码或C++代码，它在godbolt上......
void b( char const *c);
void a(void)
{
char const z[] = {0xd, 0xe, 0xa, 0xd, 0xb, 0xe, 0xe, 0xf, 0xa};
b(z);
}
void c(void)
{
static char const z[] = {0xd, 0xe, 0xa, 0xd, 0xb, 0xe, 0xe, 0xf, 0xa};
b(z);
}
C++有以下 规则：
除非对象是位域或零大小的子对象，否则该对象的地址为其占用的第一个字节的地址。不是位域且具有重叠生命周期的两个对象，如果一个嵌套在另一个内部，或者至少一个是零大小的子对象且它们具有不同的类型，则其可以具有相同的地址；否则，它们具有不同的地址并占用不相交的存储字节。
现在，请看这段代码:
#include <stdio.h>
void c();
void b(const char *a) {
static const char *p = 0;
if (!p) {
p = a;
c();
} else {
if (a==p) {
printf("problem!\n");
}
}
}
void c() {
const char a[] = { 0xd, 0xe, 0xa, 0xd, 0xb, 0xe, 0xe, 0xf };
b(a);
}
int main() {
c();
}
在这里，c被递归调用了一次，所以根据规则，数组a在每个递归级别中应该具有不同的地址。 b在第一次调用时将a存储在其中，在第二次调用时，它检查是否相同。 使用符合规范的编译器，它不应该打印“问题！”。 但实际上，使用旧的编译器（GCC 4.1，clang 6.0），它会打印“问题！”，因此这些编译器违反了标准。
编译器只允许在可以证明此更改不是可观察到的情况下将a设为静态:
按照“as-if”规则，如果程序无法观察到区别，则实现允许将两个对象存储在相同的机器地址或根本不存储对象
c()的b(z)传递了一个指向数组的指针，该指针在b()完成后仍然有效。但是a()的b(z)不是这样。有趣的是，将restrict添加到void b(char const * restrict c);中是否会改变情况？ - chux - Reinstate Monicastatic char const z[]，表示z是静态变量。静态变量必须位于数据段中。因此编译器会使用两条指令。对于char const z[]，z 是常量变量，我认为编译器可以将其放在数据段或堆栈中。我认为这只是编译器的选择，但并不确定。如果使用char z[]，那么编译器将把z放在堆栈中，然后函数a将有更多的指令。 - randomeval