以下使用指针算法的语句是否有效？

Question

char array[8] = "Raining";

我认为以下所有相关陈述的评论都符合我的理解.

char *p1 = array + 7;      --> points to '\0'

char *p2 = array + 8;      --> undefined behaviour

char *p3 = array + 9;      --> undefined behaviour

char *p4 = array + 10;     --> undefined behaviour

我的理解是否正确？

Answer 1

在你的情况下,

  char *p1 = array + 7;

和

  char *p2 = array + 8;

是有效的,因为,法律允许你指出

• 数组长度内的任何对象
• 一个超过最后一个数组元素,直到你取消引用它.

OTOH,

  char *p3 = array + 9;

和

  char *p4 = array + 10; 

未定义.

引用C11,章节§6.5.6,"加法运算符"(强调我的)

[ 同 章C99,章节§6.5.6/ p8,任何感兴趣的人 ]

当一个具有整数类型的表达式被添加到指针或从指针中减去时,结果具有指针操作数的类型.如果指针操作数指向数组对象的元素,并且数组足够大,则结果指向偏离原始元素的元素,使得结果元素和原始数组元素的下标的差异等于整数表达式.换句话说,如果表达式P指向i数组对象的-th元素,则表达式(P)+N(等效地N+(P))和 (P)-N(其中N有值n)分别指向数组对象的i+n第-th和i?n-th元素,前提是它们存在.此外,如果表达式P指向数组对象的最后一个元素,则表达式(P)+1指向数组对象的最后一个元素之后,如果表达式Q指向一个超过数组对象的最后一个元素,则表达式(Q)-1指向最后一个元素数组对象.如果指针操作数和结果都指向同一个数组对象的元素,或者指向数组对象的最后一个元素,则评估不应产生溢出; 否则,行为未定义.[...]

Answer 2

array 由于NULL终止符,它有8个元素.

char *p1 = array + 7; 定义明确.

char *p2 = array + 8;实际上是定义的.你可以设置一个指向数组的指针.(只是不要取消引用它.)

另外两个是未定义的.你不允许将指针设置在数组之外.