Home | History | Annotate | Download | only in meta.unary.prop.query
      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 // type_traits
     11 
     12 // rank
     13 
     14 #include <type_traits>
     15 
     16 template <class T, unsigned A>
     17 void test_rank()
     18 {
     19     static_assert( std::rank<T>::value == A, "");
     20     static_assert( std::rank<const T>::value == A, "");
     21     static_assert( std::rank<volatile T>::value == A, "");
     22     static_assert( std::rank<const volatile T>::value == A, "");
     23 }
     24 
     25 class Class
     26 {
     27 public:
     28     ~Class();
     29 };
     30 
     31 int main()
     32 {
     33     test_rank<void, 0>();
     34     test_rank<int&, 0>();
     35     test_rank<Class, 0>();
     36     test_rank<int*, 0>();
     37     test_rank<const int*, 0>();
     38     test_rank<int, 0>();
     39     test_rank<double, 0>();
     40     test_rank<bool, 0>();
     41     test_rank<unsigned, 0>();
     42 
     43     test_rank<char[3], 1>();
     44     test_rank<char[][3], 2>();
     45     test_rank<char[][4][3], 3>();
     46 }
     47