字符串的异常行为[重复]

Question

#include<stdio.h>
#include<iostream>
#include<cstring>
using namespace std;
int main(void)
{
    char a[10]="Rosewater";
    char b[3];

    int i=0;
    for(i=0;i<5;i++)
    {
        b[i]=a[i]; //1. does not throw an error
    }
    printf("%s\n%s\n",a,b);
}

输出：

ewsewater        // value of a also changed

Rosewsewater      // unclear output

Answer 1

//1.不会报错

在 C 和 C++ 中没有边界检查，因为它只是暴露原始内存。

即定义为未定义的行为。 这意味着（简而言之）标准没有指定程序中会发生什么，当指令产生未定义的行为时，任何事情都可能发生。

如果您使用的是C++（与C 不同的语言），我的建议是使用std::vector 类。 Here References.

请注意，当您尝试访问越界索引时，std::vector 会产生未定义的行为。使用 at 方法，在这种情况下会抛出异常。

#include <vector>

int main(int argc, char* argv[]) {
  std::vector<char> a = {'a', 'b', 'c'};
  a.at(5);  // it will throw an exception
  return 0;
}

此外，如果你必须管理字符串，最方便的类是std::string。

Answer 2

在分配的块之外访问内存是一种未定义的行为。

for(i=0;i<5;i++)
{
    b[i]=a[i]; //1. does not throw an error
}

在此循环中，您最终将分配b[3]=a[3] 和b[4]=a[4]；

b[3] 和 b[4] 是未分配的内存块。所以访问它们是一种未定义的行为。

由于未定义的行为，可能会出现不可预知的结果。

按照标准：

可能的未定义行为范围从完全忽略具有不可预测结果的情况，到在翻译或程序执行期间以环境特征的记录方式表现（无论是否发出诊断消息），到终止翻译或执行（发出诊断消息）。

编辑： 对于您关于分段错误的疑问：

分段错误是由访问“不属于您”的内存引起的一种特定类型的错误。但相反的情况并非如此，即您不能说当您访问未分配的内存时您会遇到分段错误记忆。

有些系统在没有内存保护的情况下运行，因此您无法判断一块内存是否真正“属于您”，因此不知道是否会发生分段错误，只能确保未定义的行为。

Answer 3

char b[3]; // [X] [X] [NULL_CHAR] at this point

  int i=0;
  for(i=0;i<5;i++)
  {
     b[i]=a[i]; //1. does not throw an error
  }

所以基本上，当 i=3/4/5 时，您会破坏内存。 这是未定义的行为。 如果您的程序不拥有该内存 - 这将是一个段。过错。 但这只是运气的问题，这个程序的行为是出乎意料的。