C++自定义mystrcpy函数中while(*str1++=*str2++)指针操作原理讲解

你提到的while (*str1++ = *str2++);是C/C++中实现字符串拷贝的经典极简写法，我们可以从以下几个维度理解它的运行逻辑：

1. 等价展开代码 #

为了方便你理解，我们可以把这一行代码等价展开为更直观的写法，二者运行效果完全一致：

void mystrcpy(char* str1, char* str2) {
    while (1) {
        // 先取出str2当前指向的字符
        char current_char = *str2;
        // 将该字符赋值给str1当前指向的内存位置
        *str1 = current_char;
        // 两个指针都往后移动1个char长度的地址
        str1++;
        str2++;
        // 如果当前拷贝的是字符串结束标记'\0'，终止循环
        if (current_char == '\0') {
            break;
        }
    }
}

2. 语法规则说明 #

• C风格字符串默认以'\0'（ASCII值为0的空字符）作为结束标记，所以拷贝过程只要遇到这个标记就可以终止。
• 后置自增运算符++的优先级高于解引用运算符*，但后置自增的特性是先使用变量的原始值参与运算，再对变量本身执行自增，所以*str1++的实际效果是：先对当前的str1指针解引用，拿到对应内存位置的值，之后再把str1指针往后移动1个char长度的地址。
• 赋值表达式*str1 = *str2本身有返回值，返回值就是等号右侧被赋值的内容。所以当赋值的内容是'\0'时，整个表达式的结果为0，对应的布尔判断为假，while循环就会终止。
• 代码末尾的分号表示循环体为空，所有拷贝、移动指针、判断终止的逻辑都在while的条件判断部分完成了。

3. 对应你的代码运行效果 #

你代码里的str2存储的是字符串"Pointers"，内存中依次存储的是'P'、'o'、'i'、'n'、't'、'e'、'r'、's'、'\0'。调用mystrcpy时，会把这些字符依次拷贝到str1指向的内存空间，直到拷贝到最后的'\0'时循环终止，此时str1的内容就被完整覆盖为"Pointers"，后续输出自然就能得到目标结果。

注意：这种写法要求str1指向的内存空间必须足够容纳str2的全部内容（包括末尾的'\0'），否则会发生内存越界，导致不可预期的程序错误。你代码里给str1定义了15字节的长度，远大于"Pointers"的9字节总长度，所以运行是安全的。

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