如何处理C++中数组指针相关的未定义行为问题

两段代码本质都属于未定义行为，第一段看似运行正常只是当前运行环境的巧合，核心问题都出在依赖内存中随机出现的0值作为遍历终止条件，具体差异如下：

• 第一段代码的隐藏问题：你将char*类型的字符串地址赋值给int*类型的指针，本身就存在类型不匹配问题。int*每次步进长度是sizeof(int)（通常为4字节）而非char的1字节，遍历过程中每次会读取4个字符拼接为int值判断是否为0。而C风格字符串末尾自带1字节的'\0'（值为0），刚好在你当前的运行环境中，该'\0'所在的4字节内存拼接后刚好为0，让while循环及时终止，没有触发越界访问崩溃，完全属于侥幸运行。
• 第二段代码触发报错的直接原因：你定义的int数组末尾没有手动添加哨兵0值，数组内9个元素全为非0值，while(*p)的逻辑会持续让指针后移，越出数组的合法内存范围，访问到不属于当前程序的非法地址，最终触发段错误崩溃。

• 1. 避免无意义的类型强转：遍历C风格字符串请使用char*类型的指针，保证每次步进长度为1字节，匹配字符的存储长度，避免类型转换带来的额外隐患。
• 2. 普通数组遍历优先通过长度控制边界：可以通过sizeof(arr)/sizeof(arr[0])计算C风格数组的元素个数，用for循环控制遍历次数，完全不依赖内存中的随机值终止循环，示例代码：

int arr[] = {1,2,3,4,5,6,7,8,9};
int len = sizeof(arr)/sizeof(arr[0]);
for(int i=0; i<len; i++){
    std::cout<<arr[i]<<" ";
}

• 3. C++环境优先使用标准库容器：替换原生数组为std::array或std::vector，可以通过自带的size()方法获取长度，也可以直接用范围for循环遍历，从语法层面避免手动操作指针带来的越界风险，示例代码：

#include <vector>
#include <iostream>
int main(){
    std::vector<int> arr = {1,2,3,4,5,6,7,8,9};
    // 范围for遍历
    for(auto num : arr){
        std::cout<<num<<" ";
    }
    return 0;
}

• 4. 若必须使用哨兵值终止遍历，请手动添加哨兵：如果你的业务场景中0不会作为有效元素出现，可以在数组末尾手动添加0作为终止标记，避免越界，示例代码：

// 末尾添加0作为哨兵
int arr[] = {1,2,3,4,5,6,7,8,9, 0};
int *p = arr;
while(*p) std::cout<<*p++<<" ";

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