1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <utility> 11 12 // template <class T1, class T2> struct pair 13 14 // template<size_t I, class T1, class T2> 15 // const typename tuple_element<I, std::pair<T1, T2> >::type&& 16 // get(const pair<T1, T2>&&); 17 18 // UNSUPPORTED: c++98, c++03 19 20 #include <utility> 21 #include <memory> 22 #include <type_traits> 23 #include <cassert> 24 25 #include "test_macros.h" 26 27 int main() 28 { 29 { 30 typedef std::pair<std::unique_ptr<int>, short> P; 31 const P p(std::unique_ptr<int>(new int(3)), static_cast<short>(4)); 32 static_assert(std::is_same<const std::unique_ptr<int>&&, decltype(std::get<0>(std::move(p)))>::value, ""); 33 static_assert(noexcept(std::get<0>(std::move(p))), ""); 34 const std::unique_ptr<int>&& ptr = std::get<0>(std::move(p)); 35 assert(*ptr == 3); 36 } 37 38 { 39 int x = 42; 40 int const y = 43; 41 std::pair<int&, int const&> const p(x, y); 42 static_assert(std::is_same<int&, decltype(std::get<0>(std::move(p)))>::value, ""); 43 static_assert(noexcept(std::get<0>(std::move(p))), ""); 44 static_assert(std::is_same<int const&, decltype(std::get<1>(std::move(p)))>::value, ""); 45 static_assert(noexcept(std::get<1>(std::move(p))), ""); 46 } 47 48 { 49 int x = 42; 50 int const y = 43; 51 std::pair<int&&, int const&&> const p(std::move(x), std::move(y)); 52 static_assert(std::is_same<int&&, decltype(std::get<0>(std::move(p)))>::value, ""); 53 static_assert(noexcept(std::get<0>(std::move(p))), ""); 54 static_assert(std::is_same<int const&&, decltype(std::get<1>(std::move(p)))>::value, ""); 55 static_assert(noexcept(std::get<1>(std::move(p))), ""); 56 } 57 58 #if TEST_STD_VER > 11 59 { 60 typedef std::pair<int, short> P; 61 constexpr const P p1(3, static_cast<short>(4)); 62 static_assert(std::get<0>(std::move(p1)) == 3, ""); 63 static_assert(std::get<1>(std::move(p1)) == 4, ""); 64 } 65 #endif 66 } 67