Reverting merge from trunk
[official-gcc.git] / libstdc++-v3 / testsuite / 20_util / function / 3.cc
blob24dd6633572a4176b01725a1653297de5e09ff23
1 // { dg-options "-std=gnu++0x" }
2 // 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
3 //
4 // Copyright (C) 2005-2013 Free Software Foundation, Inc.
5 //
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
10 // any later version.
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 // 20.7.15 polymorphic function object wrapper
22 #include <functional>
23 #include <testsuite_hooks.h>
24 #include <testsuite_tr1.h>
26 using namespace __gnu_test;
28 bool test __attribute__((unused)) = true;
30 // Put nearly-matching function pointers into function<> wrappers
31 void test03()
33 using std::function;
35 function<int(float)> f1(truncate_double);
36 VERIFY( f1 );
37 VERIFY( !!f1 );
38 VERIFY( !(f1 == 0) );
39 VERIFY( !(0 == f1) );
40 VERIFY( f1 != 0 );
41 VERIFY( 0 != f1 );
43 // Copy-construction
44 function<int(float)> f2(f1);
45 VERIFY( f2 );
47 // Invocation
48 VERIFY( f1(3.1f) == 3 );
49 VERIFY( f2(3.1f) == 3 );
51 // Assignment to zero
52 f1 = 0;
53 VERIFY( !f1 );
55 // Swap
56 f1.swap(f2);
57 VERIFY( f1 );
58 VERIFY( !f2 );
59 VERIFY( f1(3.1f) == 3 );
61 // Assignment from a function pointer
62 f2 = truncate_double;
63 VERIFY( f2(3.1f) == 3 );
65 // target_type and target() functions
66 const function<int(float)>& f1c = f1;
67 VERIFY( typeid(long(*)(double)) == f1.target_type() );
68 VERIFY( f2.target<long(*)(double)>() != 0 );
69 VERIFY( *f2.target<long(*)(double)>() == &truncate_double );
70 VERIFY( f1c.target<long(*)(double)>() != 0 );
71 VERIFY( *f1c.target<long(*)(double)>() == &truncate_double );
74 int main()
76 test03();
77 return 0;