带分号与不带分号的while循环内的指针递减[关闭]

Question

void* My_memmove(void *dest, const void *src, size_t size)
{
    char *p1 = (char *)dest;
    char *p2 = (char *)src;

    if(NULL == p1 || NULL == p2)
    {
        return NULL;
    }
    p2 += size;

    while(p2 != src &&  --p2 != dest)
    if(p2 != src)
    {
        printf("inside IF \n");
        p1 += size;
        p2  = (char *)src + size;

        while(size--)
        {
            *(--p1) = *(--p2);
        }
    }
    else
    {
        printf("inside ELSE \n");
        while(size--)
        {
            *(p1++) = *(p2++);
        }
    }

    return dest;
}

int main(void)
{
   char dest[15];
   memset(dest, 0, 15);

   printf("Enter the string : ");
   scanf("%s", dest);

    My_memmove(dest+3, dest, strlen(dest));
    printf("dest+3 : %s \n", dest+3);

    return (0);
}

您能否解释一下当 while(p2 != src && --p2 != dest) 后面没有分号时会发生什么？ 因为上述程序适用于所有输入，除了大小为 4 的输入

结果：

输入字符串：12

在 IF 内

dest+3 : 12

输入字符串：123

在 IF 内

dest+3 : 123

输入字符串：1234

dest+3 : 4

输入字符串：12345

在 IF 内

dest+3 : 12345

输入字符串：123456

在 IF 内

dest+3 : 123456

大小为7时p2+size后的内存布局

                      p2+--+
                           | 
        src+-+ dst++       |
             |     |       |
             v     v       v
            ++-----+-------+--------+
            |0|1|2|3|4|5|6|7|8| ... |
            +-----------------------+
dest[15] -> |a|b|c|d|e|f|g|0|0| ... |
            +-----------------------+

Answer 1

使用while（或for 或if），您有两种选择body。您可以将花括号用于多语句体：

while(condition) {
    multi;
    statement;
    body;
}

或者你可以去掉花括号，下一条语句将被视为循环体。这对于短正文的良好格式可能会很好：

if(condition)
    return thing;

但它也可能与错误的格式混淆：

if(condition)
    thing += thing2;
    return thing;

只有第一个语句 (thing += thing2) 实际上在 if 的正文中。不管怎样，return 每次都会运行。

分号本身就是空语句。它本身就是一个完整的声明，但它什么也没做。所以

while(condition);

是一样的

while(condition) {
    ;
}

您的另一个不带分号的示例将提取代码中的下一条语句并将其用作循环体。

---

为了响应您的更新，让我们通过运行输入“abcd”的函数来查看您的字符串的内存：

        src--+ dst-+
             |     |
             v     v
            ++-----+----------------+
            |0|1|2|3|4|5|6|7|8| ... |
            +-----------------------+
dest[15] -> |a|b|c|d|0|0|0|0|0| ... |
            +-----------------------+

注意size这里是4，所以当你做char *p2 = (char *)src;和p2 += size;时，你的指针看起来像：

       p2+--+
            |
src+-+ dst++|
     |     ||
     v     vv
    ++-----+----------------+
    |0|1|2|3|4|5|6|7|8| ... |
    +-----------------------+
    |a|b|c|d|0|0|0|0|0| ... |
    +-----------------------+

然后你做：

while(p2 != src &&  --p2 != dst)

你猜怎么着，--p2 正是dst！所以你的循环没有运行就结束了，你只返回dst，它是指向字符串中最后一个字符的指针。

这是尝试在其内部复制字符串的众多问题之一。您的来源和目的地重叠！

Answer 2

while(p2 != src && --p2 != dest)

没有终止分号，循环在每次迭代上执行下一条语句。使用分号，下一条语句只会在循环结束时执行一次。确切的区别将取决于该语句是什么。

int x = 5, int y = 0;
while (x--)
++y;

没有分号，++y 发生在每次迭代 (x = 5, 4, 3, 2, 1) 所以 y = 5。添加分号，它只发生在循环完成后，给 y = 1。

请注意，++y 是否在同一行，是否缩进，与 C 或 C++ 无关。