推导独立函数的返回类型

Deducing the return type of a standalone function

本文关键字：返回类型 函数 独立      更新时间：2023-10-16

我试图找出非成员函数的返回类型。我最初认为std::result_of可以完成这项工作，但看起来后者只适用于可调用对象。特别是std::result_of<decltype(f)>::type不工作。我终于想出了一些可以工作的代码

#include <iostream>
#include <typeinfo>
void f(int); // we deduce the returning type of this function
template<typename Ret, typename... Args>
struct Helper
{
    using type = Ret;
};
template<typename Ret, typename... Args>
Helper<Ret, Args...> invoke(Ret(*fp)(Args...))
{
    return {};
}
template<typename Ret, typename... Args>
using Return_Type = typename Helper<Ret, Args...>::type;
int main()
{
    std::cout << typeid(decltype(invoke(f))::type).name() << std::endl; // fine
}

我在这里使用了一个额外的函数，模板invoke，它接受一个指向我想要推断返回类型的函数的指针，并返回一个"helper"结构，从中我读取实际的返回类型。

代码看起来有点复杂，因为它涉及到一个调用函数(尽管没有执行实际的求值)。有没有其他更简单、更清晰/更短的方法来做这件事?

查阅我自己以前的博客文章，我发现:

template< class Func >
struct ResultOf
{
    typedef typename std::function<
        typename std::remove_pointer<Func>::type
        >::result_type T;
};

template<typename>
struct return_t_impl;
template<typename Ret, typename... Args>
struct return_t_impl <Ret(Args...)> 
{
   using type = Ret;
};
template<typename Ret, typename... Args>
struct return_t_impl<Ret(*)(Args...)> : return_t_impl<Ret(Args...)> {};
template<typename T>
using return_t = typename return_t_impl<T>::type;

并将其用作:

using type = return_t<decltype(f)>; //type is void

template<class F>
using return_t = typename std::function<std::remove_pointer_t<std::decay_t<F>>>::result_type;
相关文章：