为什么数组上的“strcat”会导致覆盖？

Question

strcat(argv[1], ".txt");
puts(argv[1]);
strcat(argv[2], ".txt");
puts(argv[2]);
puts(argv[1]);

假设第一个（[1]）参数称为“a”，第二个（[2]）称为“b”。此代码提供以下输出： a.txt txt.txt a.txt.txt

为什么会这样？？似乎 strcat 开始覆盖 arg[2]？

Answer 1

您不应该对分配用于存储argv[i] 指向的字符串的内存量做出任何假设。特别是，你不能假设你可以通过strcat-ing 来扩展这些字符串。这样做通常会导致未定义的行为。这正是您在实验中观察到的。

虽然修改argv[i] 指向的字符串而不改变它们的长度是合法的，但通常不可能将它们“扩展”到位。可以想象，这些字符串可能会立即在内存中彼此跟随，这意味着写入 argv[1] 指向的字符串末尾之后的任何内容都会覆盖 argv[2] 指向的字符串等等。