types.pass.cpp revision f5256e16dfc425c1d466f6308d4026d529ce9e0b
1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// This file is distributed under the University of Illinois Open Source 6bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// License. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <deque> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// Test nested types and default template args: 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class T, class Allocator = allocator<T> > 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class deque 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// { 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// public: 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef T value_type; 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef Allocator allocator_type; 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::reference reference; 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::const_reference const_reference; 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef implementation-defined iterator; 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef implementation-defined const_iterator; 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::size_type size_type; 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::difference_type difference_type; 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::pointer pointer; 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::const_pointer const_pointer; 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef std::reverse_iterator<iterator> reverse_iterator; 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// }; 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <deque> 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <iterator> 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include "../../test_allocator.h" 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include "../../Copyable.h" 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T, class Allocator> 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::deque<T, Allocator> C; 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::value_type, T>::value), ""); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::value_type, typename Allocator::value_type>::value), ""); 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::allocator_type, Allocator>::value), ""); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::size_type, typename Allocator::size_type>::value), ""); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::difference_type, typename Allocator::difference_type>::value), ""); 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::reference, typename Allocator::reference>::value), ""); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::const_reference, typename Allocator::const_reference>::value), ""); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::pointer, typename Allocator::pointer>::value), ""); 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::const_pointer, typename Allocator::const_pointer>::value), ""); 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename std::iterator_traits<typename C::iterator>::iterator_category, 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::random_access_iterator_tag>::value), ""); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename std::iterator_traits<typename C::const_iterator>::iterator_category, 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::random_access_iterator_tag>::value), ""); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename C::reverse_iterator, 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::reverse_iterator<typename C::iterator> >::value), ""); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename C::const_reverse_iterator, 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::reverse_iterator<typename C::const_iterator> >::value), ""); 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<int, test_allocator<int> >(); 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<int*, std::allocator<int*> >(); 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<Copyable, test_allocator<Copyable> >(); 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<std::deque<char>::allocator_type, 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::allocator<char> >::value), ""); 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 76