xref: /llvm-project/libcxx/test/std/containers/associative/map/map.access/index_key.pass.cpp (revision cc89063bff0f73ec7049a1dcb5d4688ae6806941)
15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // <map>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // class map
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // mapped_type& operator[](const key_type& k);
145a83710eSEric Fiselier 
155a83710eSEric Fiselier #include <map>
165a83710eSEric Fiselier #include <cassert>
175a83710eSEric Fiselier 
1854f0cda6SEric Fiselier #include "test_macros.h"
19*cc89063bSNico Weber #include "count_new.h"
205a83710eSEric Fiselier #include "min_allocator.h"
21*cc89063bSNico Weber #include "private_constructor.h"
2254f0cda6SEric Fiselier #if TEST_STD_VER >= 11
2354f0cda6SEric Fiselier #include "container_test_types.h"
2454f0cda6SEric Fiselier #endif
255a83710eSEric Fiselier 
main(int,char **)262df59c50SJF Bastien int main(int, char**)
275a83710eSEric Fiselier {
285a83710eSEric Fiselier     {
295a83710eSEric Fiselier     typedef std::pair<const int, double> V;
305a83710eSEric Fiselier     V ar[] =
315a83710eSEric Fiselier     {
325a83710eSEric Fiselier         V(1, 1.5),
335a83710eSEric Fiselier         V(2, 2.5),
345a83710eSEric Fiselier         V(3, 3.5),
355a83710eSEric Fiselier         V(4, 4.5),
365a83710eSEric Fiselier         V(5, 5.5),
375a83710eSEric Fiselier         V(7, 7.5),
385a83710eSEric Fiselier         V(8, 8.5),
395a83710eSEric Fiselier     };
405a83710eSEric Fiselier     std::map<int, double> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
415a83710eSEric Fiselier     assert(m.size() == 7);
425a83710eSEric Fiselier     assert(m[1] == 1.5);
435a83710eSEric Fiselier     assert(m.size() == 7);
445a83710eSEric Fiselier     m[1] = -1.5;
455a83710eSEric Fiselier     assert(m[1] == -1.5);
465a83710eSEric Fiselier     assert(m.size() == 7);
475a83710eSEric Fiselier     assert(m[6] == 0);
485a83710eSEric Fiselier     assert(m.size() == 8);
495a83710eSEric Fiselier     m[6] = 6.5;
505a83710eSEric Fiselier     assert(m[6] == 6.5);
515a83710eSEric Fiselier     assert(m.size() == 8);
525a83710eSEric Fiselier     }
5354f0cda6SEric Fiselier #if TEST_STD_VER >= 11
545a83710eSEric Fiselier     {
555a83710eSEric Fiselier     typedef std::pair<const int, double> V;
565a83710eSEric Fiselier     V ar[] =
575a83710eSEric Fiselier     {
585a83710eSEric Fiselier         V(1, 1.5),
595a83710eSEric Fiselier         V(2, 2.5),
605a83710eSEric Fiselier         V(3, 3.5),
615a83710eSEric Fiselier         V(4, 4.5),
625a83710eSEric Fiselier         V(5, 5.5),
635a83710eSEric Fiselier         V(7, 7.5),
645a83710eSEric Fiselier         V(8, 8.5),
655a83710eSEric Fiselier     };
665a83710eSEric Fiselier     std::map<int, double, std::less<int>, min_allocator<V>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
675a83710eSEric Fiselier     assert(m.size() == 7);
685a83710eSEric Fiselier     assert(m[1] == 1.5);
695a83710eSEric Fiselier     assert(m.size() == 7);
705a83710eSEric Fiselier     const int i = 1;
715a83710eSEric Fiselier     m[i] = -1.5;
725a83710eSEric Fiselier     assert(m[1] == -1.5);
735a83710eSEric Fiselier     assert(m.size() == 7);
745a83710eSEric Fiselier     assert(m[6] == 0);
755a83710eSEric Fiselier     assert(m.size() == 8);
765a83710eSEric Fiselier     m[6] = 6.5;
775a83710eSEric Fiselier     assert(m[6] == 6.5);
785a83710eSEric Fiselier     assert(m.size() == 8);
795a83710eSEric Fiselier     }
8054f0cda6SEric Fiselier     {
8154f0cda6SEric Fiselier         // Use "container_test_types.h" to check what arguments get passed
8254f0cda6SEric Fiselier         // to the allocator for operator[]
8354f0cda6SEric Fiselier         using Container = TCT::map<>;
8454f0cda6SEric Fiselier         using Key = Container::key_type;
8554f0cda6SEric Fiselier         using MappedType = Container::mapped_type;
8654f0cda6SEric Fiselier         ConstructController* cc = getConstructController();
8754f0cda6SEric Fiselier         cc->reset();
8854f0cda6SEric Fiselier         {
8954f0cda6SEric Fiselier             Container c;
9054f0cda6SEric Fiselier             const Key k(1);
9154f0cda6SEric Fiselier             cc->expect<std::piecewise_construct_t const&, std::tuple<Key const&>&&, std::tuple<>&&>();
9254f0cda6SEric Fiselier             MappedType& mref = c[k];
9354f0cda6SEric Fiselier             assert(!cc->unchecked());
9454f0cda6SEric Fiselier             {
9554f0cda6SEric Fiselier                 DisableAllocationGuard g;
9654f0cda6SEric Fiselier                 MappedType& mref2 = c[k];
9754f0cda6SEric Fiselier                 assert(&mref == &mref2);
9854f0cda6SEric Fiselier             }
9954f0cda6SEric Fiselier         }
10054f0cda6SEric Fiselier         {
10154f0cda6SEric Fiselier             Container c;
10254f0cda6SEric Fiselier             Key k(1);
10354f0cda6SEric Fiselier             cc->expect<std::piecewise_construct_t const&, std::tuple<Key const&>&&, std::tuple<>&&>();
10454f0cda6SEric Fiselier             MappedType& mref = c[k];
10554f0cda6SEric Fiselier             assert(!cc->unchecked());
10654f0cda6SEric Fiselier             {
10754f0cda6SEric Fiselier                 DisableAllocationGuard g;
10854f0cda6SEric Fiselier                 MappedType& mref2 = c[k];
10954f0cda6SEric Fiselier                 assert(&mref == &mref2);
11054f0cda6SEric Fiselier             }
11154f0cda6SEric Fiselier         }
11254f0cda6SEric Fiselier     }
1135a83710eSEric Fiselier #endif
11454f0cda6SEric Fiselier #if TEST_STD_VER > 11
1155a83710eSEric Fiselier     {
1165a83710eSEric Fiselier     typedef std::pair<const int, double> V;
1175a83710eSEric Fiselier     V ar[] =
1185a83710eSEric Fiselier     {
1195a83710eSEric Fiselier         V(1, 1.5),
1205a83710eSEric Fiselier         V(2, 2.5),
1215a83710eSEric Fiselier         V(3, 3.5),
1225a83710eSEric Fiselier         V(4, 4.5),
1235a83710eSEric Fiselier         V(5, 5.5),
1245a83710eSEric Fiselier         V(7, 7.5),
1255a83710eSEric Fiselier         V(8, 8.5),
1265a83710eSEric Fiselier     };
1275a83710eSEric Fiselier     std::map<int, double, std::less<>> m(ar, ar+sizeof(ar)/sizeof(ar[0]));
1285a83710eSEric Fiselier 
1295a83710eSEric Fiselier     assert(m.size() == 7);
1305a83710eSEric Fiselier     assert(m[1] == 1.5);
1315a83710eSEric Fiselier     assert(m.size() == 7);
1325a83710eSEric Fiselier     m[1] = -1.5;
1335a83710eSEric Fiselier     assert(m[1] == -1.5);
1345a83710eSEric Fiselier     assert(m.size() == 7);
1355a83710eSEric Fiselier     assert(m[6] == 0);
1365a83710eSEric Fiselier     assert(m.size() == 8);
1375a83710eSEric Fiselier     m[6] = 6.5;
1385a83710eSEric Fiselier     assert(m[6] == 6.5);
1395a83710eSEric Fiselier     assert(m.size() == 8);
1405a83710eSEric Fiselier     }
1415a83710eSEric Fiselier #endif
1422df59c50SJF Bastien 
1432df59c50SJF Bastien   return 0;
1445a83710eSEric Fiselier }
145