1 // Copyright (C) 2010-2018 Free Software Foundation, Inc.
2 //
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
7 // any later version.
8
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
13
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
17
18 // 20.8.9 Function template bind
19
20 // { dg-options "-fno-show-column" }
21 // { dg-do compile { target c++11 } }
22
23 #include <functional>
24
25 using namespace std::placeholders;
26
inc(int & i)27 int inc(int& i) { return ++i; }
28
test01()29 void test01()
30 {
31 const int dummy = 0;
32 std::bind(&inc, _1)(0); // { dg-error "no match" }
33 std::bind(&inc, std::ref(dummy))(); // { dg-error "no match" }
34 }
35
36 struct Inc
37 {
operator ()Inc38 int operator()(int& i) const { return ++i; }
operator ()Inc39 void operator()(int&&) const { }
40
fInc41 int f(int&& i) const { return ++i; }
42 };
43
test02()44 void test02()
45 {
46 const int dummy = 0;
47 std::bind(Inc(), _1)(dummy); // { dg-error "no match" }
48 std::bind(&Inc::f, Inc(), std::ref(dummy))(); // { dg-error "no match" }
49 }
50
51 // Ignore the reasons for deduction/substitution failure in the headers.
52 // { dg-prune-output "/include/(functional|bits/invoke.h):" }
53
main()54 int main()
55 {
56 test01();
57 test02();
58 }
59