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// <queue>
11
12// template <class T, class Container = deque<T>>
13// class queue
14// {
15// public:
16//     typedef Container                                container_type;
17//     typedef typename container_type::value_type      value_type;
18//     typedef typename container_type::reference       reference;
19//     typedef typename container_type::const_reference const_reference;
20//     typedef typename container_type::size_type       size_type;
21//
22// protected:
23//     container_type c;
24// ...
25// };
26
27#include <queue>
28#include <type_traits>
29
30struct test
31    : private std::queue<int>
32{
33    test()
34    {
35        c.push_back(1);
36    }
37};
38
39struct C
40{
41    typedef int value_type;
42    typedef int& reference;
43    typedef const int& const_reference;
44    typedef int size_type;
45};
46
47int main()
48{
49    static_assert((std::is_same<std::queue<int>::container_type, std::deque<int> >::value), "");
50    static_assert((std::is_same<std::queue<double, std::vector<int> >::container_type, std::vector<int> >::value), "");
51    static_assert((std::is_same<std::queue<double, std::vector<int> >::value_type, int>::value), "");
52    static_assert((std::is_same<std::queue<int>::reference, std::deque<int>::reference>::value), "");
53    static_assert((std::is_same<std::queue<int>::const_reference, std::deque<int>::const_reference>::value), "");
54    static_assert((std::is_same<std::queue<int>::size_type, std::deque<int>::size_type>::value), "");
55    static_assert((std::uses_allocator<std::queue<int>, std::allocator<int> >::value), "");
56    static_assert((!std::uses_allocator<std::queue<int, C>, std::allocator<int> >::value), "");
57    test t;
58}
59