如何仅使用 c++98 功能实现 std::result_of？

Question

我想知道如何实现一个result_of模板类来获取函数的返回类型。

我知道 C++11 有 std::result_of 或 decltype。但是 boost 是如何在 C++98 标准中实现这个特性的呢？

我尝试从源代码中学习，但我没有明白这一点。

应该是这样的：

int fint() { return 0;}
double fdouble() { return double(0);}
cout << sizeof(result_of<fint>::type) << endl; // should be 4
cout << sizeof(result_of<fdouble>::type) << endl; // should be 8
result_of<fint>::type x; // same as `int x;`
result_of<fdouble>::type y; // same as `double y;`

Answer 1

专门针对Ret (*) (T1, ...,TN) 到一些N：

template <typename T> struct result_of;

template <typename Ret> struct result_of<Ret (*)()> {
    typedef Ret type;
};

template <typename Ret, typename T1> struct result_of<Ret (*)(T1)> {
    typedef Ret type;
};

template <typename Ret, typename T1>
struct result_of<Ret (*)(T1, ...)> { /* ellipsis as for printf */
    typedef Ret type;
};

template <typename Ret, typename T1, typename T2> struct result_of<Ret (*)(T1, T2)> {
    typedef Ret type;
};

// ...