1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                     The LLVM Compiler Infrastructure
4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open
6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details.
7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <memory>
11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// unique_ptr
13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Test default unique_ptr ctor
15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <memory>
17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert>
18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// default unique_ptr ctor shouldn't require complete type
20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A;
22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Deleter
24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    int state_;
26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    Deleter(Deleter&);
28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    Deleter& operator=(Deleter&);
29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerpublic:
31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    Deleter() : state_(5) {}
32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    int state() const {return state_;}
34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    void operator()(A* p);
36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner};
37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid check(int i);
39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class D = std::default_delete<A> >
41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct B
42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    std::unique_ptr<A, D> a_;
44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    B() {}
45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    ~B();
46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    A* get() const {return a_.get();}
48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    D& get_deleter() {return a_.get_deleter();}
49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner};
50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main()
52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    B<> s;
55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(s.get() == 0);
56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
57b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    check(0);
58b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
59b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    B<Deleter> s;
60b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(s.get() == 0);
61b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(s.get_deleter().state() == 5);
62b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
63b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    check(0);
64b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
65b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
66b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A
67b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
68b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    static int count;
69b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    A() {++count;}
70b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    A(const A&) {++count;}
71b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    ~A() {--count;}
72b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner};
73b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
74b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint A::count = 0;
75b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
76b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid Deleter::operator()(A* p) {delete p;}
77b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
78b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid check(int i)
79b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
80b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    assert(A::count == i);
81b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
82b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
83b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class D>
84b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' TurnerB<D>::~B() {}
85