我有一个使用可变参数模板模板化的成员函数。成员函数想要将一些关于可变参数模板中类型的信息推送到容器的某个位置，例如typeid(T)和sizeof(T)。
成员函数还应该接受可变数量的参数，每个参数的类型都是可变参数模板中指定的类型。任何未显式定义的参数都应默认为该类型的默认构造。
基本上是这样，但是 bar 在某种程度上是一个可变参数模板，并且该代码对于可变参数模板中的所有类型都重复。
class foo {
private:
std::unordered_map<std::type_index, std::size_t> typeinfo;
public:
template<typename T>
void bar(T myType = T()) {
typeinfo.insert({ typeid(T), sizeof(T) });
// do stuff with myType ...
}
};
foo myfoo;
myfoo.bar<int, double>(); // myType<int> = 0, myType<double> = 0.0;
myfoo.bar<char, float>('a'); // myType<char> = 'a', myType<float> = 0.0f;
myfoo.bar<double, char>(32.4, 'b'); // myType<double> = 32.4, myType<char> = 'b'
参数包不能有默认参数
所以
template<typename... Ts>
void bar(Ts... = Ts()...) // ill-formed
您可以做的是使用 2 个参数包
class foo {
private:
std::unordered_map<std::type_index, std::size_t> typeinfo;
public:
// Us... is non deducible
template<typename... Us, typename... Ts>
void bar(Ts... /*args*/) {
(typeinfo.insert({ typeid(Us), sizeof(Us) }), ...);
// You might have to check that Ts... start Us...
// use end of Us... for args...
}
};
void test()
{
foo myfoo;
myfoo.bar<int, double>(); // Us=[int, double], Ts=[]
myfoo.bar<char, float>('a'); // Us =[char, float], Ts = [char];
myfoo.bar<double, char>(32.4, 'b'); // Us=[double, char], Ts=[double, int]
myfoo.bar<char>(4.2f); // Us =[char], Ts = [float] !!!
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句