]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/tr1/3_function_objects/function/8.cc
1 // 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
3 // Copyright (C) 2005-2021 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 // 3.7.2 polymorphic function object wrapper
21 #include <tr1/functional>
22 #include <testsuite_hooks.h>
23 #include <testsuite_tr1.h>
25 using namespace __gnu_test
;
27 // Put reference_wrappers to member pointers
30 using std::tr1::function
;
34 int X::* X_bar
= &X::bar
;
35 int (X::* X_foo
)() = &X::foo
;
36 int (X::* X_foo_c
)() const = &X::foo_c
;
37 int (X::* X_foo_v
)() volatile = &X::foo_v
;
38 int (X::* X_foo_cv
)() const volatile = &X::foo_cv
;
43 function
<int(X
&)> frm(ref(X_bar
));
45 VERIFY( frm(x
) == 17 );
46 VERIFY( typeid(int X::*) == frm
.target_type() );
47 VERIFY( frm
.target
<int X::*>() == &X_bar
);
49 function
<int(X
&)> fr(ref(X_foo
));
52 VERIFY( typeid(int (X::*)()) == fr
.target_type() );
53 VERIFY( fr
.target
<int (X::*)()>() == &X_foo
);
55 function
<int(const X
&)> frc(ref(X_foo_c
));
57 VERIFY( frc(x
) == 2 );
58 VERIFY( typeid(int (X::*)() const) == frc
.target_type() );
59 VERIFY( frc
.target
<int (X::*)() const >() == &X_foo_c
);
61 function
<int(volatile X
&)> frv(ref(X_foo_v
));
63 VERIFY( frv(x
) == 3 );
64 VERIFY( typeid(int (X::*)() volatile) == frv
.target_type() );
65 VERIFY( *frv
.target
<int (X::*)() volatile >() == X_foo_v
);
66 VERIFY( frv
.target
<int (X::*)() const volatile>() == 0 );
68 function
<int(const volatile X
&)> frcv(ref(X_foo_cv
));
70 VERIFY( frcv(x
) == 4 );
71 VERIFY( typeid(int (X::*)() const volatile) == frcv
.target_type() );
72 VERIFY( *frcv
.target
<int (X::*)() const volatile >() == X_foo_cv
);
73 VERIFY( frcv
.target
<int (X::*)() const>() == 0 );
75 function
<int(X
*)> grm(ref(X_bar
));
77 VERIFY( grm(&x
) == 17 );
78 VERIFY( typeid(int X::*) == grm
.target_type() );
79 VERIFY( *grm
.target
<int X::*>() == X_bar
);
81 function
<int(X
*)> gr(ref(X_foo
));
83 VERIFY( gr(&x
) == 1 );
84 VERIFY( typeid(int (X::*)()) == gr
.target_type() );
85 VERIFY( *gr
.target
<int (X::*)()>() == X_foo
);
87 function
<int(const X
*)> grc(ref(X_foo_c
));
89 VERIFY( grc(&x
) == 2 );
90 VERIFY( typeid(int (X::*)() const) == grc
.target_type() );
91 VERIFY( *grc
.target
<int (X::*)() const >() == X_foo_c
);
93 function
<int(volatile X
*)> grv(ref(X_foo_v
));
95 VERIFY( grv(&x
) == 3 );
96 VERIFY( typeid(int (X::*)() volatile) == grv
.target_type() );
97 VERIFY( *grv
.target
<int (X::*)() volatile >() == X_foo_v
);
98 VERIFY( grv
.target
<int (X::*)() const volatile>() == 0 );
100 function
<int(const volatile X
*)> grcv(ref(X_foo_cv
));
102 VERIFY( grcv(&x
) == 4 );
103 VERIFY( typeid(int (X::*)() const volatile) == grcv
.target_type() );
104 VERIFY( *grcv
.target
<int (X::*)() const volatile >() == X_foo_cv
);
105 VERIFY( grcv
.target
<int (X::*)() const>() == 0 );
107 function
<int(X
&)> hrm(cref(X_bar
));
109 VERIFY( hrm(x
) == 17 );
110 VERIFY( typeid(int X::*) == hrm
.target_type() );
111 VERIFY( hrm
.target
<int X::*>() == 0 );
112 VERIFY( hrm
.target
<int X::* const>() == &X_bar
);
114 function
<int(X
&)> hr(cref(X_foo
));
116 VERIFY( hr(x
) == 1 );
117 VERIFY( typeid(int (X::*)()) == hr
.target_type() );
118 VERIFY( hr
.target
<int (X::* const)()>() == &X_foo
);
120 function
<int(const X
&)> hrc(cref(X_foo_c
));
122 VERIFY( hrc(x
) == 2 );
123 VERIFY( typeid(int (X::*)() const) == hrc
.target_type() );
124 VERIFY( hrc
.target
<int (X::* const)() const >() == &X_foo_c
);
126 function
<int(volatile X
&)> hrv(cref(X_foo_v
));
128 VERIFY( hrv(x
) == 3 );
129 VERIFY( typeid(int (X::*)() volatile) == hrv
.target_type() );
130 VERIFY( hrv
.target
<int (X::* const)() volatile >() == &X_foo_v
);
131 VERIFY( hrv
.target
<int (X::* const)() const volatile>() == 0 );
133 function
<int(const volatile X
&)> hrcv(cref(X_foo_cv
));
135 VERIFY( hrcv(x
) == 4 );
136 VERIFY( typeid(int (X::*)() const volatile) == hrcv
.target_type() );
137 VERIFY( hrcv
.target
<int (X::* const)() const volatile >() == &X_foo_cv
);
138 VERIFY( hrcv
.target
<int (X::* const)() const>() == 0 );