erase_key.pass.cpp revision bc8d3f97eb5c958007f2713238472e0c1c8fe02
1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// ��������������������The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// This file is distributed under the University of Illinois Open Source
6bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// License. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <set>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class set
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// size_type erase(const key_type& k);
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <set>
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef std::set<int> M;
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef int V;
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef M::size_type I;
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        V ar[] =
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            1,
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            2,
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            3,
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            4,
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            5,
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            6,
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            7,
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            8
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        M m(ar, ar + sizeof(ar)/sizeof(ar[0]));
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 8);
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        I i = m.erase(9);
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 8);
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 0);
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 1);
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 2);
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 2) == 3);
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 3) == 4);
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 4) == 5);
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 5) == 6);
47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 6) == 7);
48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 7) == 8);
49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(4);
51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 7);
52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 1);
54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 2);
55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 2) == 3);
56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 3) == 5);
57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 4) == 6);
58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 5) == 7);
59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 6) == 8);
60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(1);
62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 6);
63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 2);
65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 3);
66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 2) == 5);
67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 3) == 6);
68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 4) == 7);
69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 5) == 8);
70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(8);
72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 5);
73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 2);
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 3);
76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 2) == 5);
77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 3) == 6);
78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 4) == 7);
79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(3);
81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 4);
82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 2);
84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 5);
85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 2) == 6);
86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 3) == 7);
87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(6);
89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 3);
90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 2);
92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 5);
93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 2) == 7);
94bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
95bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(7);
96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 2);
97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
98bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 2);
99bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 1) == 5);
100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(2);
102bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 1);
103bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
104bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(*next(m.begin(), 0) == 5);
105bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
106bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        i = m.erase(5);
107bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 0);
108bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(i == 1);
109bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
110bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
111