代码运行正常，问题出在哪里？

Question

我收到一份作业，指出以下代码有问题。我几个小时以来一直试图弄清楚，但我做不到。它运行得很好，一切看起来都很好。你们能帮我吗？代码:

#include <stdlib.h>
#include <stdio.h>
#include <string.h>

int main(void)
{
    char str1[] = {'H', 'i', ' ', 0};
    char str2[] = {'H', 'o', 0};

    strncat(str1, str2, strlen(str1) + strlen(str2));

    printf("%s", str1);
    return 0;

}

Answer 1

您的代码具有未定义的行为，因为您的写入超出了 str1 数组的末尾。

您遇到了未定义行为的最坏可能结果 - 您的程序似乎按照您的预期运行。这意味着您遇到了一个很难追踪的错误，因为它(不一定)不会表现出任何症状。

在机器级别，可能发生的情况是，在 str1 之后恰好有一些未使用的内存空间，并且您正在成功地在那里写入数据。您可能正在踩踏 str2 的内容，或者踩在某些不会引起任何明显问题的系统数据上。

俗话说，C给你足够的绳索，让你搬起石头砸自己的脚。许多错误不一定会被编译器或运行时捕获。这给 C 程序员和外部工具带来了额外的负担。例如，源代码级调试器可能有助于诊断此类问题，但不能保证。