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 // <iterator>
11 
12 // front_insert_iterator
13 
14 // Test nested types and data member:
15 
16 // template <class Container>
17 // class front_insert_iterator {
18 // protected:
19 //   Container* container;
20 // public:
21 //   typedef Container                   container_type;
22 //   typedef void                        value_type;
23 //   typedef void                        difference_type;
24 //   typedef front_insert_iterator<Cont>& reference;
25 //   typedef void                        pointer;
26 //   typedef output_iterator_tag         iterator_category;
27 // };
28 
29 #include <iterator>
30 #include <type_traits>
31 #include <vector>
32 
33 template <class C>
34 struct find_container
35     : private std::front_insert_iterator<C>
36 {
37     explicit find_container(C& c) : std::front_insert_iterator<C>(c) {}
38     void test() {this->container = 0;}
39 };
40 
41 template <class C>
42 void
43 test()
44 {
45     typedef std::front_insert_iterator<C> R;
46     C c;
47     find_container<C> q(c);
48     q.test();
49     static_assert((std::is_same<typename R::container_type, C>::value), "");
50     static_assert((std::is_same<typename R::value_type, void>::value), "");
51     static_assert((std::is_same<typename R::difference_type, void>::value), "");
52     static_assert((std::is_same<typename R::reference, R&>::value), "");
53     static_assert((std::is_same<typename R::pointer, void>::value), "");
54     static_assert((std::is_same<typename R::iterator_category, std::output_iterator_tag>::value), "");
55 }
56 
57 int main()
58 {
59     test<std::vector<int> >();
60 }
61