默认初始化

来自cppreference.com
< cpp‎ | language

这是在变量不带无初始化器构造时进行的初始化。

目录

[编辑] 语法

T object ; (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 前)

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

  • 若无符号窄字符类型或 std::byte 的不确定值被赋值给另一拥有无符号窄字符类型或 std::byte 类型的变量(变量的值变为不确定,但行为不是未定义);
  • 若无符号窄字符类型或 std::byte 的不确定值被用于初始化另一拥有无符号窄字符类型或 std::byte 类型的变量;
  • 若从以下场合产生无符号窄字符类型或 std::byte 的不确定值
  • 条件表达式的第二或第三运算数,
  • 逗号运算符的右运算数,
  • 转型或转换到无符号窄字符类型或 std::byte 的运算数,
  • 弃值表达式。
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
}
(C++14 起)

[编辑] 注意

自动和动态存储期的非类变量默认初始化产生拥有不确定值的对象(静态和线程局域对象得到零初始化

T 是 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 被默认初始化(为不确定值)
}


[编辑] 参阅