C++ 初始值及默认初始化

初始值

在这里，对象（object） 是指一块能存储数据并具有某种类型的内存空间，而不单单指在与类有关的场景下使用的“对象”这个词。

当对象在创建时获得了一个特定的值，我们说这个对象被初始化（initialized）。

初始化不是赋值，初始化的含义是创建变量时赋予其一个初始值；而赋值的含义是把对象的当前值擦除，而以一个新值来替代。

默认初始化

如果定义变量时没有指定初值，则变量被默认初始化（default initialized），此时变量被赋予了“默认值”。系统如何初始化取决于变量的类型以及变量定义的位置。

内置类型的默认初始化

如果是内置类型的变量未被显式初始化，它的值由定义的位置决定。

• 定义于任何函数体之外的对象会被默认初始化，此时其初始值和变量的类型有关：

  • 对于算数类型中的 char 类型，其被初始化为’ '（与编译器相关，有的也是初始化为 0，所以基本内置类型也叫做零初始化）；
  • 对于算数类型中的其他类型，其被初始化为 0；

  #include <iostream>
  
  using namespace std;
    
  int i;
  double d;
  bool b;
  char c;
    
  int main() {
    cout << "i = " << i << endl;            // 0
    cout << "d = " << d << endl;            // 0
    cout << "b = " << b << endl;            // 0
    cout << "char" << c << "char" << endl;  // char char
    
    return 0;
  }
  

• 定义于函数体内的内置类型的对象如果没有初始化，那么该变量将不被初始化（uninitialized），一个未被初始化的内置类型的变量的值是未定义的（undefined）。

  • 如果试图拷贝或以其他形式访问此类值将引发错误。

  • 一种例外情况是局部静态变量：在程序执行路径第一次经过对象定义语句时初始化（即使不提供初始值也会被零初始化），并且直到程序终止才被销毁，在此期间即使对象所在的函数结束执行也不会对它有影响。

    int count_calls() {
        static int ctr;     // 在函数体内，static变量不初始化也可以，默认初始化为 0
        return ++ctr;
    }
    
    // 这段程序将输出从 1 到 10 的数字。
    int main() {
        for(int i=0; i != 10; ++i) {
            cout << count_calls() << endl;
        }
        return 0;
    }
    

    在控制流第一次经过 ctr 的定义之前，ctr 被创建并初始化为 0。每次执行将 ctr 加 1 并返回新值，且每次执行 count_calls() 函数时，变量 ctr 的值都已经存在并且等于函数上一次退出时 ctr 的值。

    也就是说，如果局部静态变量没有显式的初始值，它将执行值初始化，内置类型的局部静态变量初始化为 0。

未初始化的变量含有一个不确定的值，使用未初始化变量的值是一种错误的编程行为并且很难调试。尽管大多是编译器都能对一部分使用未初始化变量的行为提出警告，但严格来说，编译器并未被要求检查此类错误。

最后建议初始化每一个内置类型的变量，虽然并非必须这么做，但如果我们不能确保初始化后程序安全，那么这么做不失为一种简单可靠的方法。

类类型的默认初始化

每个类各自决定其默认初始化对象的方式。而且，是否允许不经初始化就定义对象也由类自己决定。如果类允许这种行为，它将决定对象的初始值到底是什么：

• 绝大多数类都支持无需显式初始化而定义对象，这样的类提供了一个合适的默认值，使用默认构造函数来初始化。例如，string 类规定如果没有指定初值则生成一个空串：

  string empty;       // empty 非显式地初始化为一个空串
  

• 但有一些类要求每个对象都显式初始化，此时如果创建了一个该类的对象而未对其做明确的初始化操作，将引发错误。

如果是自定义的（或自动生成的）不执行任何操作的默认构造函数，那么适用与内置数据类型相同的规则来初始化成员变量；且如果成员变量是类类型，则会调用相应的默认构造函数对其进行初始化。

#include <iostream>

// 合成的默认构造函数
class Worker
{
public:
	int height;
};

// 有用户定义的默认构造函数
class Person
{
public:
	int height;
	Person() {};       // 默认构造函数，不执行任何操作
};

Worker g_worker;
Person g_person;

int main()
{
	//Worker localWorker;//error C4700: 使用了未初始化的局部变量“localWorker”
	Person localPerson;

	std::cout << g_worker.height << std::endl;      //0
	std::cout << g_person.height << std::endl;      //0
	std::cout << localPerson.height << std::endl;   //随机值

	return 0;
}