默认初始化

来自cppreference.com
< cpp‎ | language

这是在不使用初始化器构造变量时执行的初始化。

语法

T 对象 ; (1)
new T

new T ( ) (C++03 前)

(2)

解释

默认初始化在三种情况下进行:

1) 当不带初始化器而声明具有自动、静态或线程局部存储期的变量时;
2) 当以不带初始化器的 new 表达式创建具有动态存储期的对象时,或当以带有由一个空括号对组成的初始化器的 new 表达式创建对象时 (C++03 前)
3)构造函数初始化器列表中未提及某个基类或非静态数据成员,且调用了该构造函数时。

默认初始化的效果是:

  • 如果 T非 POD (C++11 前)类类型,那么考虑各构造函数并实施针对空实参列表的重载决议。调用所选的构造函数(即默认构造函数之一),以提供新对象的初始值;
  • 如果 T 是数组类型,那么该数组的每个元素都被默认初始化;
  • 否则,不做任何事:具有自动存储期的对象(及其子对象)被初始化为不确定值。

只有具有自动存储期的(可有 cv 限定的)非 POD 类类型(或其数组)曾被认为在不使用初始化器时默认初始化。具有动态存储期的标量和 POD 类型曾被认为不被初始化(从 C++11 起,这种情况被重新分类为默认初始化的一种形式)。

(C++11 前)

在(引入值初始化的)C++03 前,表达式 new T(),以及带一个空括号对形式的指名基类或成员的成员初始化器,曾被分类为默认初始化,但对非类类型则指定为零初始化

(C++03 前)


如果 T 是有 cv 限定的类型,那么默认初始化会采用其无 cv 限定版本。

(C++11 前)

const 对象的默认初始化

如果程序调用有 const 限定类型的 T 对象的默认初始化,则 T 应当为 const 可默认构造类类型或其数组。

如果类类型 T 的默认初始化会调用用户提供(不是从基类继承) (C++11 起)T 构造函数,或满足以下条件,那么 T 为 const 可默认构造:

  • T 的每个直接非静态数据成员 M 拥有类类型 X (或其数组), X 为 const 可默认构造,且
  • T 没有直接变体成员,且
(C++11 前)
  • T 的每个直接非变体非静态数据成员 M 均拥有默认成员初始化器,或如果 M 拥有类类型 X (或其数组), X 为 const 可默认构造,
  • 如果 T 至少拥有一个非静态数据成员的联合体,刚好有一个变体成员拥有默认成员初始化器,
  • 如果 T 不是联合体,那么对于每个至少拥有一个非静态数据成员的匿名联合体成员(若存在),刚好有一个非静态数据成员拥有默认成员初始化器,且
(C++11 起)

T 的每个潜在构造的基类均为 const 可默认构造。

从不确定字节读取

使用由默认初始化任何非类类型的变量所取得的不确定的值是未定义行为(特别是,它可能是一种陷阱表示),除了下列情况:

  • unsigned charstd::byte (C++17 起) 类型的不确定值赋值给另一拥有(可有 cv 限定的)unsigned charstd::byte (C++17 起) 类型的变量(变量的值变为不确定,但该行为不是未定义);
  • unsigned charstd::byte (C++17 起) 类型的不确定值初始化另一拥有(可有 cv 限定的)unsigned char std::byte (C++17 起)类型的变量;
  • 从以下场合产生的 unsigned charstd::byte (C++17 起) 类型的不确定值
  • 条件表达式的第二或第三操作数,
  • 逗号运算符的右操作数,
  • 转型或转换到(可有 cv 限定的)unsigned char std::byte (C++17 起)的操作数,
  • 弃值表达式。
int f(bool b)
{
    int x;               // OK:x 的值不确定
    int y = x;           // 未定义行为
    unsigned char c;     // OK:c 的值不确定
    unsigned char d = c; // OK:d 的值不确定
    int e = d;           // 未定义行为
    return b ? d : 0;    // 如果 b 为 true 则行为未定义
}

注解

具有自动和动态存储期的非类变量的默认初始化产生具有不确定值的对象(静态和线程局部对象进行的是零初始化)。

不能默认初始化引用和 const 标量对象。

示例

#include <string>
 
struct T1 { int mem; };
 
struct T2
{
    int mem;
    T2() { } // "mem" 不在初始化器列表中
};
 
int n; // 静态非类,进行两阶段初始化:
       // 1) 零初始化将 n 初始化为零
       // 2) 默认初始化不做任何事,令 n 保留为零
 
int main()
{
    int n;            // 非类,值不确定
    std::string s;    // 类,调用默认构造函数,值是 ""(空字符串)
    std::string a[2]; // 数组,默认初始化其各元素,值是 {"", ""}
//  int& r;           // 错误:引用
//  const int n;      // 错误:const 的非类
//  const T1 t1;      // 错误:const 的带隐式默认构造函数的类
    T1 t1;            // 类,调用隐式默认构造函数
    const T2 t2;      // const 类,调用用户提供的默认构造函数
                      // t2.mem 被默认初始化(为不确定值)
}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 253 C++98 const 对象的默认初始化不能调用隐式声明的默认构造函数 如果所有子对象已初始化则允许
CWG 616 C++98 任何未初始化对象的左值到右值的转换都是未定义行为 允许值不确定的 unsigned char
CWG 1787 C++98 从缓存于寄存器的不确定的 unsigned char 读取是未定义行为 赋予良定义

参阅