现代c++是否具有默认值？

Question

我是c++的新手，我想学习c++的最佳实践。我有一个问题，现代的c++编译器会自动为未初始化的变量分配默认值吗？如果是，这是否意味着我们不需要将默认值赋值给一个变量，或者它取决于系统？

谢谢你的帮助和澄清。

Answer 1

只有静态和全局数据总是被初始化..。

int w; // will be 0
static int x; // will be 0

void f() { static int x; /* will be 0 the first time this scope's entered */ }

struct S
{
    int n_;
};

S s_;  // s_.n_ will be 0 as s_ is global

int main()
{
    S s;  // s.n_ will be uninitialised
          // undefined behaviour to read before setting
}

对于任何其他变量，在读取它们之前，它们必须在代码的某个级别上显式初始化。但是，在声明变量时，它可能是不可见的--它可能位于默认构造函数或赋值中。您还可以像这样导致初始化：

int x{};  // will be 0
int* p = new int{};  // *p will be 0 

Answer 2

默认初始化在以下三种情况下执行：

1)当一个具有自动、静态或线程本地存储持续时间的变量被声明时，没有初始化器。

2)当具有动态存储持续时间的对象是由没有初始化器的新表达式创建时，或者是由包含空括号的初始化器的新表达式创建的(直到C++03)。

3)当基类或非静态数据成员未在构造函数初始化程序列表中提及时，将调用该构造函数。

这里有更多信息：initialization

Answer 3

关于编译器将做什么，我认为它更多的是相反的，例如：

int x; // still must be inited, will contain random data
if (some_func())
{
   // some devs will do this for "performance" - i.e don't assign a value to x
   x = 2;
}

但如果你写：

int x = 0;
if (some_func())
{
   x = 2;
}

编译器将将其优化为：

int x;
if (some_func())
{
   x = 2; // Yes this code is actually the first example again :)
}

假设x不在函数中的其他位置使用。