时间戳

首页 > 解决方案 > 在参数包中获取函数指针的返回类型并将其保存为与其他参数的连接元组

c++ - 在参数包中获取函数指针的返回类型并将其保存为与其他参数的连接元组

问题描述

我想基于传递的参数包定义一个元组类型，该参数包将包含所有不是函数的参数，并且代替那些是函数的参数，只需保存它们的返回类型。该类型稍后将用于在哈希映射中进行索引，因此我需要一种方法来获取它

std::result_of 似乎是解决问题的方法，在我的测试代码中，如果只传递函数指针，它就可以工作。但是在我的用例中，即使我添加了 std::conditional check，也可能会传递其他基本类型，并且会抛出“错误：'class std::result_of'中没有名为'type'的类型”

template <typename ...Args>
using tuple_cat_t = decltype(std::tuple_cat(std::declval<Args>()...));

template <typename ...Args>
void eval(Args... args) {
    using tuple_t = std::tuple<Args...>;
    using pattern_t = tuple_cat_t<
        typename std::conditional <
        std::is_pointer<Args>::value && std::is_function<typename std::remove_pointer<Args>::type>::value,
        std::tuple < std::result_of_t<Args&&()> > ,
        std::tuple<Args>
        >::type...
    >;
}

int fn(){ return 5; }   
int main(){
    eval(fn,fn); //all good, pattern type is std::tuple<int, int>
    eval(5,fn); //comilation error
}

标签： c++templatestuplesc++14variadic

解决方案

您过于急切地评估元功能。该result_of部分也被评估int。

您应该重新排列条件，以便您选择的是元函数而不是类型，然后评估：

template <typename T> struct identity { using type = T; };

template <typename Arg>
using maybe_eval = typename std::conditional_t<
    std::is_pointer<Arg>::value && std::is_function<typename std::remove_pointer<Arg>::type>::value,
    std::result_of<Arg&&()>,
    identity<Arg>
    >::type;

using pattern_t = tuple_cat_t<std::tuple<maybe_eval<Args>>...>;

请注意，我同时使用 conditional_t 和 type

推荐阅读