]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/any/cons/in_place.cc
1 // { dg-do run { target c++17 } }
3 // Copyright (C) 2016-2022 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
21 #include <testsuite_hooks.h>
27 std::tuple
<int, int> t
;
28 template<class... Args
>
29 combined(std::initializer_list
<int> il
, Args
&&... args
)
30 : v(il
), t(std::forward
<Args
>(args
)...)
38 std::any
o(std::in_place_type
<int>, i
);
39 int& i2
= std::any_cast
<int&>(o
);
42 std::any
o2(std::in_place_type
<std::tuple
<int, int>>, 1, 2);
43 std::tuple
<int, int>& t
= std::any_cast
<std::tuple
<int, int>&>(o2
);
44 VERIFY( std::get
<0>(t
) == 1 && std::get
<1>(t
) == 2);
45 std::any
o3(std::in_place_type
<std::vector
<int>>, {42, 666});
46 std::vector
<int>& v
= std::any_cast
<std::vector
<int>&>(o3
);
47 VERIFY(v
[0] == 42 && v
[1] == 666);
48 std::any
o4(std::in_place_type
<combined
>, {42, 666});
49 combined
& c
= std::any_cast
<combined
&>(o4
);
50 VERIFY(c
.v
[0] == 42 && c
.v
[1] == 666
51 && std::get
<0>(c
.t
) == 0 && std::get
<1>(c
.t
) == 0 );
52 std::any
o5(std::in_place_type
<combined
>, {1, 2}, 3, 4);
53 combined
& c2
= std::any_cast
<combined
&>(o5
);
54 VERIFY(c2
.v
[0] == 1 && c2
.v
[1] == 2
55 && std::get
<0>(c2
.t
) == 3 && std::get
<1>(c2
.t
) == 4 );
56 std::any
o6(std::in_place_type
<int&>, i
);
57 VERIFY(o6
.type() == o
.type());
58 std::any
o7(std::in_place_type
<void()>, nullptr);
59 std::any
o8(std::in_place_type
<void(*)()>, nullptr);
60 VERIFY(o7
.type() == o8
.type());
61 std::any
o9(std::in_place_type
<char(&)[42]>, nullptr);
62 std::any
o10(std::in_place_type
<char*>, nullptr);
63 VERIFY(o9
.type() == o10
.type());