Прямая инициализация

Инициализирует объект явным набором аргументов конструктора.

Синтаксис

Пояснение

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

Результаты прямой инициализации:

• Если T является типом массива,

struct A
{
    explicit A(int i = 0) {}
};

A a[2](A(1)); // OK: initializes a[0] with A(1) and a[1] with A()
A b[2]{A(1)}; // error: implicit copy-list-initialization of b[1]
              //        from {} selected explicit constructor

• Если T является классовым типом,

• рассматриваются конструкторы T, и наиболее подходящий выбирается посредством разрешения перегрузки. Затем вызывается выбранный конструктор для инициализации объекта.

struct B
{
    int a;
    int&& r;
};

int f();
int n = 10;

B b1{1, f()};            // OK, lifetime is extended
B b2(1, f());            // well-formed, but dangling reference
B b3{1.0, 1};            // error: narrowing conversion
B b4(1.0, 1);            // well-formed, but dangling reference
B b5(1.0, std::move(n)); // OK

• В противном случае, если T является неклассовым типом, а исходный тип — классовым, рассматриваются функции преобразования исходного типа и, если таковые имеются, его базовых классов, а наиболее подходящая выбирается посредством разрешения перегрузки. Затем выбранное пользовательское преобразование используется для преобразования выражения-инициализатора в инициализируемый объект.
• В противном случае, если T является bool, а исходный тип — std::nullptr_t, значение инициализированного объекта равно false.
• В противном случае, если необходимо, для преобразования значения other к версии T без cv-квалификаторов используются стандартные преобразования, а начальным значением инициализируемого объекта становится это значение (возможно, преобразованное).

Примечания

Прямая инициализация допускает больше вариантов, чем копирующая инициализация: при копирующей инициализации учитываются только неявные конструкторы и неявные пользовательские функции преобразования, тогда как при прямой инициализации рассматриваются все конструкторы и все пользовательские функции преобразования.

Если возникает неоднозначность между объявлением переменной с использованием синтаксиса прямой инициализации (1) (с круглыми скобками) и объявлением функции, компилятор всегда выбирает объявление функции. Это правило разрешения неоднозначности иногда приводит к неожиданным результатам и называется самым досадным разбором.

#include <fstream>
#include <iterator>
#include <string>

int main()
{
    std::ifstream file("data.txt");

    // The following is a function declaration:
    std::string foo1(std::istreambuf_iterator<char>(file),
                     std::istreambuf_iterator<char>());
    // It declares a function called foo1, whose return type is std::string,
    // first parameter has type std::istreambuf_iterator<char> and the name "file",
    // second parameter has no name and has type std::istreambuf_iterator<char>(),
    // which is rewritten to function pointer type std::istreambuf_iterator<char>(*)()
    
    // Pre-C++11 fix (to declare a variable) - add extra parentheses around one
    // of the arguments:
    std::string str1((std::istreambuf_iterator<char>(file)),
                      std::istreambuf_iterator<char>());
    
    // Post-C++11 fix (to declare a variable) - use list-initialization for any
    // of the arguments:
    std::string str2(std::istreambuf_iterator<char>{file}, {});
}

Пример

#include <iostream>
#include <memory>
#include <string>

struct Foo
{
    int mem;
    explicit Foo(int n) : mem(n) {}
};

int main()
{
    std::string s1("test"); // constructor from const char*
    std::string s2(10, 'a');

    std::unique_ptr<int> p(new int(1));  // OK: explicit constructors allowed
//  std::unique_ptr<int> p = new int(1); // error: constructor is explicit

    Foo f(2); // f is direct-initialized:
              // constructor parameter n is copy-initialized from the rvalue 2
              // f.mem is direct-initialized from the parameter n
//  Foo f2 = 2; // error: constructor is explicit

    std::cout << s1 << ' ' << s2 << ' ' << *p << ' ' << f.mem  << '\n';
}

test aaaaaaaaaa 1 2

См. также

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