1 // Copyright (C) 2018-2020 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 // { dg-do run { target c++11 } }
19
20 #include <functional>
21
22 // This type is not CopyConstructible because copying a non-const lvalue
23 // will call the throwing constructor.
24 struct A
25 {
26 A() = default;
AA27 A(const A&) { } // not trivial, so allocated on the heap by std::function
AA28 A(A&) { throw 1; }
operator ()A29 void operator()() const { }
30 };
31
main()32 int main()
33 {
34 const A a{};
35 // Undefined, because std::function requires CopyConstructible:
36 std::function<void()> f(a);
37 // This will throw if the object is copied as non-const:
38 std::function<void()> g(f);
39 }
40