]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/tr1/3_function_objects/function/5.cc
1 // 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
3 // Copyright (C) 2005-2024 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 member pointers into function<> wrappers
30 using std::tr1::function
;
35 function
<int(X
&)> frm(&X::bar
);
37 VERIFY( frm(x
) == 17 );
39 VERIFY( typeid(int X::*) == frm
.target_type() );
40 VERIFY( *frm
.target
<int X::*>() == &X::bar
);
43 function
<int(X
&)> fr(&X::foo
);
47 VERIFY( typeid(int (X::*)()) == fr
.target_type() );
48 VERIFY( *fr
.target
<int (X::*)()>() == &X::foo
);
51 function
<int(const X
&)> frc(&X::foo_c
);
53 VERIFY( frc(x
) == 2 );
55 VERIFY( typeid(int (X::*)() const) == frc
.target_type() );
56 VERIFY( *frc
.target
<int (X::*)() const >() == &X::foo_c
);
59 function
<int(volatile X
&)> frv(&X::foo_v
);
61 VERIFY( frv(x
) == 3 );
63 VERIFY( typeid(int (X::*)() volatile) == frv
.target_type() );
64 VERIFY( *frv
.target
<int (X::*)() volatile >() == &X::foo_v
);
65 VERIFY( frv
.target
<int (X::*)() const volatile>() == 0 );
68 function
<int(const volatile X
&)> frcv(&X::foo_cv
);
70 VERIFY( frcv(x
) == 4 );
72 VERIFY( typeid(int (X::*)() const volatile) == frcv
.target_type() );
73 VERIFY( *frcv
.target
<int (X::*)() const volatile >() == &X::foo_cv
);
74 VERIFY( frcv
.target
<int (X::*)() const>() == 0 );
77 function
<int(X
*)> grm(&X::bar
);
79 VERIFY( grm(&x
) == 17 );
81 VERIFY( typeid(int X::*) == grm
.target_type() );
82 VERIFY( *grm
.target
<int X::*>() == &X::bar
);
85 function
<int(X
*)> gr(&X::foo
);
87 VERIFY( gr(&x
) == 1 );
89 VERIFY( typeid(int (X::*)()) == gr
.target_type() );
90 VERIFY( *gr
.target
<int (X::*)()>() == &X::foo
);
93 function
<int(const X
*)> grc(&X::foo_c
);
95 VERIFY( grc(&x
) == 2 );
97 VERIFY( typeid(int (X::*)() const) == grc
.target_type() );
98 VERIFY( *grc
.target
<int (X::*)() const >() == &X::foo_c
);
101 function
<int(volatile X
*)> grv(&X::foo_v
);
103 VERIFY( grv(&x
) == 3 );
105 VERIFY( typeid(int (X::*)() volatile) == grv
.target_type() );
106 VERIFY( *grv
.target
<int (X::*)() volatile >() == &X::foo_v
);
107 VERIFY( grv
.target
<int (X::*)() const volatile>() == 0 );
110 function
<int(const volatile X
*)> grcv(&X::foo_cv
);
112 VERIFY( grcv(&x
) == 4 );
114 VERIFY( typeid(int (X::*)() const volatile) == grcv
.target_type() );
115 VERIFY( *grcv
.target
<int (X::*)() const volatile >() == &X::foo_cv
);
116 VERIFY( grcv
.target
<int (X::*)() const>() == 0 );