时间戳

首页 > 解决方案 > 我可以从签名中获取函数的返回类型吗？

c++ - 我可以从签名中获取函数的返回类型吗？

问题描述

所以我有很多类似于这些的功能：

template <typename T>
bool Zero(const T, const T, const T);
template <typename T>
T One(const T, const T, const T, bool);
template <typename T>
T Three(const T, const T, const T, const T, const T, const T);

对于这些函数中的每一个，我都有一个使用这些函数的返回类型的包装器，因此它看起来像这样：

template <typename T>
decltype(Zero<decltype(declval<T>().x)>(decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()))) ZeroWrapper(const T);
template <typename T>
decltype(One<decltype(declval<T>().x)>(decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), bool())) OneWrapper(const T);
template <typename T>
decltype(Three<decltype(declval<T>().x)>(decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()), decltype(declval<decltype(declval<T>().x)>()))) ThreeWrapper(const T);

正如你所看到decltype(declval<T>().x)的，所有这些都变得非常难以阅读。我可以模板 ausing还是有一些标准函数允许我从函数指针中提取返回类型而不将参数类型传递给decltypeor result_of？所以是这样的：

template <typename T>
foo_t<Zero<decltype(declval<T>().x)>> ZeroWrapper(const T);
template <typename T>
foo_t<One<decltype(declval<T>().x)>> OneWrapper(const T);
template <typename T>
foo_t<Three<decltype(declval<T>().x)>> ThreeWrapper(const T);

标签： c++metaprogrammingreturn-typedecltyperesult-of

解决方案

我可以模板一个 using 还是有一些标准函数允许我从函数指针中提取返回类型而不将参数类型传递给decltypeor result_of？

是的！

#include <tuple>
#include <functional>

template<class T>
struct callable_trait
{};

template<class R, class... Args>
struct callable_trait<std::function<R(Args...)>>
{
    using return_type    = R;
    using argument_types = std::tuple<Args...>;
};

template<auto callable>
using return_type = typename callable_trait<decltype(std::function{callable})>::return_type;

return_type<some_callable>some_callable是使用适当参数调用时返回的类型。这使用 astd::function来为每种可能的可调用类型（自由函数、函数指针、成员函数、函子对象）提供专门化。这在这个 StackOverflow 答案中进行了解释。

在您的情况下，您可以像这样使用它：

template <typename T>
bool Zero(const T, const T, const T);
template <typename T>
T One(const T, const T, const T, bool);
template <typename T>
T Three(const T, const T, const T, const T, const T, const T);

template <typename T>
return_type<Zero<T>>  ZeroWrapper(const T);
template <typename T>
return_type<One<T>>   OneWrapper(const T);
template <typename T>
return_type<Three<T>> ThreeWrapper(const T);

完整演示

推荐阅读