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