Search code examples
c++templatesc++11type-traits

Get the result type of a function in c++11


Consider the following function in C++11:

template<class Function, class... Args, typename ReturnType = /*SOMETHING*/> 
inline ReturnType apply(Function&& f, const Args&... args);

I want ReturnType to be equal to the result type of f(args...) What do I have to write instead of /*SOMETHING*/ ?


Solution

  • I think you should rewrite your function template using trailing-return-type as:

    template<class Function, class... Args> 
    inline auto apply(Function&& f, const Args&... args) -> decltype(f(args...))
    {
        typedef decltype(f(args...)) ReturnType;
    
        //your code; you can use the above typedef.
    }
    

    Note that if you pass args as Args&&... instead of const Args&..., then it is better to use std::forward in f as:

    decltype(f(std::forward<Args>(args)...))
    

    When you use const Args&..., then std::forward doesn't make much sense (at least to me).

    It is better to pass args as Args&&... called universal-reference and use std::forward with it.