将结构实例存储在 std::map 中

Question

我正在尝试将一些结构映射到其他一些实例，如下所示：

template <typename T>
class Component {
public:

    typedef std::map<EntityID, T> instances_map;

    instances_map instances;

    Component() {};

    T add(EntityID id) {
        T* t = new T();
        instances[id] = *t;
        return *t;
    };  
};

然后我这样使用它：

struct UnitInfos {
    int owner_id;
    int health;
    float x, y;
};

class LogicComponent : public Component<UnitInfos> {};

问题是当它稍后检索数据时，像这样：

comp.instance[id];

我得到了一个全新的对象，其属性初始化为默认值。

这段代码是否存在固有问题，还是我遗漏了有关问题的信息？

---

根据@aaa 的建议，我将代码更改为

typedef std::map<EntityID, T> instances_map;
instances_map instances;
T& add(EntityID id) {
    instances[id] = T();
    return instances[id];
};

但是当我访问它时

UnitInfos &info = logic_c.instances[id];

info.x 的值还是 0。有指针吗？

---

问题是我如何将 LogicComponent 的引用存储在另一个类中。使用LogicComponent logic_c; 而不是LogicComponent& logic_c;。它现在可以工作，但我将指针存储在地图中（而不是@aaa 的建议）。这是个坏主意吗？

Answer 1

明确您要对 LogicComponent 执行的操作。假设您正在尝试实现这样的目标：

第 1 步：向地图添加新条目：

LogicComponent comp; 
EntityID id = 99;
UnitInfos info = comp.add(id);

第二步：初始化信息：

info.x = 10.0;
info.y = 11.0
// etc

第 3 步：再次获取 info 对象：

UnitInfos info2 = comp.instances[id]; // this is uninitialized.

然后，依次排列几个代码cmets：

comp.add 返回的信息对象是您添加到地图的对象的副本。通过修改它，您不会修改地图中的内容。

最简单的解决方法是创建指向对象的指针映射而不是对象本身。

typedef std::map<EntityID, T*> pinstances_map;

T * add(EntityID id) {
    T* t = new T();
    instances[id] = t;
    return t;
};  

// initialize as 
UnitInfo *info = comp.add(id);
info->x = 10.0;
info->y = 11.0;

// retrieve as 
UnitInfos *info = comp.instances[id];

此外，请务必使用访问器方法来获取映射值，而不是将映射对象公开。使实例变量受保护，并添加一个公共 get() 方法。

编辑：这段代码对我来说很好用：

#include <map>
#include <iostream>
using namespace std;

template<typename T>
class Component
{
public:
        typedef map<long, T*> pinstances_map;
        pinstances_map instances;

        T * add(long id)
        {
                T *t = new T();
                instances[id] = t;
                return t;
        }
};

struct UnitInfo 
{
        float x, y;
};

class LogicComponent: public Component<UnitInfo> {};

int main()
{
        LogicComponent comp;
        UnitInfo *info = comp.add(99);
        info->x = 10.0;
        info->y = 11.0;

        UnitInfo *info2 = comp.instances[99];
        cout << info2->x << " " << info2->y;

        return 0;
}

Answer 2

可能是这样

T add(EntityID id) {
    T* t = new T();
    instances[id] = *t;
    return *t;  // return value and map instance are not the same anymore
};  

应该是

T& add(EntityID id) {
    instances[id] = T();
    return instances[id];
};  

Answer 3

听起来您将索引运算符定义为：

template <typename T>
T& Component::operator[]( EntityID id )
{
    return instances[id];
}

或者类似的东西。

这可能会产生意想不到的效果，它会自动将默认构造的T 实例插入到映射中，然后为不存在的条目返回它。这是在std::map 中完成的，所以像instances[10] = t; 这样的自然赋值语法可以工作。

这里的重点是恒定性。除了 按值返回 和 const 属性外，完全按照上面的方式定义它：

template <typename T>
T Component::operator[]( EntityID id ) const
{
    return instances[id];
}

这样，当您尝试通过不存在的密钥进行检索时，您将得到一个异常。更好的是，只需 typedef 如下所示即可完成：

typedef std::map<EntityID,UnitInfos> EntityUnitMap;

其他人已经提到您不需要动态分配对象 - 无论如何您都将副本存储在容器中 - 并且这样做时会泄漏内存。