blob: 9f7d8dc31481ac23ca8a0aef6330d5a1fa674b6a [file] [log] [blame]
// { dg-do run { target c++11 } }
// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
//
// Copyright (C) 2005-2021 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
// 20.7.15 polymorphic function object wrapper
#include <functional>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
using namespace __gnu_test;
// Put nearly-matching function pointers into function<> wrappers
void test03()
{
using std::function;
function<int(float)> f1(truncate_double);
VERIFY( f1 );
VERIFY( !!f1 );
VERIFY( !(f1 == 0) );
VERIFY( !(0 == f1) );
VERIFY( f1 != 0 );
VERIFY( 0 != f1 );
// Copy-construction
function<int(float)> f2(f1);
VERIFY( f2 );
// Invocation
VERIFY( f1(3.1f) == 3 );
VERIFY( f2(3.1f) == 3 );
// Assignment to zero
f1 = 0;
VERIFY( !f1 );
// Swap
f1.swap(f2);
VERIFY( f1 );
VERIFY( !f2 );
VERIFY( f1(3.1f) == 3 );
// Assignment from a function pointer
f2 = truncate_double;
VERIFY( f2(3.1f) == 3 );
// target_type and target() functions
const function<int(float)>& f1c = f1;
VERIFY( typeid(long(*)(double)) == f1.target_type() );
VERIFY( f2.target<long(*)(double)>() != 0 );
VERIFY( *f2.target<long(*)(double)>() == &truncate_double );
VERIFY( f1c.target<long(*)(double)>() != 0 );
VERIFY( *f1c.target<long(*)(double)>() == &truncate_double );
}
int main()
{
test03();
return 0;
}