unique_ptr（std :: nullptr_t）和模板

Question

我正在为游戏制作一个组件实体系统。

我有一个Object类，它只是一个用于容纳组件的外壳，这些组件又作为一对（typeid，unique_ptr <>）存储在对象的std :: map中。 每个组件都是派生自Component的类。

Object类具有多个模板函数（尽管该类本身不是模板），以方便对组件的访问和修改。 模板定义位于带有类定义的头文件中（以避免链接器错误）。

编译时，出现以下错误（在VS2012中）：

error C2664: 'std::unique_ptr<_Ty,_Dx>::unique_ptr(std::nullptr_t) throw()' : cannot convert parameter 1 from 'std::unique_ptr<_Ty>' to 'std::nullptr_t'
      with
      [
          _Ty=Positional,
          _Dx=std::default_delete<Positional>
      ]
      and
      [
          _Ty=Component
      ]
      nullptr can only be converted to pointer or handle types
see reference to function template instantiation 'std::unique_ptr<_Ty,_Dx> Object::__GetComponent<Positional>(void)' being compiled
          with
          [
              _Ty=Positional,
              _Dx=std::default_delete<Positional>
          ]

参考以下功能：

template <typename T> std::unique_ptr<T>
Object::__GetComponent()
{
    if(m_components.count(&typeid(T)) != 0)
    {
        return m_components[&typeid(T)];
    }
    else 
    {
        return std::unique_ptr<T>(new T);
    }
}

这里发生了什么？ 在我的代码中，我没有地方使用自定义删除器，也没有尝试将nullptr存储在unique_ptr实例中。 我想更具体地说，是什么导致了从unique_ptr <>到nullptr_t的转换？

我还会收到每个组件的错误，而不仅仅是列出的“位置”组件。

Answer 1

这里：

return m_components[&typeid(T)];

您正在尝试返回地图中唯一指针之一的副本。 唯一的指针不能被复制； 只有一个人可以拥有任何给定的对象，因此是名称的“唯一”部分。

该错误消息相当隐晦； 一个更明智的编译器会抱怨复制构造函数被删除，这应该清楚出什么问题。 显然，这完全忽略了复制构造函数，仅提及了另一个不合适的构造函数。

尚不清楚您实际上想要返回什么，以及如何管理对象的所有权。 您需要确定管理对象的策略，并适当使用智能指针。 也许您想从地图上删除该元素并返回其唯一指针（通过移动它）。 也许您想创建该对象的新副本并返回一个唯一的指针来管理该对象。 也许您想返回一个非所有者指针； 但是，如果它不在地图中，那么就不清楚该怎么做（也许添加一个新元素？）。 也许您想存储和返回共享指针，以便它们可以保留在地图中，但与调用此函数的人共享所有权。 也许您想做一些完全不同的事情。

另外，您不应调用__GetComponent函数。 那是保留名称 。