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 // <stack> 10 // UNSUPPORTED: c++03, c++11, c++14 11 // UNSUPPORTED: libcpp-no-deduction-guides 12 13 14 // template <class InputIterator, class Allocator = allocator<typename iterator_traits<InputIterator>::value_type>> 15 // vector(InputIterator, InputIterator, Allocator = Allocator()) 16 // -> vector<typename iterator_traits<InputIterator>::value_type, Allocator>; 17 // 18 19 20 #include <stack> 21 #include <list> 22 #include <iterator> 23 #include <cassert> 24 #include <cstddef> 25 26 27 int main(int, char**) 28 { 29 // Test the explicit deduction guides 30 { 31 // stack(const Container&, const Alloc&); 32 // The '45' is not an allocator 33 std::stack stk(std::list<int>({1,2,3}), 45); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'stack'}} 34 } 35 36 { 37 // stack(const stack&, const Alloc&); 38 // The '45' is not an allocator 39 std::stack<int> source; 40 std::stack stk(source, 45); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'stack'}} 41 } 42 43 // Test the implicit deduction guides 44 { 45 // stack (allocator &) 46 std::stack stk((std::allocator<int>())); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'stack'}} 47 // Note: The extra parens are necessary, since otherwise clang decides it is a function declaration. 48 // Also, we can't use {} instead of parens, because that constructs a 49 // stack<allocator<int>, allocator<allocator<int>>> 50 } 51 52 53 return 0; 54 } 55