抱歉,我真的不知道如何称呼我的问题,希望它适合...
我有一个函数模板,它获取一个参数作为模板参数。对于那个参数,我需要另一个模板参数来声明参数的类型,但是在稍后调用该函数时,我想省略参数的类型。所以,我想要某种 typedef(或其他机制)来摆脱它。
我已经看到了与其他模板类似的机制,例如
// given: rule is a template with three arguments
template<typename Attr> using Rule = rule<It, Attr(), Skipper>;
使用的时候std::get
不用直接提枚举类就可以相处:
std::get<static_cast<std::size_t>(Enum::type1)>(tuple);
这是函数,它用于访问带有枚举的元组(比较:https ://stackoverflow.com/a/14835597/2524462 )
template<typename Enum, Enum enum, class ... Types>
typename std::tuple_element<static_cast<std::size_t>(enum), std::tuple<Types...> >::type&
get(std::tuple<Types...>& t) {
return std::get<static_cast<std::size_t>(enum)>(t);
}
由于它将与多个枚举一起使用,我不想像他那样在模板中硬连线枚举。
它被称为:(1)
std::cout << get<myEnum, myEnum::type1>(tuple);
问题:
我可以使用 typedef 或类似的来调用它,就像:
std::cout << new_get < myEnum::type1 > (tuple);
由于它与 std::get 一起使用,首先有没有办法拥有一个更智能的模板?
- 此处的 get 模板将元组类型作为最后一个参数。为什么没有必要在这里拼出它们(1)?编译器如何从给定的参数中找出它们?
我正在使用启用了 C++11 的 gcc 4.8.1。