libstdc++-v3/testsuite/20_util/function/43397.cc

   1 // { dg-do run { target c++11 } }
   2 // Copyright (C) 2010-2019 Free Software Foundation, Inc.
   3 //
   4 // This file is part of the GNU ISO C++ Library.  This library is free
   5 // software; you can redistribute it and/or modify it under the
   6 // terms of the GNU General Public License as published by the
   7 // Free Software Foundation; either version 3, or (at your option)
   8 // any later version.
   9 //
  10 // This library is distributed in the hope that it will be useful,
  11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 // GNU General Public License for more details.
  14 //
  15 // You should have received a copy of the GNU General Public License along
  16 // with this library; see the file COPYING3.  If not see
  17 // <http://www.gnu.org/licenses/>.
  18
  19 // 20.8.15 polymorphic function object wrapper
  20
  21 #include <functional>
  22 #include <testsuite_hooks.h>
  23
  24 struct Foo
  25 {
  26   Foo() { }
  27   short operator() ( int && ) { return 1; }
  28   short operator() ( int && ) const { return 2; }
  29   short operator() ( int && ) volatile { return 3; }
  30   short operator() ( int && ) const volatile { return 4; }
  31   short func( int && ) { return 5; }
  32   short func_c( int && ) const { return 6; }
  33   short func_v( int && ) volatile { return 7; }
  34   short func_cv( int && ) const volatile { return 8; }
  35 };
  36
  37 void test01()
  38 {
  39   using std::function;
  40   using std::ref;
  41
  42   Foo foo;
  43   Foo const foo_c;
  44   Foo volatile foo_v;
  45   Foo const volatile foo_cv;
  46
  47   std::function< int ( int && ) > f1( ref(foo) );
  48   VERIFY( f1(0) == 1 );
  49
  50   std::function< int ( int && ) > f2( ref(foo_c) );
  51   VERIFY( f2(0) == 2 );
  52
  53   std::function< int ( int && ) > f3( ref(foo_v) );
  54   VERIFY( f3(0) == 3 );
  55
  56   std::function< int ( int && ) > f4( ref(foo_cv) );
  57   VERIFY( f4(0) == 4 );
  58
  59   std::function< int ( Foo &, int && ) > f5( &Foo::func ) ;
  60   VERIFY( f5(foo, 0) == 5 );
  61
  62   std::function< int ( Foo const &, int && ) > f6( &Foo::func_c ) ;
  63   VERIFY( f6(foo_c, 0) == 6 );
  64
  65   std::function< int ( Foo volatile &, int && ) > f7( &Foo::func_v ) ;
  66   VERIFY( f7(foo_v, 0) == 7 );
  67
  68   std::function< int ( Foo const volatile &, int && ) > f8( &Foo::func_cv ) ;
  69   VERIFY( f8(foo_cv, 0) == 8 );
  70 }
  71
  72 int main()
  73 {
  74   test01();
  75   return 0;
  76 }