直接向指针赋值无效地址是否立即触发未定义行为？（C/C++）

数组指针的合法边界规则 #

C和C++标准对数组指针的合法指向范围有明确限制：对于长度为N的数组arr，指针可以合法指向的区间是从数组首元素地址arr，到数组末尾之后恰好一个字节的地址arr+N。

比如这段代码：

int arr[4] = {0, 1, 2, 3};
int *p1 = arr + 4; // 合法：指向数组末尾后一个字节，未解引用时无问题
int *p2 = arr + 5; // 未定义行为：超出合法边界，哪怕未解引用

这里arr+5的未定义行为是指针运算本身导致的，和是否解引用无关。标准禁止这类超出范围的指针运算，因为不同平台的内存布局、指针编码规则存在差异，超出边界的运算可能触发整数溢出、非法地址编码等底层问题，编译器无法保证行为的一致性。

直接赋值随机地址的合法性 #

直接给指针赋值固定的内存地址（比如int* p = 0xDDDD;），只要地址值符合当前平台指针类型的表示要求（比如32位系统用32位值、64位系统用64位值），赋值操作本身不属于未定义行为。

但需要注意两个关键点：

• 如果后续解引用这个指针（比如执行*p = 10;），由于指向的内存不属于进程的合法地址空间，必然会触发未定义行为（通常表现为程序崩溃、段错误）。
• 部分平台对特定地址有特殊限制（比如空指针的固定值NULL/nullptr），但普通随机地址的赋值操作本身是允许的。

核心区别总结 #

• 数组越界指针运算（如arr+5）：运算过程就违反了标准规则，属于未定义行为，与后续是否解引用无关。
• 直接赋值随机地址：赋值操作本身合法，只有当解引用该指针访问无效内存时，才会触发未定义行为。

内容的提问来源于stack exchange，提问作者Zebrafish