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

默认生成的move-constructor似乎需要能够破坏SomeOtherClass。这很奇怪，因为MyClass有一个析构函数，其中SomeOtherClass的完整定义是已知的。

那么为什么在导出DLL时不编译呢？为什么默认移动构造函数需要知道SomeOtherClass的定义？

Answer 1

std::unique_ptr需要完整的类型，专门用于处理删除。

您的默认移动构造函数是内联的，可以用以下伪代码表示：

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

这需要SomeOtherClass为完整类型，才能移动模板上的默认删除器。

  关于使用dllexport定义内联C ++函数的
MSDN

您可以使用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;

为什么默认移动构造函数需要unique_ptr中使用的类的默认删除？

1 个答案: