C++中接受“任何东西”的模板

Question

我有一个简单的模板结构将字符串与值关联起来

template<typename T> struct Field
{
    std::string name; T self;
}

我有一个函数，我希望接受1个或多个任何类型的字段，这些字段可能是不同的类型，所以我使用std::initializer_list，因为据我所知，C++缺少类型化变量参数，不能确定变量参数的大小，并且必须至少有一个其他参数来确定从哪里开始。

问题是我不知道如何告诉它接受可能是不同类型的字段。在Java中，我只使用foo(field bar,field ...baz)，但是C++缺少类型化变量参数和通配符。我唯一的另一个想法是使参数类型为std::initializer_list > ，但这似乎是一个糟糕的解决方案...有没有更好的方法做这件事？

Answer 1

几件事...

>

C++11（因为您正在讨论std::initializer_list)确实有类型化的变量参数，特别是它们被命名为变量模板

Java泛型和C++模板是完全不同的野兽。Java泛型创建单个类型，该类型存储对对象的引用，并提供对接口中类型的自动转换，但重要的一点是它执行类型擦除。

我建议您解释您想要解决的问题，并在C++中获得解决问题的建议。如果您想真正模仿Java中的行为（我不能坚持认为Java是一种不同的语言，有不同的习惯用法），您可以手动使用C++中的类型擦除（即使用boost::any)。但我很少觉得有必要在程序中进行全类型擦除...使用variant类型(Boost::variant)更为常见。

如果您的编译器支持可变模板（不是所有编译器都支持），您可以随时使用它，但是对于完全泛型的方法来说，将字段存储在向量中可能有点复杂，除非您使用类型擦除。（再说一遍，要解决的问题是什么？可能有更简单的解决方案……)