简洁C++循环：条件何时为假？数组复制代码是否合规？

我在阅读Bjarne Stroustrup的著作时，看到一种字符串复制的写法，于是编写了一段类似的数组复制代码：

int arr1[5] = {1,2,3,4,5,};
int arr2[5] = {9,10,11,12,13};

int *a = arr1;
int *b = arr2;

// 我推测原书中的示例是针对字符串的，靠\0终止循环
while (*a++ = *b++) ;

我的问题是：这段代码是否正确？是否因未检查数组大小而存在未定义行为？若代码正确，while循环的条件何时会判定为假？

补充说明：我打印了数组范围外的地址值，发现复制会持续到指针b指向内存中的0为止。

问题解答 #

• 代码正确性：这段代码完全不正确，存在严重的未定义行为。
• 未定义行为的原因：原书中的字符串复制逻辑依赖字符串的终止符\0（对应整数0），但你操作的int数组arr2中没有值为0的元素，也没有任何数组长度检查。循环执行时，指针b会越界访问arr2之外的内存，指针a也会越界写入arr1之外的内存——这在C++标准中属于未定义行为，程序可能崩溃、输出乱码，或出现其他不可预测的结果。
• 循环终止条件：在当前代码的场景下，循环不会在数组的合法范围内终止。它会持续执行，直到*b恰好读取到内存中某个值为0的位置（也就是你补充说明中观察到的情况），但此时已经触发了未定义行为，这个终止时机完全不可控，也不具备任何合理的逻辑意义。

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