Можно ли получить возвращаемый тип функции, не передавая ей аргументы?

Question

Очевидно, вы можете получить возвращаемый тип функции с помощью decltype (foo()), но если foo принимает аргументы, которые не будут работать, вам придется передать некоторые фиктивные аргументы в foo, чтобы он работал. Но есть ли способ получить возвращаемый тип функции без необходимости передавать ей какие-либо аргументы?

Answer 1

Предположив тип возвращаемого значения не зависит от типа аргумента (в этом случае вы должны использовать что-то вроде std::result_of, но вы должны предоставить тип этих аргументов), вы можете написать простой тип черта, которая позволяет вывести тип возвращаемого типа функции:

#include <type_traits> 

template<typename T> 
struct return_type; 

template<typename R, typename... Args> 
struct return_type<R(Args...)> 
{ 
    using type = R; 
}; 

int foo(double, int); 

int main() 
{ 
    using return_of_foo = return_type<decltype(foo)>::type; 
    static_assert(std::is_same<return_of_foo, int>::value, "!"); 
} 

Answer 2

C++ 11 предоставляет std::result_of.

http://en.cppreference.com/w/cpp/types/result_of

В случае, когда функция принимает аргументы, вы можете предоставить «фиктивные» аргументы std::declval.

http://en.cppreference.com/w/cpp/utility/declval