Pimpl с std :: unique_ptr в производном классе

Question

Я не понимаю следующий сценарий. Речь идет об использовании идиомы pimpl, основанной на std::unique_ptr в производном классе. Учитывая простую иерархию классов, указанную ниже:

class Foo 
{ 
public: 
    virtual ~Foo(); 
    //... 
}; 

struct X; 

class Bar : public Foo 
{ 
public: 
    ~Bar(); 
    //... 

private: 
    std::unique_ptr<X> _d; 
}; 

Я показываю только код, имеющий отношение к моему вопросу.

Представьте себе класс Foo, являющийся интерфейсом и классом «Бар», который его реализует. Я хочу использовать идиому pimpl в Bar. Деструкторы являются виртуальными и определены в соответствующих файлах cpp. Также полное определение struct X, которое объявлено только вперед, доступно в cpp, так что для деструктора Bar может быть создан экземпляр destructor std::unique_ptr<X>::~unique_ptr(). Когда я пытаюсь создать экземпляр Bar, я бы ожидать, что она работает

int main() 
{ 
    Bar b; 
} 

Вместо этого, я получаю ошибку компиляции использования неопределенного типа «X» с последующим сообщением не может удалить неполный тип (в обновлении Visual Studio 2013 2). Однако, если я явно добавлю конструктор по умолчанию к Bar, main() компилирует/строит правильно.

class Foo 
{ 
public: 
    virtual ~Foo(); 
}; 

struct X; 

class Bar : public Foo 
{ 
public: 
    Bar(); 
    ~Bar(); 

private: 
    std::unique_ptr<X> _d; 
}; 

Я не видеть соответствие между наличием конструкторов по умолчанию в этой иерархии классов и полнотой struct X в контексте std::unique_ptr<X> в Bar. Может ли кто-нибудь объяснить или указать на возможно уже существующее объяснение?

Answer 1

Проблема заключается в том, что конструктор по умолчанию, добавленный в Bar, должен вызвать деструктор std::unique_ptr<X> в случае, если конструктор конструктора Bar выдает исключение.

Но std::unique_ptr<X>::~unique_ptr() называет детектора unique_ptr: std::default_delete<X> - для этого требуется X. [unique.ptr.single.dtor]

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