主页 / 问题 / 1389474
Accepted
Artem
Asked:2022-08-12 09:37:43 +0000 UTC2022-08-12 09:37:43 +0000 UTC

C 字符串复制函数的流行表达式的正确性 { while (*dest++ = *src++) }

  • 772

我开始阅读 A.V. 的教科书“编程：专业介绍”第 2 卷“系统和网络”。Stolyarov，处理 C 编程语言。在关于指针和字符串数组的主题（第 96 页）中，有一个小例子说明了从一个字符串复制到另一个字符串的过程的实现。实际上，代码如下所示（第 94 页还有另一个示例）：

    void stringCopy(char* dest, const char* src)
    {
        while ((*dest++ = *src++));    
    }

作者坚持认为代码有错误。而且，这个例子本身经常在网上闪现为“超短解”，笔者对此持否定态度。作者本人并没有指出具体的错误，但是，他要求（为自己）理解，只是暗示了一个容易忽略的副作用。 本教程作者的正确代码示例如下所示：这是作者写的。 在此处输入图像描述

     while (*src)
     {
         *dest = *src;
         dest++;
         src++;
     }
     *dest = '\0'

实际上，我一直在寻找至少一些提及此代码中的错误，但没有人感兴趣，除了代码的原理。一般来说，如果您了解操作的优先级，那么一切都会到位（我一开始超频时是这样认为的）：

1. 事实证明，后缀递增/递减与前缀类似物的实现方式不同。这肯定解释了错误代码的操作。我检查了它100％有效。https://ravesli.com/urok-40-inkrement-dekrement-pobochnye-effekty/

#include <stdlib.h>
void stringCopy(char* dest, const char* src)
{
    while ((*dest++ = *src++));// почему-то неправильная запись с ошибкой (хотя все работает)
    /*
    Правильная запись
    while (*src)
    {
        *dest = *src;
        dest++;
        src++;
    }
    *dest = '\0';
    */
}
int main()
{
    char* src = malloc(15);
    char* dest = malloc(15);
    *(src + 0) = '\0';
    *(src + 1) = 'e';
    *(src + 2) = 'a';
    *(src + 3) = 'r';
    *(src + 4) = '!';
//дальше не продолжал инициализацию - Visual Studio туда помещает 
//мусор без нулей
    
    stringCopy(dest, src);
//вот тут я поставил точку останова в дебаггере - мои указатели 
//ссылаются на нулевые строки (значит копирование успешно прошло при нулевой строке и значит что ошибка не в операторе постфиксного инкремента)
    free(src);
    free(dest);
}

2. 最后，我似乎弄明白了“left-admissible”表达式的概念（第 87 页）。原来后缀递增和递减的实现的唯一性，和这个“左可容性”的概念有直接关系？还是分开的？让它完全正确。

因此，尚不清楚那里是否存在错误。事实证明，问题出在这段代码的可见性上，最好把所有东西都写得很漂亮放在架子上，因为你永远不知道什么会撞到编译器，或者很难分析代码？并且发明了错误 - 打破寻找它并引导他得出这个结论的人的大脑？

更新：没有错误。错误出现在第 94 页的示例中（显然作者的错误是计算长度时考虑了行尾符号，尽管这甚至不是规则）。在我看来，由于他的笔记风格是十字形的，那里肯定也有一个错误。作者只是想表明这不值得做。在这种情况下，代码的紧凑性导致难以理解正在发生的事情。

Upd：继续深入研究这本书，我遇到了第100-103段“Sequence points”。当然，我没有那么多经验，我想听听那里所说的情况是否发生在这种情况下。好吧，既然没有人回答“左可接受的表达” - 也许有人会在这种情况下谈论它们。

c

1 个回答

  1. Best Answer

    让我们重构：

    void stringCopy(char* dest, const char* src)
{
    while ((*dest++ = *src++));    
}

    一个。我们删除了额外的括号并添加了新的括号来记录运算符的使用顺序：

    void stringCopy(char* dest, const char* src)
{
    while (*(dest++) = *(src++));    
}

    湾。让我们分解循环while：

    void stringCopy(char* dest, const char* src)
{
    while (1) {    
        if (!(*(dest++) = *(src++)))
            break;
    }    
}

    C。解析条件if：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        char c = (*(dest++) = *(src++));    
        if (!c)
            break;
    }    
}

    d。我们从分配中删除增量：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        char c = (*dest = *src);
        dest++;
        src++;    
        if (!c)
            break;
    }    
}

    e. 我们将增量放入if：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        char c = (*dest = *src);
        if (!c) {
            dest++;
            src++;    
            break;
        } else {
            dest++;
            src++;    
        }
    }    
}

    F。之前的增量break不会改变程序的含义。我们删除它们：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        char c = (*dest = *src);
        if (!c) {
            break;
        } else {
            dest++;
            src++;    
        }
    }    
}

    G。我们改变条件if：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        *dest = *src;
        if (!(*src)) {
            break;
        } else {
            dest++;
            src++;    
        }
    }    
}

    H。我们将分配存储在if：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        if (!(*src)) {
            *dest = *src;
            break;
        } else {
            *dest = *src;
            dest++;
            src++;    
        }
    }    
}

    一世。我们细化了中的条件if和之前的赋值break：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        if (*src == '\0') {
            *dest = '\0';
            break;
        } else {
            *dest = *src;
            dest++;
            src++;    
        }
    }    
}

    j. 之前的赋值break从循环中取出：

    void stringCopy(char* dest, const char* src)
{
    while (1) {
        if (*src == '\0') {
            break;
        } else {
            *dest = *src;
            dest++;
            src++;    
        }
    }    
    *dest = '\0';
}

    ķ。我们删除if：

    void stringCopy(char* dest, const char* src)
{
    while (*src != '\0') {
        *dest = *src;
        dest++;
        src++;    
    }    
    *dest = '\0';
}

    l. 我们改变条件while：

    void stringCopy(char* dest, const char* src)
{
    while (*src) {
        *dest = *src;
        dest++;
        src++;    
    }    
    *dest = '\0';
}

    从教科书作者的角度来看，我们得到了正确的版本。每一步都保留了程序的语义。如果您对任何步骤有疑问，请发表评论，我们会解决的。

    作者可能会提到，在原始过程的末尾，指针src和dest指向元素的行结束。该语言C特别允许指针指向数组末尾之外的元素。这个指针不能被取消引用，但事实并非如此。

    • 4

相关问题