Default-initialization

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

Синтаксис

Объяснение

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

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

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

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

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

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

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

Неопределённые и ошибочные значения

Если вычисление производит неопределённое значение, поведение является неопределённым .

Особые случаи

Следующие типы являются неинициализированно-дружественными :

• unsigned char
• char , если его базовый тип является unsigned char

Для неопределённого или ошибочного (since C++26) значения value , неинициализированное результирующее значение для value равно:

• Неопределённое значение, если value также является неопределённым значением.

Если вычисление eval производит неопределённое или ошибочное (since C++26) значение value типа, дружественного к неинициализированным данным, поведение является определённым в следующих случаях:

• eval представляет собой вычисление одного из следующих выражений и операндов:

• Второй или третий операнд условного выражения .
• Правый операнд выражения с запятой .
• Операнд целочисленного преобразования , явного приведения или static_cast к дружественному к неинициализированным значениям типу.
• Выражение с отбрасываемым значением .

В этом случае результатом операции является неинициализированное значение результата value .

• eval представляет собой вычисление правого операнда простого оператора присваивания , левый операнд которого является lvalue типа, дружественного к неинициализированным объектам.

В данном случае значение объекта, на который ссылается левый операнд, заменяется неинициализированным результирующим значением value .

• eval представляет собой вычисление выражения инициализации при инициализации объекта типа, дружественного к неинициализированному состоянию.

В данном случае этот объект инициализируется неинициализированным значением результата value .

Преобразование неопределенного значения типа, допускающего неинициализированное состояние, дает неопределенное значение.

// Случай 1: Неинициализированные объекты с динамической продолжительностью хранения
// Все версии C++: неопределённое значение + неопределённое поведение
int f(bool b)
{
    unsigned char* c = new unsigned char;
    unsigned char d = *c; // OK, "d" имеет неопределённое значение
    int e = d;            // неопределённое поведение
    return b ? d : 0;     // неопределённое поведение, если "b" истинно
}
// Случай 2: Неинициализированные объекты с автоматической продолжительностью хранения
// до C++26: неопределённое значение + неопределённое поведение
// с C++26: ошибочное значение + ошибочное поведение
int g(bool b)
{
    unsigned char c;     // "c" имеет неопределённое/ошибочное значение
    unsigned char d = c; // нет неопределённого/ошибочного поведения,
                         // но "d" имеет неопределённое/ошибочное значение
    assert(c == d);      // выполняется, но оба целочисленных продвижения имеют
                         // неопределённое/ошибочное поведение
    int e = d;           // неопределённое/ошибочное поведение
    return b ? d : 0;    // неопределённое/ошибочное поведение, если "b" истинно
}
// Аналогично случаю 2
void h()
{
    int d1, d2;  // "d1" и "d2" имеют неопределённые/ошибочные значения
    int e1 = d1; // неопределённое/ошибочное поведение
    int e2 = d1; // неопределённое/ошибочное поведение
    assert(e1 == e2); // выполняется
    assert(e1 == d1); // выполняется, неопределённое/ошибочное поведение
    assert(e2 == d1); // выполняется, неопределённое/ошибочное поведение
    // нет неопределённого/ошибочного поведения,
    // но "d2" имеет неопределённое/ошибочное значение
    std::memcpy(&d2, &d1, sizeof(int));
    assert(e1 == d2); // выполняется, неопределённое/ошибочное поведение
    assert(e2 == d2); // выполняется, неопределённое/ошибочное поведение
}

Примечания

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

Пример

#include <string>
struct T1 { int mem; };
struct T2
{
    int mem;
    T2() {} // "mem" отсутствует в списке инициализации
};
int n; // статическая не-классовая переменная, выполняется двухфазная инициализация:
       // 1) инициализация нулями устанавливает n в ноль
       // 2) инициализация по умолчанию ничего не делает, оставляя n равным нулю
int main()
{
    [[maybe_unused]]
    int n;            // не-классовая переменная, значение неопределено
    std::string s;    // класс, вызывает конструктор по умолчанию, значение равно ""
    std::string a[2]; // массив, инициализирует элементы по умолчанию, значение равно {"", ""}
//  int& r;           // Ошибка: ссылка
//  const int n;      // Ошибка: константная не-классовая переменная
//  const T1 t1;      // Ошибка: константный класс с неявным конструктором по умолчанию
    [[maybe_unused]]
    T1 t1;            // класс, вызывает неявный конструктор по умолчанию
    const T2 t2;      // константный класс, вызывает предоставленный пользователем конструктор по умолчанию
                      // t2.mem инициализируется по умолчанию
}

Отчеты о дефектах

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

Смотрите также

• converting constructor
• default constructor
• explicit
• инициализация
  • aggregate initialization
  • constant initialization
  • copy-initialization
  • direct-initialization
  • list-initialization
  • reference initialization
  • value-initialization
  • zero-initialization
• new