Конструкторы по умолчанию

Конструктор по умолчанию это конструктор, который можно вызывать без аргументов.

[править] Синтаксис

[править] Объяснение

Конструкторы по умолчанию вызываются во время инициализации по умолчанию и инициализации значением.

[править] Неявно объявленный конструктор по умолчанию

Если для типа класса не предоставлены объявленные пользователем конструкторы любого типа, компилятор всегда будет объявлять конструктор по умолчанию, как inline public элемент своего класса.

Неявно объявленный (или заданный по умолчанию при первом объявлении) конструктор по умолчанию имеет спецификацию исключения, как описано в спецификации динамических исключений (до C++17)спецификации noexcept (начиная с C++17).

[править] Неявно определённый конструктор по умолчанию

Если конструктор объявлен неявно (до C++11)неявно объявленный или явно заданный по умолчанию конструктор по умолчанию не определён как удалённый (начиная с C++11), он определяется (то есть тело функции генерируется и компилируется) компилятором, если используется odr или требуется для константной оценки (начиная с C++11), и он имеет тот же эффект, что и определённый пользователем конструктор с пустым телом и пустым списком инициализаторов. То есть он вызывает конструкторы по умолчанию базовых классов и нестатических элементов своего класса. Типы классов с пустым конструктором, предоставляемым пользователем, могут обрабатываться иначе, чем с неявно заданным или заданным по умолчанию конструктором по умолчанию во время инициализации значением.

[править] Удалённый конструктор по умолчанию

Неявно объявленный или явно заданный по умолчанию (начиная с C++11) конструктор по умолчанию для класса T не определён (до C++11)определён как удалённый (начиная с C++11), если выполняется любое из следующих условий:

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

• M имеет деструктор, который удалён или (начиная с C++11) недоступный из конструктора по умолчанию, или
• соблюдены все следующие условия:

• Разрешение перегрузки, применяемое для поиска конструктора по умолчанию объекта M

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

[править] Тривиальный конструктор по умолчанию

Конструктор по умолчанию для класса T является тривиальным (т.е. не выполняет никаких действий), если выполняются все следующие условия:

• Конструктор не предоставляется пользователем (т.е. определяется неявно или по умолчанию при первом объявлении).
• T не имеет виртуальных функций-элементов.
• T не имеет виртуальных базовых классов.

• Каждый прямой базовый класс T имеет тривиальный конструктор по умолчанию.
• Каждый нестатический элемент классового типа (или его массив) имеет тривиальный конструктор по умолчанию.

Тривиальный конструктор по умолчанию это конструктор, который не выполняет никаких действий. Все типы данных, совместимые с языком C (типы POD), тривиально конструируются по умолчанию.

[править] Допустимый конструктор по умолчанию

Тривиальность допустимых конструкторов по умолчанию определяет, является ли класс неявным типом времени жизни и является ли класс тривиальным типом.

[править] Пример

struct A
{
    int x;
    A(int x = 1): x(x) {} // определяемый пользователем конструктор по умолчанию
};
 
struct B: A
{
    // B::B() iопределяется неявно, вызывает A::A()
};
 
struct C
{
    A a;
    // C::C() определяется неявно, вызывает A::A()
};
 
struct D: A
{
    D(int y): A(y) {}
    // D::D() не объявлен, потому что существует другой конструктор
};
 
struct E: A
{
    E(int y): A(y) {}
    E() = default; // объявлен явно по умолчанию, вызывает A::A()
};
 
struct F
{
    int& ref; // элемент ссылка
    const int c; // константный элемент
    // F::F() неявно определяется как удалённый
};
 
// объявленный пользователем конструктор копирования (предоставленный пользователем,
// удалённый или заданный по умолчанию) предотвращает неявное создание конструктора
// по умолчанию
 
struct G
{
    G(const G&) {}
    // G::G() неявно определяется как удалённый
};
 
struct H
{
    H(const H&) = delete;
    // H::H() неявно определяется как удалённый
};
 
struct I
{
    I(const I&) = default;
    // I::I() неявно определяется как удалённый
};
 
int main()
{
    A a;
    B b;
    C c;
//  D d; // ошибка компиляции
    E e;
//  F f; // ошибка компиляции
//  G g; // ошибка компиляции
//  H h; // ошибка компиляции
//  I i; // ошибка компиляции
}

[править] Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

[править] Смотрите также

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