如果定义变量时候没有指定初值,则变量被默认初始化。
但是默认初始化还有另外一个含义,在定义内置类型时由于定义变量的位置不同,有可能会不发生初始化操作(这种情况下称为默认初始化),也有可能会给定一个初值(称为值初始化)。
由上,个人琢磨其实默认初始化可以分为两种①不发生初始化操作的默认初始化 ② 值初始化(如果没有给定一个初始值,就会根据变量或类对象的类型提供一个初始值)
(为了便于说明,这篇文章中都是指在没有指定初值的情况下定义变量,如:int i;默认初始化则采用第二种说法,和值初始化相对)
内置类型的默认初始化
1、函数体内(块作用域内)定义的普通局部变量(自动变量)或者数组
发生默认初始化,此时值是未经过初始化的未定义值。使用未定义值会导致不可控的结果。而且编译器也不一定能够确定发现错误
fun()
{
int i; // i未经过初始化,值未定义,不能直接使用
}
内置类型的值初始化
1、定义全局变量和数组,(包括全局静态变量,数组)
2、定义局部静态变量和数组
3、内置类型的数组进行初始化时,提供的初始值数量小于数组的大小时 ,内置类型变量进行值初始化时均初始化0。
//全局变量均进行值初始化
int i = 0; //i = 0;
static int j = 0; //j = 0
int arrar1[5]; //arrar1[0..4] 都为0
static int arrar2[5]; //arrar2[0..4] 都为0
void printBlock()
{
int i1; //i1为自动对象,未定义值,默认初始化
static int i2; //i2局部静态变量,为0,参见值初始化2
int array1[5]; //arrary1[0..4] 都为未定义值
static int array2[5]; //arrary2[0..4] 都为0,参见值初始化2
int array3[5] = {}; //arrary3[0..4] 都为0,参见值初始化3
}
类类型进行默认初始化
1、块作用域内不使用任何初值定义一个类类型的非静态变量,此类类型的变量进行默认初始化
类类型进行值初始化
1、类类型的数组进行初始化时,提供的初始值数量小于数组的大小时,数组中国剩余的类类型变量进行值初始化
2、不使用初始值定义一个类类型局部静态变量/数组时,全局变量/数组,全局静态变量/数组。
3、在书写T()的表达式显示地请求值初始化时,(如vector<object> vec(10) 则定义vec为含有十个值初始化的object类型的变量)
【!】无论类类型的变量是采用默认初始化还是值初始化均是自动执行默认构造函数,如果不能执行默认构造函数,则无法不给定初值就定义类类型变量。
那既然无论类类型是默认初始化还是值初始化都是自动执行默认构造函数,为什么还要区分值初始化和默认初始化?
这是由于无论一个类类型的成员变量是类类型还是内置类型,成员变量的初始化操作都会跟随着其所在的类。如果成员所在的类发生默认初始化,则此成员变量发生默认初始化,值初始化亦然。类类型的成员变量的默认初始化和值初始化仍然是执行默认构造函数,但是内置类型的值初始化和默认初始化则遵循上面的规则(注意成员变量是否有类内初始值,或默认构造函数初始值列表进行初始化了)。