Мой вопрос о том, чтобы компилятор определял тип возврата функции на основе типа возврата функции, переданной шаблоном.
Есть ли способ, которым я могу назвать как
foo<bar>(7.3)
вместо
foo<double, int, bar>(7.3)
в этом примере:
#include <cstdio>
template <class T, class V, V (*func)(T)>
V foo(T t) { return func(t); }
int bar(double j) { return (int)(j + 1); }
int main() {
printf("%d\n", foo<double, int, bar>(7.3));
}
Если вы хотите сохранить bar
как шаблон аргумент, боюсь, вы можете только приблизиться к этому:
#include <cstdio>
template<typename T>
struct traits { };
template<typename R, typename A>
struct traits<R(A)>
{
typedef R ret_type;
typedef A arg_type;
};
template <typename F, F* func>
typename traits<F>::ret_type foo(typename traits<F>::arg_type t)
{ return func(t); }
int bar(double j) { return (int)(j + 1); }
int main()
{
printf("%d\n", foo<decltype(bar), bar>(7.3));
}
Вы также можете определить макрос, если вы хотите избежать повторения bar
имя:
#define FXN_ARG(f) decltype(f), f
int main()
{
printf("%d\n", foo<FXN_ARG(bar)>(7.3));
}
В качестве альтернативы, вы могли бы позволить bar
стать функция аргумент, который может сделать вашу жизнь проще:
#include <cstdio>
template<typename T>
struct traits { };
template<typename R, typename A>
struct traits<R(A)>
{
typedef R ret_type;
typedef A arg_type;
};
template<typename R, typename A>
struct traits<R(*)(A)>
{
typedef R ret_type;
typedef A arg_type;
};
template <typename F>
typename traits<F>::ret_type foo(F f, typename traits<F>::arg_type t)
{ return f(t); }
int bar(double j) { return (int)(j + 1); }
int main()
{
printf("%d\n", foo(bar, 7.3));
}
Других решений пока нет …