1 | // Boost result_of library |
---|
2 | |
---|
3 | // Copyright Douglas Gregor 2004. Use, modification and |
---|
4 | // distribution is subject to the Boost Software License, Version |
---|
5 | // 1.0. (See accompanying file LICENSE_1_0.txt or copy at |
---|
6 | // http://www.boost.org/LICENSE_1_0.txt) |
---|
7 | |
---|
8 | // For more information, see http://www.boost.org/libs/utility |
---|
9 | #if !defined(BOOST_PP_IS_ITERATING) |
---|
10 | # error Boost result_of - do not include this file! |
---|
11 | #endif |
---|
12 | |
---|
13 | // CWPro8 requires an argument in a function type specialization |
---|
14 | #if BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3002)) && BOOST_PP_ITERATION() == 0 |
---|
15 | # define BOOST_RESULT_OF_ARGS void |
---|
16 | #else |
---|
17 | # define BOOST_RESULT_OF_ARGS BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),T) |
---|
18 | #endif |
---|
19 | |
---|
20 | #if !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
21 | template<typename F BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
22 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
23 | struct result_of<F(BOOST_RESULT_OF_ARGS)> |
---|
24 | : detail::result_of<F, F(BOOST_RESULT_OF_ARGS)> {}; |
---|
25 | #endif |
---|
26 | |
---|
27 | namespace detail { |
---|
28 | |
---|
29 | template<typename R, typename FArgs BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
30 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
31 | struct result_of<R (*)(BOOST_RESULT_OF_ARGS), FArgs> |
---|
32 | { |
---|
33 | typedef R type; |
---|
34 | }; |
---|
35 | |
---|
36 | template<typename R, typename FArgs BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
37 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
38 | struct result_of<R (&)(BOOST_RESULT_OF_ARGS), FArgs> |
---|
39 | { |
---|
40 | typedef R type; |
---|
41 | }; |
---|
42 | |
---|
43 | #undef BOOST_RESULT_OF_ARGS |
---|
44 | |
---|
45 | #if BOOST_PP_ITERATION() > 1 && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
46 | template<typename R, typename FArgs BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
47 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
48 | struct result_of<R (T0::*) |
---|
49 | (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T)), |
---|
50 | FArgs> |
---|
51 | { |
---|
52 | typedef R type; |
---|
53 | }; |
---|
54 | |
---|
55 | template<typename R, typename FArgs BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
56 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
57 | struct result_of<R (T0::*) |
---|
58 | (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T)) |
---|
59 | const, |
---|
60 | FArgs> |
---|
61 | { |
---|
62 | typedef R type; |
---|
63 | }; |
---|
64 | |
---|
65 | template<typename R, typename FArgs BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
66 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
67 | struct result_of<R (T0::*) |
---|
68 | (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T)) |
---|
69 | volatile, |
---|
70 | FArgs> |
---|
71 | { |
---|
72 | typedef R type; |
---|
73 | }; |
---|
74 | |
---|
75 | template<typename R, typename FArgs BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) |
---|
76 | BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(),typename T)> |
---|
77 | struct result_of<R (T0::*) |
---|
78 | (BOOST_PP_ENUM_SHIFTED_PARAMS(BOOST_PP_ITERATION(),T)) |
---|
79 | const volatile, |
---|
80 | FArgs> |
---|
81 | { |
---|
82 | typedef R type; |
---|
83 | }; |
---|
84 | #endif |
---|
85 | |
---|
86 | } |
---|