1 | // Copyright 2001, 2002, 2020 Peter Dimov |
2 | // Distributed under the Boost Software License, Version 1.0. |
3 | // https://www.boost.org/LICENSE_1_0.txt) |
4 | |
5 | #include <boost/mem_fn.hpp> |
6 | #include <boost/shared_ptr.hpp> |
7 | #include <iostream> |
8 | |
9 | #if defined(BOOST_NO_CXX11_NOEXCEPT) |
10 | |
11 | int main() |
12 | { |
13 | } |
14 | |
15 | #else |
16 | |
17 | struct X |
18 | { |
19 | mutable unsigned int hash; |
20 | |
21 | X(): hash(0) {} |
22 | |
23 | int f0() noexcept { f1(a1: 17); return 0; } |
24 | int g0() const noexcept { g1(a1: 17); return 0; } |
25 | |
26 | int f1(int a1) noexcept { hash = (hash * 17041 + a1) % 32768; return 0; } |
27 | int g1(int a1) const noexcept { hash = (hash * 17041 + a1 * 2) % 32768; return 0; } |
28 | |
29 | int f2(int a1, int a2) noexcept { f1(a1); f1(a1: a2); return 0; } |
30 | int g2(int a1, int a2) const noexcept { g1(a1); g1(a1: a2); return 0; } |
31 | |
32 | int f3(int a1, int a2, int a3) noexcept { f2(a1, a2); f1(a1: a3); return 0; } |
33 | int g3(int a1, int a2, int a3) const noexcept { g2(a1, a2); g1(a1: a3); return 0; } |
34 | |
35 | int f4(int a1, int a2, int a3, int a4) noexcept { f3(a1, a2, a3); f1(a1: a4); return 0; } |
36 | int g4(int a1, int a2, int a3, int a4) const noexcept { g3(a1, a2, a3); g1(a1: a4); return 0; } |
37 | |
38 | int f5(int a1, int a2, int a3, int a4, int a5) noexcept { f4(a1, a2, a3, a4); f1(a1: a5); return 0; } |
39 | int g5(int a1, int a2, int a3, int a4, int a5) const noexcept { g4(a1, a2, a3, a4); g1(a1: a5); return 0; } |
40 | |
41 | int f6(int a1, int a2, int a3, int a4, int a5, int a6) noexcept { f5(a1, a2, a3, a4, a5); f1(a1: a6); return 0; } |
42 | int g6(int a1, int a2, int a3, int a4, int a5, int a6) const noexcept { g5(a1, a2, a3, a4, a5); g1(a1: a6); return 0; } |
43 | |
44 | int f7(int a1, int a2, int a3, int a4, int a5, int a6, int a7) noexcept { f6(a1, a2, a3, a4, a5, a6); f1(a1: a7); return 0; } |
45 | int g7(int a1, int a2, int a3, int a4, int a5, int a6, int a7) const noexcept { g6(a1, a2, a3, a4, a5, a6); g1(a1: a7); return 0; } |
46 | |
47 | int f8(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8) noexcept { f7(a1, a2, a3, a4, a5, a6, a7); f1(a1: a8); return 0; } |
48 | int g8(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8) const noexcept { g7(a1, a2, a3, a4, a5, a6, a7); g1(a1: a8); return 0; } |
49 | }; |
50 | |
51 | int detect_errors(bool x) |
52 | { |
53 | if(x) |
54 | { |
55 | std::cerr << "no errors detected.\n" ; |
56 | return 0; |
57 | } |
58 | else |
59 | { |
60 | std::cerr << "test failed.\n" ; |
61 | return 1; |
62 | } |
63 | } |
64 | |
65 | int main() |
66 | { |
67 | using boost::mem_fn; |
68 | |
69 | X x; |
70 | |
71 | X const & rcx = x; |
72 | X const * pcx = &x; |
73 | |
74 | boost::shared_ptr<X> sp(new X); |
75 | |
76 | mem_fn(pmf: &X::f0)(x); |
77 | mem_fn(pmf: &X::f0)(&x); |
78 | mem_fn(pmf: &X::f0)(sp); |
79 | |
80 | mem_fn(pmf: &X::g0)(x); |
81 | mem_fn(pmf: &X::g0)(rcx); |
82 | mem_fn(pmf: &X::g0)(&x); |
83 | mem_fn(pmf: &X::g0)(pcx); |
84 | mem_fn(pmf: &X::g0)(sp); |
85 | |
86 | mem_fn(pmf: &X::f1)(x, 1); |
87 | mem_fn(pmf: &X::f1)(&x, 1); |
88 | mem_fn(pmf: &X::f1)(sp, 1); |
89 | |
90 | mem_fn(pmf: &X::g1)(x, 1); |
91 | mem_fn(pmf: &X::g1)(rcx, 1); |
92 | mem_fn(pmf: &X::g1)(&x, 1); |
93 | mem_fn(pmf: &X::g1)(pcx, 1); |
94 | mem_fn(pmf: &X::g1)(sp, 1); |
95 | |
96 | mem_fn(pmf: &X::f2)(x, 1, 2); |
97 | mem_fn(pmf: &X::f2)(&x, 1, 2); |
98 | mem_fn(pmf: &X::f2)(sp, 1, 2); |
99 | |
100 | mem_fn(pmf: &X::g2)(x, 1, 2); |
101 | mem_fn(pmf: &X::g2)(rcx, 1, 2); |
102 | mem_fn(pmf: &X::g2)(&x, 1, 2); |
103 | mem_fn(pmf: &X::g2)(pcx, 1, 2); |
104 | mem_fn(pmf: &X::g2)(sp, 1, 2); |
105 | |
106 | mem_fn(pmf: &X::f3)(x, 1, 2, 3); |
107 | mem_fn(pmf: &X::f3)(&x, 1, 2, 3); |
108 | mem_fn(pmf: &X::f3)(sp, 1, 2, 3); |
109 | |
110 | mem_fn(pmf: &X::g3)(x, 1, 2, 3); |
111 | mem_fn(pmf: &X::g3)(rcx, 1, 2, 3); |
112 | mem_fn(pmf: &X::g3)(&x, 1, 2, 3); |
113 | mem_fn(pmf: &X::g3)(pcx, 1, 2, 3); |
114 | mem_fn(pmf: &X::g3)(sp, 1, 2, 3); |
115 | |
116 | mem_fn(pmf: &X::f4)(x, 1, 2, 3, 4); |
117 | mem_fn(pmf: &X::f4)(&x, 1, 2, 3, 4); |
118 | mem_fn(pmf: &X::f4)(sp, 1, 2, 3, 4); |
119 | |
120 | mem_fn(pmf: &X::g4)(x, 1, 2, 3, 4); |
121 | mem_fn(pmf: &X::g4)(rcx, 1, 2, 3, 4); |
122 | mem_fn(pmf: &X::g4)(&x, 1, 2, 3, 4); |
123 | mem_fn(pmf: &X::g4)(pcx, 1, 2, 3, 4); |
124 | mem_fn(pmf: &X::g4)(sp, 1, 2, 3, 4); |
125 | |
126 | mem_fn(pmf: &X::f5)(x, 1, 2, 3, 4, 5); |
127 | mem_fn(pmf: &X::f5)(&x, 1, 2, 3, 4, 5); |
128 | mem_fn(pmf: &X::f5)(sp, 1, 2, 3, 4, 5); |
129 | |
130 | mem_fn(pmf: &X::g5)(x, 1, 2, 3, 4, 5); |
131 | mem_fn(pmf: &X::g5)(rcx, 1, 2, 3, 4, 5); |
132 | mem_fn(pmf: &X::g5)(&x, 1, 2, 3, 4, 5); |
133 | mem_fn(pmf: &X::g5)(pcx, 1, 2, 3, 4, 5); |
134 | mem_fn(pmf: &X::g5)(sp, 1, 2, 3, 4, 5); |
135 | |
136 | mem_fn(pmf: &X::f6)(x, 1, 2, 3, 4, 5, 6); |
137 | mem_fn(pmf: &X::f6)(&x, 1, 2, 3, 4, 5, 6); |
138 | mem_fn(pmf: &X::f6)(sp, 1, 2, 3, 4, 5, 6); |
139 | |
140 | mem_fn(pmf: &X::g6)(x, 1, 2, 3, 4, 5, 6); |
141 | mem_fn(pmf: &X::g6)(rcx, 1, 2, 3, 4, 5, 6); |
142 | mem_fn(pmf: &X::g6)(&x, 1, 2, 3, 4, 5, 6); |
143 | mem_fn(pmf: &X::g6)(pcx, 1, 2, 3, 4, 5, 6); |
144 | mem_fn(pmf: &X::g6)(sp, 1, 2, 3, 4, 5, 6); |
145 | |
146 | mem_fn(pmf: &X::f7)(x, 1, 2, 3, 4, 5, 6, 7); |
147 | mem_fn(pmf: &X::f7)(&x, 1, 2, 3, 4, 5, 6, 7); |
148 | mem_fn(pmf: &X::f7)(sp, 1, 2, 3, 4, 5, 6, 7); |
149 | |
150 | mem_fn(pmf: &X::g7)(x, 1, 2, 3, 4, 5, 6, 7); |
151 | mem_fn(pmf: &X::g7)(rcx, 1, 2, 3, 4, 5, 6, 7); |
152 | mem_fn(pmf: &X::g7)(&x, 1, 2, 3, 4, 5, 6, 7); |
153 | mem_fn(pmf: &X::g7)(pcx, 1, 2, 3, 4, 5, 6, 7); |
154 | mem_fn(pmf: &X::g7)(sp, 1, 2, 3, 4, 5, 6, 7); |
155 | |
156 | mem_fn(pmf: &X::f8)(x, 1, 2, 3, 4, 5, 6, 7, 8); |
157 | mem_fn(pmf: &X::f8)(&x, 1, 2, 3, 4, 5, 6, 7, 8); |
158 | mem_fn(pmf: &X::f8)(sp, 1, 2, 3, 4, 5, 6, 7, 8); |
159 | |
160 | mem_fn(pmf: &X::g8)(x, 1, 2, 3, 4, 5, 6, 7, 8); |
161 | mem_fn(pmf: &X::g8)(rcx, 1, 2, 3, 4, 5, 6, 7, 8); |
162 | mem_fn(pmf: &X::g8)(&x, 1, 2, 3, 4, 5, 6, 7, 8); |
163 | mem_fn(pmf: &X::g8)(pcx, 1, 2, 3, 4, 5, 6, 7, 8); |
164 | mem_fn(pmf: &X::g8)(sp, 1, 2, 3, 4, 5, 6, 7, 8); |
165 | |
166 | return detect_errors(x: mem_fn(pm: &X::hash)(x) == 17610 && mem_fn(pm: &X::hash)(sp) == 2155); |
167 | } |
168 | |
169 | #endif |
170 | |