C++ 初始化的坑,你也遇到过吗?

谈及 C++ 的初始化,我们都知道要在变量定义的时候给它赋初值。确实,在每次定义的时候就初始化不仅可以避免脏数据产生,还能增加代码的可读性。但是,你知道这其中有多少陷阱吗?

C++ 初始化的坑,你也遇到过吗?

陷阱1:默认初始化的坑

请看一下代码,你能知道哪些变量的值是确定的?

int a; 
 
void func() 
 
{ 
 
int b; 
 
static int c; 
 
cout<<"a: "<<a<<", b :"<<b<<", c :"<<c<<endl; 
 
} 
 
int main() 
 
{ 
 
cout<<"main a: "<<a<<endl; 
 
func(); 
 
return 0; 
 
} 

打印结果是:

main a: 0 
 
a: 0, b :32694, c :0 

可以看到,三个变量都没有显式初始化,但a,c都被赋予了默认值,而b是不确定的值。

其实我们可以从《C++Primer》中找到答案:“定义于任何函数体之外的变量被初始化为0,定义于函数体内部的内置类型变量将不被初始化”。所谓定义于函数体之外的变量,其实就是全局变量,这里拓展说一下:

初始化过的全局变量,由编译器将其保存于静态存储区的data段,并且这样的值越多,程序就越大,操作系统会在程序启动时,将全局变量的值复制到data段中,即完成变量的初始化。

未初始化的全局变量,由编译器保存于静态存储区的bss段,并且这样的值不会被使程序变大,操作系统加载程序时才分配相应的内存,并将bass段清0,即完成变量的初始化。

所以,定义在函数体之外的变量,会被赋默认值。

但定义在函数中的变量,是在栈中分配的内存,属于动态存储区,此区操作系统不会帮助你清0,所以此处定义的值都是未定义的。

陷阱2:数组初始化的坑

int buff[10] = {0}; 
 
for(int i = 0;i<10;i++) 
 
{ 
 
cout<<buff[i]<<endl; 
 
} 

这段代码相信大家平时常写,答案很明显,都是0,但实际的原因,真的是因为{0}代表要将每个值设为0吗?

答案是否定的,请看下面的这段代码:

int buff_2[10] = {1}; 
 
for(int i = 0;i<10;i++) 
 
{ 
 
cout<<buff_2[i]<<","; 
 
} 

得到的答案是:1,0,0,0,0,0,0,0,0,0,大家注意到了吗?只有第一个值才是1,后面的全是0!

所以,这个坑其实是C++初始化列表的坑,初始化列表的定义中说明,如果初始化列表的数量比定义的数量少,那么未被定义到的值将会被赋予默认值!

陷阱3:memset的坑

char buff[10]; 
 
memset(buff,0,sizeof(buff)); 
 
for(int i = 0;i<10;i++) 
 
{ 
 
printf("%d ",buff[i]); 
 
} 

大家一定会觉得这段代码很简单,没错,打印结果就是都为0,的确很简单,但是,看下接下来的代码:

int buff_2[10]; 
 
memset(buff_2,1,sizeof(buff_2)); 
 
for(int i = 0;i<10;i++) 
 
{ 
 
printf("%d ",buff_2[i]); 
 
} 

是的,变量的类型变了,打印的结果是:

16843009 16843009 16843009 16843009 16843009 16843009 16843009 16843009 16843009 16843009 

是不是觉得很奇怪,接下来,我们把这句:

printf("%d ",buff_2[i]); 

改为:

printf("0X%x ",buff_2[i]); 

得到的结果是:

0X1010101 0X1010101 0X1010101 0X1010101 0X1010101 0X1010101 0X1010101 0X1010101 0X1010101 0X1010101