1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <tuple>
10
11 // template <class... Types> class tuple;
12
13 // template <size_t I, class... Types>
14 // const typename tuple_element<I, tuple<Types...> >::type&&
15 // get(const tuple<Types...>&& t);
16
17 // UNSUPPORTED: c++03
18
19 #include <tuple>
20 #include <utility>
21 #include <string>
22 #include <type_traits>
23 #include <cassert>
24
25 #include "test_macros.h"
26
main(int,char **)27 int main(int, char**)
28 {
29 {
30 typedef std::tuple<int> T;
31 const T t(3);
32 static_assert(std::is_same<const int&&, decltype(std::get<0>(std::move(t)))>::value, "");
33 static_assert(noexcept(std::get<0>(std::move(t))), "");
34 const int&& i = std::get<0>(std::move(t));
35 assert(i == 3);
36 }
37
38 {
39 typedef std::tuple<std::string, int> T;
40 const T t("high", 5);
41 static_assert(std::is_same<const std::string&&, decltype(std::get<0>(std::move(t)))>::value, "");
42 static_assert(noexcept(std::get<0>(std::move(t))), "");
43 static_assert(std::is_same<const int&&, decltype(std::get<1>(std::move(t)))>::value, "");
44 static_assert(noexcept(std::get<1>(std::move(t))), "");
45 const std::string&& s = std::get<0>(std::move(t));
46 const int&& i = std::get<1>(std::move(t));
47 assert(s == "high");
48 assert(i == 5);
49 }
50
51 {
52 int x = 42;
53 int const y = 43;
54 std::tuple<int&, int const&> const p(x, y);
55 static_assert(std::is_same<int&, decltype(std::get<0>(std::move(p)))>::value, "");
56 static_assert(noexcept(std::get<0>(std::move(p))), "");
57 static_assert(std::is_same<int const&, decltype(std::get<1>(std::move(p)))>::value, "");
58 static_assert(noexcept(std::get<1>(std::move(p))), "");
59 }
60
61 {
62 int x = 42;
63 int const y = 43;
64 std::tuple<int&&, int const&&> const p(std::move(x), std::move(y));
65 static_assert(std::is_same<int&&, decltype(std::get<0>(std::move(p)))>::value, "");
66 static_assert(noexcept(std::get<0>(std::move(p))), "");
67 static_assert(std::is_same<int const&&, decltype(std::get<1>(std::move(p)))>::value, "");
68 static_assert(noexcept(std::get<1>(std::move(p))), "");
69 }
70
71 #if TEST_STD_VER > 11
72 {
73 typedef std::tuple<double, int> T;
74 constexpr const T t(2.718, 5);
75 static_assert(std::get<0>(std::move(t)) == 2.718, "");
76 static_assert(std::get<1>(std::move(t)) == 5, "");
77 }
78 #endif
79
80 return 0;
81 }
82