关于字符串终止空字符位置及strlen中“首个空字符”的技术疑问

1. 终止空字符是否可能不在字符串的末尾？ #

• 标准定义的合法C风格字符串要求终止空字符（\0）必须位于字符串的末尾，这是它的核心标识。
• 但手动构造的字符数组可以在中间包含空字符，比如：

  char arr[] = {'a', '\0', 'b', '\0'};
  

  这种情况下，这个数组不再是标准的C风格字符串——strlen(arr)会返回1，因为它读到第一个\0就停止，后续的'b'不会被视为这个“字符串”的一部分。

2. 如何理解strlen文档中的“首个空字符”？ #

文档中所述的“首个空字符”，指的是从函数参数str指向的首字符开始顺序遍历，遇到的第一个\0（空字符），并非指位于字符串开头的空字符。

• 举个实际例子：

  char str[] = "test\0extra";
  size_t len = strlen(str);
  

  这里len的值是4，因为strlen从't'开始遍历，遇到第一个\0就停止计数，不会处理后面的"extra"内容。
• 你原本的认知是正确的：标准C风格字符串的终止空字符确实应该在末尾，这是合法字符串的规范。如果字符数组中没有任何\0，strlen的行为是未定义的（可能会越界读取内存，引发不可预料的问题）。

内容的提问来源于stack exchange，提问作者LiDa Cute