C/C++ bug_1:字符数组越界

对于C/C++编程来说，逻辑错误是调试最难解决的问题之一。

在C/C++中，字符数组通常会被编译器在字符串末尾自动加上NULL字符，NULL字符是标志字符串结束的标识符。

通常我们在定义字符数组的时候，习惯定义字符数组大小刚好为我们所看得见的字符个数，而忽略了NULL，导致数组在存储过程中越界。

例如：

const int size = 10; //字符数组大小
char str[size]; //将0~9保存在数组str中
int base = 10;

for(int i = 0; i < size; i++)
{
    itoa(i, &str[i], base);
}
cout << str << endl;

上面的代码初看之下，确实没有什么错误。其实，这里面存在着严重的数组越界问题。当我们把字符0~9保存在str后，编译器会自动在末尾加上NULL字符，也就是str[10]=NULL。然而编译器做了这件事我们无法察觉，而编译器本身也不知道自己越界了。所以导致这种很难被发觉的逻辑错误。在定义字符数组时，不应该像int、float型的数组那样，我们实际需要多少个存储单元，就申请多少个，而应该多申请一个字符单元以保存编译器自动在尾部加载的NULL字符串结束标识符。定义字符数组的通用格式应该如下面这样：

const int size = 10;
char str[size+1];

保持这样良好的习惯就可以大大减少调试bug的时间。