C++std：：Map保存任何类型的值

Question

基本上，我希望MyClass持有一个Hashmap将字段名（字符串）映射到任何类型的值。为此，我编写了一个单独的MyField类来保存类型和值信息。

这是我目前所掌握的：

template <typename T>
class MyField {
    T m_Value;
    int m_Size;
}


struct MyClass {
    std::map<string, MyField> fields;   //ERROR!!!
}

但是正如您所看到的，映射声明失败了，因为我没有为MyField提供类型参数...

所以我想应该是

std::map< string, MyField<int> > fields;

或

std::map< string, MyField<double> > fields;

我有什么办法可以做到这一点吗？

Answer 1

Blindy的答案很好(+1)，但只是为了完成答案：还有一种方法可以在没有库的情况下完成，通过使用动态继承：

class MyFieldInterface
{
    int m_Size; // of course use appropriate access level in the real code...
    ~MyFieldInterface() = default;
}

template <typename T>
class MyField : public MyFieldInterface {
    T m_Value; 
}


struct MyClass {
    std::map<string, MyFieldInterface* > fields;  
}

优点：

• 它对任何C++编码器都很熟悉
• 它不会强制您使用Boost（在某些上下文中不允许使用）；

缺点：

• 您必须在堆/空闲存储区上分配对象，并使用引用语义而不是值语义来操作它们；
• 公开这种方式的公共继承可能会导致过度使用动态继承，以及大量与您的类型确实过于相互依赖有关的长期问题；
• 指针向量如果必须拥有对象，就会有问题，因为您必须管理销毁；

因此，如果可以，请使用boost：：any或boost：：variant作为默认值，只有在其他情况下才考虑此选项。

struct MyClass {
    std::map<string, std::unique_ptr<MyFieldInterface> > fields;  // or shared_ptr<> if you are sharing ownership
}

然而,还有一个潜在的问题：

它强制您使用new/delete（或make_unique/shared)创建对象。这意味着实际的对象是在空闲存储区（堆）中由分配器提供的任何位置（主要是默认位置）创建的。因此，由于缓存丢失，查看对象列表的速度往往不如可能的快。

如果您关心尽可能快地循环此列表的性能（如果不关心，则忽略以下内容），那么您最好使用boost：：variant（如果您已经知道将要使用的所有具体类型）或使用某种类型擦除的多态容器。

下面是一个例子（图片来自那里）:http://bannalia.blogspot.fr/2014/05/fast-polymorphic-collections.html

但是，如果您需要保持插入对象的顺序，那么这种技术就不受欢迎了。

无论如何，都有几种可能的解决方案，这在很大程度上取决于您的需求。如果您对您的案例没有足够的经验，我建议使用我在示例中首先解释的简单解决方案或boost：：any/variant。

作为对这个答案的补充，我想指出一些非常好的博客文章，这些文章总结了您可以使用的所有C++类型擦除技术，并附上评论和优缺点：

• http://talesofcpp.fusionfenix.com/post-16/eption-nine-erasing-the-concrete
• http://akrzemi1.wordpress.com/2013/11/18/type-erasure-part-i/
• http://akrzemi1.wordpress.com/2013/12/06/type-erasure-part-II/
• http://akrzemi1.wordpress.com/2013/12/11/type-erasure-part-iii/
• http://akrzemi1.wordpress.com/2014/01/13/type-erasure-part-iv/