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

Question

Этот код не компилируется с GCC 4.7.0:

class Base 
{ 
public: 
    Base(const Base&) = delete; 
}; 

class Derived : Base 
{ 
public: 
    Derived(int i) : m_i(i) {} 

    int m_i; 
}; 

Ошибка:

c.cpp: In constructor ‘Derived::Derived(int)’: 
c.cpp:10:24: error: no matching function for call to ‘Base::Base()’ 
c.cpp:10:24: note: candidate is: 
c.cpp:4:2: note: Base::Base(const Base&) <deleted> 
c.cpp:4:2: note: candidate expects 1 argument, 0 provided 

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

Это нормальное поведение?

Answer 1

C++ 11 §12.1/5 гласит:

по умолчанию конструктор для класса X является конструктором класса X, который может быть вызван без аргумента. Если для класса X нет конструктора, объявленного пользователем, конструктор, не имеющий параметров, неявно объявляется как дефолт (8.4).

Ваш Base(const Base&) = delete; считается объявленным пользователем конструктором, поэтому он подавляет генерацию неявного конструктора по умолчанию. Обходным путем является, конечно, объявление:

Base() = default;