Почему для конструктора по умолчанию требуется дефолт по умолчанию для класса, используемого в unique_ptr?

Question

Следующий код корректно компилируется с Visual Studio 2013:

#include <memory> 

namespace NS 
    { 
    class SomeOtherClass; 

    class MyClass 
     { 
     public: 
     MyClass(); 
     virtual ~MyClass(); 
     private: 
     std::unique_ptr<SomeOtherClass> m_someOtherClass; 
     }; 
    } 

int main() 
    { 
    auto mc = NS::MyClass(); 
    } 

Это происходит из-за ошибки в Visual Studio 2013, в котором инициализация mc в main непосредственно оптимизированной без проверки конструктора перемещения.

В Visual Studio 2015 это не компилируется, так как конструктор шаг должен существовать, поэтому мы изменим код так:

#include <memory> 

namespace NS 
    { 
    class SomeOtherClass; 

    class MyClass 
     { 
     public: 
     MyClass(); 
     virtual ~MyClass(); 
     MyClass(MyClass&&) = default; 
     private: 
     std::unique_ptr<SomeOtherClass> m_someOtherClass; 
     }; 
    } 

int main() 
    { 
    auto mc = NS::MyClass(); 
    } 

И снова это компилирует.

Но если мы хотим экспортировать DLL, то компиляция снова завершится неудачно. Это модифицированный код:

#include <memory> 

namespace NS 
    { 
    class SomeOtherClass; 

    class __declspec(dllexport) MyClass 
     { 
     public: 
     MyClass(); 
     virtual ~MyClass(); 
     MyClass(MyClass&&) = default; 
     private: 
     std::unique_ptr<SomeOtherClass> m_someOtherClass; 
     }; 
    } 

int main() 
    { 
    auto mc = NS::MyClass(); 
    } 

Это часть вывода компилятора:

memory(1193): error C2027: use of undefined type 'NS::SomeOtherClass' 
test.cpp(5): note: see declaration of 'NS::SomeOtherClass' 
... 
memory(1194): error C2338: can't delete an incomplete type 
memory(1195): warning C4150: deletion of pointer to incomplete type 'NS::SomeOtherClass'; no destructor called 

Кажется, что по умолчанию сгенерированного шага-конструктор по требует быть в состоянии уничтожить SomeOtherClass. Это странно, потому что MyClass имеет деструктор, в котором известно полное определение SomeOtherClass.

Так почему же эта компиляция при экспорте DLL? И почему конструктор перемещения по умолчанию требует знания определения SomeOtherClass?

Answer 1

std::unique_ptr требуется полный тип, в частности для обработки удаления.

Ваш дефолте конструктор шаг инлайн и может быть представлен следующий псевдокод:

MyClass(MyClass&& other): 
    m_someOtherClass(std::move(other.m_someOtherClass)); 
{} 

Это требует SomeOtherClass быть полным типа, чтобы иметь возможность перемещать Deleter по умолчанию шаблонного на нем.

MSDN на определении инлайн C++ функции с dllexport

Вы можете определить, как инлайн функции с атрибутом dllexport. В этот случай функция всегда создается и экспортируется, независимо от того, или какой-либо модуль в программе ссылается на эту функцию. Предполагается, что функция импортируется другой программой.

У меня нет VS2015 под рукой, а просто объявить конструктор в классе и определить его в единице трансляции, где SomeOtherClass определяется должны сделать трюк:

class __declspec(dllexport) MyClass 
     { 
     public: 
     MyClass(); 
     virtual ~MyClass(); 
     MyClass(MyClass&&); 
     private: 
     std::unique_ptr<SomeOtherClass> m_someOtherClass; 
     }; 
    } 

file_containing_ ~ MyClass.cpp

MyClass::MyClass(MyClass&&)=default;