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