libcxx/test/std/containers/sequences/array/array.tuple/tuple_element.pass.cpp

   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 // <array>
  10
  11 // tuple_element<I, array<T, N> >::type
  12
  13 #include <array>
  14 #include <type_traits>
  15
  16 #include "test_macros.h"
  17
  18 template <class T>
  19 void test()
  20 {
  21     {
  22     typedef T Exp;
  23     typedef std::array<T, 3> C;
  24     static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
  25     static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
  26     static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
  27     }
  28     {
  29     typedef T const Exp;
  30     typedef std::array<T, 3> const C;
  31     static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
  32     static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
  33     static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
  34     }
  35     {
  36     typedef T volatile Exp;
  37     typedef std::array<T, 3> volatile C;
  38     static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
  39     static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
  40     static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
  41     }
  42     {
  43     typedef T const volatile Exp;
  44     typedef std::array<T, 3> const volatile C;
  45     static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
  46     static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
  47     static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
  48     }
  49 }
  50
  51 int main(int, char**)
  52 {
  53     test<double>();
  54     test<int>();
  55
  56   return 0;
  57 }