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 // <forward_list>
11 
12 // template <class T, class Allocator = allocator<T>>
13 // class forward_list
14 // {
15 // public:
16 //   typedef T         value_type;
17 //   typedef Allocator allocator_type;
18 //
19 //   typedef value_type&                                                reference;
20 //   typedef const value_type&                                          const_reference;
21 //   typedef typename allocator_traits<allocator_type>::pointer         pointer;
22 //   typedef typename allocator_traits<allocator_type>::const_pointer   const_pointer;
23 //   typedef typename allocator_traits<allocator_type>::size_type       size_type;
24 //   typedef typename allocator_traits<allocator_type>::difference_type difference_type;
25 //   ...
26 // };
27 
28 #include <forward_list>
29 #include <type_traits>
30 
31 #include "../../min_allocator.h"
32 
33 int main()
34 {
35     static_assert((std::is_same<std::forward_list<char>::value_type, char>::value), "");
36     static_assert((std::is_same<std::forward_list<char>::allocator_type, std::allocator<char> >::value), "");
37     static_assert((std::is_same<std::forward_list<char>::reference, char&>::value), "");
38     static_assert((std::is_same<std::forward_list<char>::const_reference, const char&>::value), "");
39     static_assert((std::is_same<std::forward_list<char>::pointer, char*>::value), "");
40     static_assert((std::is_same<std::forward_list<char>::const_pointer, const char*>::value), "");
41     static_assert((std::is_same<std::forward_list<char>::size_type, std::size_t>::value), "");
42     static_assert((std::is_same<std::forward_list<char>::difference_type, std::ptrdiff_t>::value), "");
43 #if __cplusplus >= 201103L
44     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::value_type, char>::value), "");
45     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::allocator_type, min_allocator<char> >::value), "");
46     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::reference, char&>::value), "");
47     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::const_reference, const char&>::value), "");
48     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::pointer, min_pointer<char>>::value), "");
49     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::const_pointer, min_pointer<const char>>::value), "");
50     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::size_type, std::size_t>::value), "");
51     static_assert((std::is_same<std::forward_list<char, min_allocator<char>>::difference_type, std::ptrdiff_t>::value), "");
52 #endif
53 }
54