Инициализация значением

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

Синтаксис

Пояснение

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

Во всех случаях, если используется пустая пара фигурных скобок {} и T является агрегатным типом, вместо инициализации значением выполняется агрегатная инициализация.

Инициализация значением оказывает следующие эффекты:

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

Примечания

Синтаксис T object(); не инициализирует объект; он объявляет функцию без аргументов, возвращающую T. До C++11 именованную переменную можно было инициализировать значением с помощью T object = T();: в этом случае создаётся временный объект, инициализируемый значением, а затем объект копирующе инициализируется из него; большинство компиляторов оптимизируют копирование в этом случае.

Ссылки нельзя инициализировать значением.

Как описано в разделе приведение в стиле вызова функции, синтаксис T() (1) запрещён, если T обозначает тип массива, тогда как T{} (5) разрешён.

Все стандартные контейнеры (std::vector, std::list и т. д.) инициализируют свои элементы значением при создании с одним аргументом size_type или при увеличении размера вызовом resize(), если только их аллокатор не изменяет поведение construct.

Пример

#include <cassert>
#include <iostream>
#include <string>
#include <vector>

struct T1
{
    int mem1;
    std::string mem2;
    virtual void foo() {} // make sure T1 is not an aggregate
}; // implicit default constructor

struct T2
{
    int mem1;
    std::string mem2;
    T2(const T2&) {} // user-provided copy constructor
};                   // no default constructor

struct T3
{
    int mem1;
    std::string mem2;
    T3() {} // user-provided default constructor
};

std::string s{}; // class => default-initialization, the value is ""

int main()
{
    int n{};                // scalar => zero-initialization, the value is 0
    assert(n == 0);
    double f = double();    // scalar => zero-initialization, the value is 0.0
    assert(f == 0.0);
    int* a = new int[10](); // array => value-initialization of each element
    assert(a[9] == 0);      //          the value of each element is 0
    T1 t1{};                // class with implicit default constructor =>
    assert(t1.mem1 == 0);   //     t1.mem1 is zero-initialized, the value is 0
    assert(t1.mem2 == "");  //     t1.mem2 is default-initialized, the value is ""
//  T2 t2{};                // error: class with no default constructor
    T3 t3{};                // class with user-provided default constructor =>
    std::cout << t3.mem1;   //     t3.mem1 is default-initialized to indeterminate value
    assert(t3.mem2 == "");  //     t3.mem2 is default-initialized, the value is ""
    std::vector<int> v(3);  // value-initialization of each element
    assert(v[2] == 0);      // the value of each element is 0
    std::cout << '\n';
    delete[] a;
}

42

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

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

См. также

• конструктор по умолчанию
• explicit
• агрегатная инициализация
• инициализация списком