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