1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <map>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class map
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//       mapped_type& at(const key_type& k);
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const mapped_type& at(const key_type& k) const;
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <map>
18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
20061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
2170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef std::pair<const int, double> V;
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        V ar[] =
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(1, 1.5),
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(2, 2.5),
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(3, 3.5),
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(4, 4.5),
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(5, 5.5),
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(7, 7.5),
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(8, 8.5),
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        std::map<int, double> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 7);
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(1) == 1.5);
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        m.at(1) = -1.5;
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(1) == -1.5);
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(2) == 2.5);
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(3) == 3.5);
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(4) == 4.5);
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(5) == 5.5);
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        try
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            m.at(6);
48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            assert(false);
49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        }
50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        catch (std::out_of_range&)
51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        }
53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(7) == 7.5);
54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(8) == 8.5);
55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 7);
56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef std::pair<const int, double> V;
59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        V ar[] =
60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(1, 1.5),
62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(2, 2.5),
63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(3, 3.5),
64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(4, 4.5),
65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(5, 5.5),
66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(7, 7.5),
67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            V(8, 8.5),
68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        const std::map<int, double> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 7);
71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(1) == 1.5);
72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(2) == 2.5);
73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(3) == 3.5);
74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(4) == 4.5);
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(5) == 5.5);
76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        try
77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            m.at(6);
79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            assert(false);
80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        }
81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        catch (std::out_of_range&)
82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        }
84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(7) == 7.5);
85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.at(8) == 8.5);
86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(m.size() == 7);
87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
8870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant#if __cplusplus >= 201103L
8970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    {
9070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        typedef std::pair<const int, double> V;
9170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        V ar[] =
9270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
9370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(1, 1.5),
9470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(2, 2.5),
9570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(3, 3.5),
9670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(4, 4.5),
9770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(5, 5.5),
9870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(7, 7.5),
9970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(8, 8.5),
10070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        };
10170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        std::map<int, double, std::less<int>, min_allocator<V>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
10270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.size() == 7);
10370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(1) == 1.5);
10470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        m.at(1) = -1.5;
10570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(1) == -1.5);
10670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(2) == 2.5);
10770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(3) == 3.5);
10870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(4) == 4.5);
10970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(5) == 5.5);
11070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        try
11170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
11270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            m.at(6);
11370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            assert(false);
11470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        }
11570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        catch (std::out_of_range&)
11670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
11770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        }
11870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(7) == 7.5);
11970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(8) == 8.5);
12070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.size() == 7);
12170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    }
12270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    {
12370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        typedef std::pair<const int, double> V;
12470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        V ar[] =
12570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
12670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(1, 1.5),
12770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(2, 2.5),
12870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(3, 3.5),
12970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(4, 4.5),
13070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(5, 5.5),
13170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(7, 7.5),
13270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            V(8, 8.5),
13370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        };
13470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        const std::map<int, double, std::less<int>, min_allocator<V>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
13570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.size() == 7);
13670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(1) == 1.5);
13770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(2) == 2.5);
13870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(3) == 3.5);
13970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(4) == 4.5);
14070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(5) == 5.5);
14170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        try
14270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
14370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            m.at(6);
14470342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant            assert(false);
14570342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        }
14670342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        catch (std::out_of_range&)
14770342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        {
14870342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        }
14970342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(7) == 7.5);
15070342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.at(8) == 8.5);
15170342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant        assert(m.size() == 7);
15270342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant    }
15370342b99e227912742972b754ad86e75c5d7eefbHoward Hinnant#endif
154bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
155