c++ - strncpy 运行时检查失败 #2 错误 c++

Question

当我编译并运行我的程序时，除了我收到“运行时检查失败#2”错误外，似乎一切都很好地完成了手头的任务。顺便说一句，这是我的硬件分配，这是我第一次尝试使用任何 cstring 函数，所以我确定那是我出错的地方。基本上我将 2 个字符串附加在一起，我几乎 100% 确定它与我的结果参数超限有关。只是不知道如何修复它。

#include <iostream>
#include <cstring>
using namespace std;

void concat(const char a[ ], const char b[ ], char result[ ], int result_maxlength);
int main()
{
  char a[] = "Woozle";
  char b[] = "Heffalump";
  char c[5];
  char d[10];
  char e[20];
  concat(a, b, c, 5);
  concat(a, b, d, 10);
  concat(a, b, e, 20);
  cout << c << "\n";
  cout << d << "\n";
  cout << e << "\n";
  return 0;
}
void concat(const char a[ ], const char b[ ], char result[ ], int result_maxlength)
{
strncpy (result,a, result_maxlength);
strncat (result, b, result_maxlength);
result[result_maxlength-1] = '\0';
}

Answer 1

这段代码有几个问题，到目前为止已经有几个人指出了这些问题。一个很少有人谈论的非常微妙的问题是:根据 POSIX 规范，如果移动的非空字符数达到指定的限制('n')。但是，它将尾部填充空值以达到“n”。因此:

char ar[3];
strncpy(ar, "food", sizeof(ar)/sizeof(ar[0]));

这将以 a(0) = 'f'、a(1) = 'o' 和 ar(2) = 'o' 结束。 不会附加空终止符。忽略最后一个字符 正是出于这个原因，人们对调用这个运行时库函数如此不屑一顾。考虑到这一点很重要。因此，您会经常看到这样的代码。

char ar[3];
strncpy(ar, "food", sizeof(ar)/sizeof(ar[0])-1);
ar[sizeof(ar)/sizeof(ar[0])-1] = 0;

这可能会得到您真正想要的东西，即 ar = "fo"。充足的空间情况扭转了这一点。如果你有一个有足够空间的缓冲区，如果拷贝的源字符串在到达 'n' 之前到达它自己的终止符，'n' 将用空值尾部填充直到到达 'n'。因此:

char ar[30];
strncpy(ar, "food", sizeof(ar)/sizeof(ar[0])-1);
ar[sizeof(ar)/sizeof(ar[0])-1] = 0;

将导致 ar = "food"，在 'd' 之后有 26 个零字符。让人们保持警惕，不太明显的 memset-to-zero 调用:

char ar[30];
strncpy(ar, "", sizeof(ar)/sizeof(ar[0]));

是的，这是错误的，我知道。

综上所述，显然 strncat() 的行为与您的代码不同似乎反射(reflect)出您目前可能也相信这一点也就不足为奇了。例如，最后一个参数未指定要在目标中限制的字符数。相反，它描述了要限制从源复制的字符数。换句话说，随着您继续使用新琴弦，尾部空间限制器应该不断变短。当然，要知道有多少涉及跟踪每一步复制的字符，正如有人指出的那样，这使得 strncat borderline-在许多情况下毫无用处，提供的困惑多于实用性。

作为引用，可以在此处查看具有已定义行为的精确定义 strncpy和 strncat .在继续你的作业之前，我强烈建议你仔细阅读这两本书。