将指针下移到界限之外；将指针递增到边界
下列行为是否会引发第4行和/或第5行中未定义的行为：
#include <stdio.h>
int main(void)
{
char s[] = "foo";
char * p = s - 1; /* line 4 */
printf("%s\n", p + 1); /* line 5 */
return 0;
}回答 3
Stack Overflow用户
发布于 2013-08-12 12:33:51
下列行为是否会引发第4行和/或第5行中未定义的行为：
是的，第4行是未定义行为，因为指针没有指向数组边界内或数组边界上的指针。虽然指向数组边界的值是有效的，但不能取消对该元素的引用。
c99标准草案中的相关部分是6.5.6加法算子第8段。
将具有整数类型的表达式添加到指针或从指针中减去时，结果具有指针操作数的类型。..。如果指针操作数和结果都指向同一个数组对象的元素，或者指向数组对象的最后一个元素，则计算结果不会产生溢出；否则，该行为是未定义的。
段落末尾说，你不应尊重最后一项内容：
..。如果结果指向数组对象的最后一个元素，则不应将其用作求值的一元*操作符的操作数。
Stack Overflow用户
发布于 2013-08-12 12:35:29
未定义数组边界外的指针。
C99标准项目6.5.6第8段部分说，
将具有整数类型的表达式添加到指针或从指针中减去时，结果具有指针操作数的类型。..。如果指针操作数和结果都指向同一个数组对象的元素，或者指向数组对象的最后一个元素，则计算值将不会产生overflow；否则，该行为将是undefined。
因此，您的第4行正在调用未定义的行为，因为结果既不在数组中，也不在数组的末尾。
Stack Overflow用户
发布于 2013-08-12 12:35:09
是的，第4行是未定义的行为！
C99 6.5.6加法算子，第8节 将具有整数类型的表达式添加到指针或从指针中减去时，结果具有指针操作数的类型。如果指针操作数指向数组对象的一个元素，并且数组足够大，则结果指向与原始元素偏移的元素，从而使结果数组元素和原始数组元素下标的差值等于整数表达式。换句话说，如果表达式P指向数组对象的
i-th元素，则表达式(P) + N(等效地，N + (P))和(P) - N(其中N有值n)分别指向数组对象的i+n-th和i−n-th元素，只要它们存在。此外，如果表达式P指向数组对象的最后一个元素，则表达式(P) + 1指向数组对象的最后一个元素，如果表达式Q指向数组对象的最后一个元素，则表达式(Q) - 1指向数组对象的最后一个元素。如果指针操作数和结果都指向同一个数组对象的元素，或者指向数组对象的最后一个元素，则计算值不应产生溢出；否则，行为将未定义。如果结果指向数组对象的最后一个元素，则不应将其用作计算值的单值运算符的操作数。
https://stackoverflow.com/questions/18186987
复制相似问题
腾讯云开发者
