首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >为什么默认移动构造函数需要在unique_ptr中使用类的默认删除器?

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

Stack Overflow用户
提问于 2016-11-17 11:13:07
回答 1查看 434关注 0票数 4

以下代码使用Visual 2013正确编译:

代码语言:javascript
运行
复制
#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 2013中有一个bug,在这个bug中,mcmain中的初始化是直接优化的,而无需检查移动构造函数。

在Visual 2015中,这不能编译,因为移动构造函数必须存在,因此我们将代码更改为:

代码语言:javascript
运行
复制
#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,那么编译再次失败。这是修改后的代码:

代码语言:javascript
运行
复制
#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();
   }

这是编译器输出的一部分:

代码语言:javascript
运行
复制
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的定义

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-11-17 11:19:15

std::unique_ptr需要一个完整的类型,特别是处理删除的类型。

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

代码语言:javascript
运行
复制
MyClass(MyClass&& other):
    m_someOtherClass(std::move(other.m_someOtherClass));
{}

这要求SomeOtherClass必须是一个完整的类型,才能在其上移动默认的删除项。

关于用C++导出定义内联C++函数的C++ 可以使用dllexport属性将函数定义为内联函数。在这种情况下,函数总是被实例化和导出,无论程序中的任何模块是否引用该函数。假定该函数是由另一个程序导入的。

我手头没有VS2015,但是只需在类中声明构造函数并在定义SomeOtherClass的翻译单元中定义构造函数就可以了:

代码语言:javascript
运行
复制
   class __declspec(dllexport) MyClass
      {
      public:
         MyClass();
         virtual ~MyClass();
         MyClass(MyClass&&);
      private:
         std::unique_ptr<SomeOtherClass> m_someOtherClass;
      };
   }

file_containing_~MyClass.cpp

代码语言:javascript
运行
复制
MyClass::MyClass(MyClass&&)=default;
票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/40653414

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档