Инициализация по умолчанию

Это инициализация, выполняемая при создании объекта без инициализатора.

Синтаксис

Объяснение

Инициализация по умолчанию выполняется в трёх ситуациях:

Эффекты инициализации по умолчанию:

• если T является (возможно, с квалификатором cv) классом не-POD(до C++11), конструкторы рассматриваются и подвергаются разрешению перегрузки по отношению к пустому списку аргументов. Выбранный конструктор (который является одним из конструкторов по умолчанию) вызывается для задания начального значения для нового объекта;
• если T является типом массива, каждый элемент массива инициализируется по умолчанию;
• в противном случае инициализация не выполняется (см. примечания).

Инициализация по умолчанию объекта const

Если программа требует инициализации по умолчанию объекта типа с квалификатором const T, тип T должен быть классом, допускающим инициализацию по умолчанию с квалификатором const, или массивом такого класса.

Тип класса T допускает инициализацию по умолчанию с квалификатором const, если инициализация по умолчанию T вызовет предоставленный пользователем конструктор T (не унаследованный от базового класса)(с C++11) или если

каждый потенциально созданный базовый класс T допускает инициализацию по умолчанию с квалификатором const.

Чтение из неопределённого байта

Использование неопределённого значения, полученного путём инициализации по умолчанию неклассовой переменной любого типа, является неопределённым поведением (в частности, это может быть представлением ловушки), за исключением следующих случаев:

• если неопределённое значение типа unsigned char или std::byte(с C++17) присваивается другой переменной типа (возможно, с квалификатором cv) unsigned char или std::byte(с C++17) (значение переменной становится неопределённым, но поведение не является неопределённым);
• если неопределённое значение типа unsigned char или std::byte(с C++17) используется для инициализации другой переменной типа (возможно, с квалификатором cv) unsigned char или std::byte(с C++17);
• если неопределённое значение типа unsigned char или std::byte(с C++17) является результатом
• второго или третьего операнда условного выражения,
• правого операнда оператора запятой,
• операнда приведения типа или преобразования к (возможно, с квалификатором cv) unsigned char или std::byte(с C++17),
• выражения с отбрасываемым значением.

int f(bool b)
{
    int x;               // OK: the value of x is indeterminate
    int y = x;           // undefined behavior
    unsigned char c;     // OK: the value of c is indeterminate
    unsigned char d = c; // OK: the value of d is indeterminate
    int e = d;           // undefined behavior
    return b ? d : 0;    // undefined behavior if b is true
}

Примечания

Инициализация по умолчанию неклассовых переменных с автоматической и динамической продолжительностью хранения производит объекты с неопределёнными значениями (статические и локальные по потоку объекты получают нулевую инициализацию).

Ссылки и скалярные объекты const не могут быть инициализированы по умолчанию.

Пример

#include <string>
 
struct T1 { int mem; };
 
struct T2
{
    int mem;
    T2() {} // "mem" is not in the initializer list
};
 
int n; // static non-class, a two-phase initialization is done:
       // 1) zero-initialization initializes n to zero
       // 2) default-initialization does nothing, leaving n being zero
 
int main()
{
    [[maybe_unused]]
    int n;            // non-class, the value is indeterminate
    std::string s;    // class, calls default ctor, the value is "" (empty string)
    std::string a[2]; // array, default-initializes the elements, the value is {"", ""}
//  int& r;           // error: a reference
//  const int n;      // error: a const non-class
//  const T1 t1;      // error: const class with implicit default ctor
    [[maybe_unused]]
    T1 t1;            // class, calls implicit default ctor
    const T2 t2;      // const class, calls the user-provided default ctor
                      // t2.mem is default-initialized (to indeterminate value)
}

Отчёты об ошибках

Следующие отчёты об ошибках, меняющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также

• преобразующий конструктор
• конструктор по умолчанию
• explicit
• инициализация
  • инициализация агрегатов
  • инициализация констант
  • инициализация копированием
  • прямая инициализация
  • инициализация списком
  • инициализация ссылок
  • инициализация значением
  • нулевая инициализация
• new