Edit

Share via


result_of Class

Determines the return type of the callable type that takes the specified argument types. Added in C++14, deprecated in C++17.

Syntax

template<class>
struct result_of; // Causes a static assert

template <class Fn, class... ArgTypes>
struct result_of<Fn(ArgTypes...)>;

// Helper type
template<class T>
   using result_of_t = typename result_of<T>::type;

Parameters

Fn
The callable type to query.

ArgTypes
The types of the argument list to the callable type to query.

Remarks

Use this template to determine at compile time the result type of Fn(ArgTypes), where Fn is a callable type, reference to function, or reference to callable type, invoked using an argument list of the types in ArgTypes. The type member of the class template names the result type of decltype(std::invoke(declval<Fn>(), declval<ArgTypes>()...)) if the unevaluated expression std::invoke(declval<Fn>(), declval<ArgTypes>()...) is well-formed. Otherwise, the class template has no member type. The type Fn and all types in the parameter pack ArgTypes must be complete types, void, or arrays of unknown bound. Deprecated in favor of invoke_result in C++17.

Requirements

Header: <type_traits>

Namespace: std

See also

<type_traits>
invoke_result class