5

私の質問は、テンプレートによって渡された関数の戻り値の型に基づいて、関数の戻り値の型をコンパイラに推測させることについてです。

として呼び出すことができる方法はありますか

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));
}
4

1 に答える 1

1

テンプレート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));
}
于 2013-03-03T20:49:43.063 に答える