我有一个可变参数模板,它代表一个函数的参数列表,例如:
void myFunc (int,int,std::string) { }
template<typename... Args> class MyTemplateClass { };
...
MyTemplateClass<int,int,std::string> myConcrete; // for use with myFunc later
有什么方法可以从decltype(func)中提取参数类型来节省必须手动编写它们,例如:
MyTemplateClass<something_like_decltype(myFunc)> myConcrete;
即在这种情况下decltype会给我“void(int,int,string)”但是有没有一种方法可以只提取“int,int,string”部分以便在变量模板中使用?
注意:我必须使用可变参数模板方法,因为在模板中它依次对每个参数类型执行处理。
答案 0 :(得分:14)
以下内容应该有效:
template<template<typename...> class C,typename T>
struct apply_args;
template<template<typename...> class C,typename R,typename... Args>
struct apply_args<C, R(Args...) >
{
typedef C<Args...> type;
};
typedef apply_args<MyTemplateClass,decltype(myFunc)>::type MyConcrete;
MyConcrete myConcrete;
答案 1 :(得分:8)
以下是使用函数模板而不是类模板的替代方法(从Daniel Frey的solution借用创意):
template <template<typename...> class C, typename R, typename... Args>
C<Args...> apply_args(R(Args...));
void f(int, bool);
using MyPair = decltype(apply_args<std::pair>(f)); // = std::pair<int, bool>
MyPair myPair{42, false};
修改:关于我的解决方案x Daniel Frey's的评论:
我节省打字。他更习惯。的确,在C ++元编程中
获取类型并返回类型的“function”(或元函数)是
(通常)实现为模板classe,其成员type
给出
返回。出于这个原因,我更喜欢他的解决方案。