#include <stdio.h>
int main(){
int a[1] = {1};
int b = 6;
printf("%d\n", a[-1]);
printf("%d\n", b);
//printf("%d\n", (a-1 == &b));
return 0;
}
我写了上面的代码，发现在使用gcc或mingw编译时它不能正常工作，但是当我取消第8行的注释时，一切都很好。谁能帮我解释一下代码？
【问题讨论】：
b，所以它消除了它。当你有第 8 行时，它需要b。使用负索引是未定义的行为——当你使用它时，任何事情都可能发生。
a[-1] 是未定义的内存空间。
【讨论】：
数组的索引无效，我认为您的意思是 print a[1] printf("%d\n", a[-1])
【讨论】：
b 和 a 在内存中可能不是邻居，因此访问 b 是错误的。
#include <stdio.h> int main(){ int a[1] = {1}; int *b; b = a-1; printf("Adress of a, aka a[0]: %d\n", a); printf("Address of a-1: %d\n", a-1); printf("Address of b: %d\n",b); printf("Value b is pointing to: %d\n", *b); printf("Does the address of a== adress of b? %d\n", (a-1 == b)); return 0; }
a[-1] 和 a-1 导致未定义的行为。首先，让我们从 C11 标准部分 6.5.2.1p2 中获取数组下标的定义：
后缀表达式后跟方括号中的表达式 [] 是一个下标 指定数组对象的元素。下标运算符的定义 [] 就是它 E1[E2] 等同于 (*((E1)+(E2))) .
所以数组下标在给指针加整数时遵循指针算术规则。
在 6.5.6p8 节定义指针算法时，它设置了一些规则和行为（强调我的）：
如果两个指针 操作数和结果指向同一数组对象的元素，或最后一个元素 数组对象的元素，评估不应产生溢出； 否则， 行为未定义。 如果结果指向数组对象的最后一个元素，则它 不得用作一元的操作数 * 被评估的运算符。
您的问题中数组下标涉及的指针运算的结果在数组对象之外，因此会导致未定义的行为。
【讨论】：