1 // { dg-options "-std=gnu++17" }
4 // Copyright (C) 2016-2018 Free Software Foundation, Inc.
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)
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/>.
22 #include <testsuite_hooks.h>
28 std::tuple
<int, int> t
;
29 template<class... Args
>
30 combined(std::initializer_list
<int> il
, Args
&&... args
)
31 : v(il
), t(std::forward
<Args
>(args
)...)
39 std::any
o(std::in_place_type
<int>, i
);
40 int& i2
= std::any_cast
<int&>(o
);
43 std::any
o2(std::in_place_type
<std::tuple
<int, int>>, 1, 2);
44 std::tuple
<int, int>& t
= std::any_cast
<std::tuple
<int, int>&>(o2
);
45 VERIFY( std::get
<0>(t
) == 1 && std::get
<1>(t
) == 2);
46 std::any
o3(std::in_place_type
<std::vector
<int>>, {42, 666});
47 std::vector
<int>& v
= std::any_cast
<std::vector
<int>&>(o3
);
48 VERIFY(v
[0] == 42 && v
[1] == 666);
49 std::any
o4(std::in_place_type
<combined
>, {42, 666});
50 combined
& c
= std::any_cast
<combined
&>(o4
);
51 VERIFY(c
.v
[0] == 42 && c
.v
[1] == 666
52 && std::get
<0>(c
.t
) == 0 && std::get
<1>(c
.t
) == 0 );
53 std::any
o5(std::in_place_type
<combined
>, {1, 2}, 3, 4);
54 combined
& c2
= std::any_cast
<combined
&>(o5
);
55 VERIFY(c2
.v
[0] == 1 && c2
.v
[1] == 2
56 && std::get
<0>(c2
.t
) == 3 && std::get
<1>(c2
.t
) == 4 );
57 std::any
o6(std::in_place_type
<int&>, i
);
58 VERIFY(o6
.type() == o
.type());
59 std::any
o7(std::in_place_type
<void()>, nullptr);
60 std::any
o8(std::in_place_type
<void(*)()>, nullptr);
61 VERIFY(o7
.type() == o8
.type());
62 std::any
o9(std::in_place_type
<char(&)[42]>, nullptr);
63 std::any
o10(std::in_place_type
<char*>, nullptr);
64 VERIFY(o9
.type() == o10
.type());