1 //===----------------------------------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 // <queue> 10 // UNSUPPORTED: c++03, c++11, c++14 11 // UNSUPPORTED: libcpp-no-deduction-guides 12 13 #include <queue> 14 #include <deque> 15 #include <iterator> 16 #include <cassert> 17 #include <cstddef> 18 19 20 int main(int, char**) 21 { 22 // Test the explicit deduction guides 23 { 24 // queue(Compare, Container, const Alloc); 25 // The '45' is not an allocator 26 std::priority_queue pri(std::greater<int>(), std::deque<int>({1,2,3}), 45); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'priority_queue'}} 27 } 28 29 { 30 // queue(const queue&, const Alloc&); 31 // The '45' is not an allocator 32 std::priority_queue<int> source; 33 std::priority_queue pri(source, 45); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'priority_queue'}} 34 } 35 36 { 37 // priority_queue(Iter, Iter, Comp) 38 // int is not an iterator 39 std::priority_queue pri(15, 17, std::greater<double>()); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'priority_queue'}} 40 } 41 42 { 43 // priority_queue(Iter, Iter, Comp, Container) 44 // float is not an iterator 45 std::priority_queue pri(23.f, 2.f, std::greater<float>(), std::deque<float>()); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'priority_queue'}} 46 } 47 48 // Test the implicit deduction guides 49 { 50 // priority_queue (allocator &) 51 std::priority_queue pri((std::allocator<int>())); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'priority_queue'}} 52 // Note: The extra parens are necessary, since otherwise clang decides it is a function declaration. 53 // Also, we can't use {} instead of parens, because that constructs a 54 // stack<allocator<int>, allocator<allocator<int>>> 55 } 56 57 58 return 0; 59 } 60