src/third_party/libc++/trunk/test/containers/associative/map/types.pass.cpp

   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 // <map>
  11
  12 // template <class Key, class T, class Compare = less<Key>,
  13 //           class Allocator = allocator<pair<const Key, T>>>
  14 // class map
  15 // {
  16 // public:
  17 //     // types:
  18 //     typedef Key                                      key_type;
  19 //     typedef T                                        mapped_type;
  20 //     typedef pair<const key_type, mapped_type>        value_type;
  21 //     typedef Compare                                  key_compare;
  22 //     typedef Allocator                                allocator_type;
  23 //     typedef typename allocator_type::reference       reference;
  24 //     typedef typename allocator_type::const_reference const_reference;
  25 //     typedef typename allocator_type::pointer         pointer;
  26 //     typedef typename allocator_type::const_pointer   const_pointer;
  27 //     typedef typename allocator_type::size_type       size_type;
  28 //     typedef typename allocator_type::difference_type difference_type;
  29 //     ...
  30 // };
  31
  32 #include <map>
  33 #include <type_traits>
  34
  35 #include "min_allocator.h"
  36
  37 int main()
  38 {
  39     {
  40     typedef std::map<int, double> C;
  41     static_assert((std::is_same<C::key_type, int>::value), "");
  42     static_assert((std::is_same<C::mapped_type, double>::value), "");
  43     static_assert((std::is_same<C::value_type, std::pair<const int, double> >::value), "");
  44     static_assert((std::is_same<C::key_compare, std::less<int> >::value), "");
  45     static_assert((std::is_same<C::allocator_type, std::allocator<std::pair<const int, double> > >::value), "");
  46     static_assert((std::is_same<C::reference, std::pair<const int, double>&>::value), "");
  47     static_assert((std::is_same<C::const_reference, const std::pair<const int, double>&>::value), "");
  48     static_assert((std::is_same<C::pointer, std::pair<const int, double>*>::value), "");
  49     static_assert((std::is_same<C::const_pointer, const std::pair<const int, double>*>::value), "");
  50     static_assert((std::is_same<C::size_type, std::size_t>::value), "");
  51     static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), "");
  52     }
  53 #if __cplusplus >= 201103L
  54     {
  55     typedef std::map<int, double, std::less<int>, min_allocator<std::pair<const int, double>>> C;
  56     static_assert((std::is_same<C::key_type, int>::value), "");
  57     static_assert((std::is_same<C::mapped_type, double>::value), "");
  58     static_assert((std::is_same<C::value_type, std::pair<const int, double> >::value), "");
  59     static_assert((std::is_same<C::key_compare, std::less<int> >::value), "");
  60     static_assert((std::is_same<C::allocator_type, min_allocator<std::pair<const int, double> > >::value), "");
  61     static_assert((std::is_same<C::reference, std::pair<const int, double>&>::value), "");
  62     static_assert((std::is_same<C::const_reference, const std::pair<const int, double>&>::value), "");
  63     static_assert((std::is_same<C::pointer, min_pointer<std::pair<const int, double>>>::value), "");
  64     static_assert((std::is_same<C::const_pointer, min_pointer<const std::pair<const int, double>>>::value), "");
  65 //  min_allocator doesn't have a size_type, so one gets synthesized
  66     static_assert((std::is_same<C::size_type, std::make_unsigned<C::difference_type>::type>::value), "");
  67     static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), "");
  68     }
  69 #endif
  70 }