8

我有一个表示函数参数列表的可变参数模板,例如:

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”部分以在可变参数模板中使用?

注意:我必须使用可变参数模板方法,因为在模板中它依次对每个参数类型执行处理。

4

2 回答 2

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;
于 2013-09-18T11:35:24.240 回答
8

这是使用函数模板而不是类模板的替代方案(借鉴Daniel Frey解决方案的想法):

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 的评论:

我的节省打字。他的比较惯用。实际上,在 C++ 元编程中,接受类型并返回类型的“函数”(或元函数)(通常)被实现为模板类,其成员type给出返回值。出于这个原因,我更喜欢他的解决方案。

于 2013-09-18T12:15:47.560 回答