20

我是一名学习 C++ 的学生，我试图了解以空字符结尾的字符数组是如何工作的。假设我像这样定义一个 char 数组：

char* str1 = "hello world";

正如预期的那样，strlen(str1)等于 11，并且它是空终止的。

如果上述 char 数组的所有 11 个元素都用字符“hello world”填充，C++ 将空终止符放在哪里？它实际上是否分配了一个长度为 12 而不是 11 的数组，第 12 个字符是'\0'？CPlusPlus.com似乎暗示 11 个中的一个需要是'\0'，除非它确实分配了 12 个。

假设我执行以下操作：

// Create a new char array
char* str2 = (char*) malloc( strlen(str1) );

// Copy the first one to the second one
strncpy( str2, str1, strlen(str1) );

// Output the second one
cout << "Str2: " << str2 << endl;

这个输出Str2: hello worldatcomY╗°g♠↕，我假设是 C++ 在指针指向的位置读取内存，char* str2直到它遇到它解释为空字符的内容。

但是，如果我这样做：

// Null-terminate the second one
str2[strlen(str1)] = '\0';

// Output the second one again
cout << "Terminated Str2: " << str2 << endl;

它Terminated Str2: hello world按预期输出。

但是写入并不str2[11]意味着我们正在分配的内存空间之外写入str2，因为str2[11]是第 12 个字节，但我们只分配了 11 个字节？

运行此代码似乎不会导致任何编译器警告或运行时错误。这在实践中安全吗？使用malloc( strlen(str1) + 1 )而不是会更好malloc( strlen(str1) )吗？

4

6 回答 6

15

在字符串文字的情况下，编译器实际上为该元素保留了一个额外char的\0元素。 

// Create a new char array
char* str2 = (char*) malloc( strlen(str1) );

这是新 C 程序员常犯的错误。为 a 分配存储空间时，char*您需要分配字符数 + 1 来存储\0. 此处不分配额外存储意味着该行也是非法的

// Null-terminate the second one
str2[strlen(str1)] = '\0';

在这里，您实际上是在写超出您分配的内存的末尾。分配 X 元素时，您可以访问的最后一个合法字节是偏移的内存地址X - 1。写入X元素会导致未定义的行为。它通常会起作用，但它是一个定时炸弹。

正确的写法如下

size_t size = strlen(str1) + sizeof(char);
char* str2 = (char*) malloc(size);
strncpy( str2, str1, size);

// Output the second one
cout << "Str2: " << str2 << endl;

在此示例中，str2[size - 1] = '\0'实际上并不需要。该strncpy函数将使用空终止符填充所有额外的空格。这里只有size - 1元素，str1所以数组中的最后一个元素是不需要的，将被填充\0

于 2012-04-06T23:10:44.840 回答
6

它实际上是否分配了一个长度为 12 而不是 11 的数组，第 12 个字符是 '\0'？

是的。

但是写入并不str2[11]意味着我们正在分配的内存空间之外写入str2，因为str2[11]是第 12 个字节，但我们只分配了 11 个字节？

是的。

使用malloc( strlen(str1) + 1 )而不是会更好malloc( strlen(str1) )吗？

是的，因为第二种形式的长度不足以将字符串复制到其中。

运行此代码似乎不会导致任何编译器警告或运行时错误。

除了最简单的情况外，在所有情况下都检测到这一点是一个非常困难的问题。所以编译器作者根本不打扰。

如果您正在编写 C++，那么这种复杂性正是您应该使用std::string而不是原始 C 样式字符串的原因。就这么简单：

std::string str1 = "hello world";
std::string str2 = str1;
于 2012-04-06T23:08:51.720 回答
2

文字"hello world"是一个char看起来像这样的数组：

{ 'h', 'e', 'l', 'l', 'o', ' ', 'w', 'o', 'r', 'l', 'd', '\0' }

所以，是的，字面量是 12char秒。

此外，malloc( strlen(str1) )为比所需字节少 1 个字节分配内存，因为strlen返回字符串的长度，不包括 NUL 终止符。写入str[strlen(str1)]是在您分配的内存量之外写入 1 个字节。

您的编译器不会告诉您这一点，但是如果您通过valgrind或系统上可用的类似程序运行程序，它会告诉您是否正在访问您不应该访问的内存。

于 2012-04-06T23:10:30.457 回答
2

我认为您对 的返回值感到困惑strlen。它返回字符串的长度，不应与保存字符串的数组的大小混淆。考虑这个例子：

char* str = "Hello\0 world";

我在字符串中间添加了一个空字符，这是完全有效的。这里数组的长度为 13（12 个字符 + 最后一个空字符），但strlen(str)将返回 5，因为在第一个空字符之前有 5 个字符。strlen只计算字符，直到找到一个空字符。

因此，如果我使用您的代码：

char* str1 = "Hello\0 world";
char* str2 = (char*) malloc(strlen(str1)); // strlen(str1) will return 5
strncpy(str2, str1, strlen(str1));
cout << "Str2: " << str2 << endl;

str2 数组的长度为 5，并且不会被空字符终止（因为strlen不计算在内）。这是你所期望的吗？

于 2012-04-07T00:19:53.273 回答
1

对于标准 C 字符串，存储字符串的数组的长度总是比字符串长度（以字符为单位）长一个字符。因此，您的"hello world"字符串的字符串长度为 11，但需要一个包含 12 个条目的后备数组。

原因很简单，就是读取这些字符串的方式。处理这些字符串的函数基本上是一个一个地读取字符串的字符，直到找到终止字符'\0'并在这一点停止。如果此字符丢失，则这些函数只需继续读取内存，直到它们到达导致主机操作系统终止您的应用程序的受保护内存区域或直到它们找到终止字符。

此外，如果您初始化一个长度为 11 的字符数组并将字符串"hello world"写入其中，则会产生大量问题。因为该数组预计至少包含 12 个字符。这意味着内存中数组后面的字节被覆盖。导致不可预知的副作用。

此外，当您使用 C++ 时，您可能需要查看std:string. 如果您使用 C++ 并提供更好的字符串处理，则可以访问此类。这可能值得研究。

于 2012-04-06T23:18:42.840 回答
0

我认为您需要知道的是 char 数组从 0 开始，直到数组长度为 1，并且位置数组长度具有终止符（'\0'）。
在你的情况下： 

str1[0] == 'h';  
str1[10] == 'd';  
str1[11] == '\0';

这就是为什么正确 str2[strlen(str1)] = '\0';
strncpy 之后的输出问题是因为它复制了 11 个元素（0..10），所以您需要手动放置终止符（str2[11] = '\0'）。

于 2013-05-29T19:42:10.663 回答