首页 文章

从decltype(someFunction)中提取参数类型列表

提问于
浏览
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”部分以便在变量模板中使用?

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

2 回答

  • 8

    以下应该有效:

    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;
    
  • 14

    这是使用函数模板而不是类模板的替代方法(借用Daniel Freysolution借用的想法):

    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};
    

    Edit :关于我的解决方案的评论x Daniel Frey's

    我节省打字 . 他更习惯 . 实际上,在C元编程中,采用类型并返回类型的"function"(或元函数)(通常)实现为模板classe,其成员 type 给出返回 . 出于这个原因,我更喜欢他的解决方案 .

相关问题