types.pass.cpp revision 712522cfd8f61321b4f197ec0de02b0146afb5a5 
1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. 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
33template <class C>
34struct 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
41template <class C>
42void
43test()
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
57int main()
58{
59    test<std::vector<int> >();
60}
61