1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
|
/////////////////////////////////////////////////////////////////////////////
// Copyright (c) Electronic Arts Inc. All rights reserved.
/////////////////////////////////////////////////////////////////////////////
#include "TestMap.h"
#include "EASTLTest.h"
#include <EASTL/map.h>
#include <EASTL/string.h>
#include <EASTL/vector.h>
EA_DISABLE_ALL_VC_WARNINGS()
#ifndef EA_COMPILER_NO_STANDARD_CPP_LIBRARY
#include <map>
#endif
EA_RESTORE_ALL_VC_WARNINGS()
using namespace eastl;
// Template instantations.
// These tell the compiler to compile all the functions for the given class.
template class eastl::map<int, int>;
template class eastl::multimap<int, int>;
template class eastl::map<TestObject, TestObject>;
template class eastl::multimap<TestObject, TestObject>;
///////////////////////////////////////////////////////////////////////////////
// typedefs
//
typedef eastl::map<int, int> VM1;
typedef eastl::map<TestObject, TestObject> VM4;
typedef eastl::multimap<int, int> VMM1;
typedef eastl::multimap<TestObject, TestObject> VMM4;
#ifndef EA_COMPILER_NO_STANDARD_CPP_LIBRARY
typedef std::map<int, int> VM3;
typedef std::map<TestObject, TestObject> VM6;
typedef std::multimap<int, int> VMM3;
typedef std::multimap<TestObject, TestObject> VMM6;
#endif
///////////////////////////////////////////////////////////////////////////////
int TestMap()
{
int nErrorCount = 0;
#ifndef EA_COMPILER_NO_STANDARD_CPP_LIBRARY
{ // Test construction
nErrorCount += TestMapConstruction<VM1, VM3, false>();
nErrorCount += TestMapConstruction<VM4, VM6, false>();
nErrorCount += TestMapConstruction<VMM1, VMM3, true>();
nErrorCount += TestMapConstruction<VMM4, VMM6, true>();
}
{ // Test mutating functionality.
nErrorCount += TestMapMutation<VM1, VM3, false>();
nErrorCount += TestMapMutation<VM4, VM6, false>();
nErrorCount += TestMapMutation<VMM1, VMM3, true>();
nErrorCount += TestMapMutation<VMM4, VMM6, true>();
}
#endif // EA_COMPILER_NO_STANDARD_CPP_LIBRARY
{ // Test searching functionality.
nErrorCount += TestMapSearch<VM1, false>();
nErrorCount += TestMapSearch<VM4, false>();
nErrorCount += TestMapSearch<VMM1, true>();
nErrorCount += TestMapSearch<VMM4, true>();
}
{
// C++11 emplace and related functionality
nErrorCount += TestMapCpp11<eastl::map<int, TestObject>>();
nErrorCount += TestMultimapCpp11<eastl::multimap<int, TestObject>>();
nErrorCount += TestMapCpp11NonCopyable<eastl::map<int, NonCopyable>>();
}
{
// C++17 try_emplace and related functionality
nErrorCount += TestMapCpp17<eastl::map<int, TestObject>>();
}
{ // Misc tests
// const key_compare& key_comp() const;
// key_compare& key_comp();
VM1 vm;
const VM1 vmc;
const VM1::key_compare& kc = vmc.key_comp();
vm.key_comp() = kc;
}
// Regressions against user bug reports.
{
// User reports that the following doesn't compile on GCC 4.1.1 due to unrecognized lower_bound.
eastl::map<int, int> m;
m[1] = 1;
EATEST_VERIFY(m.size() == 1);
m.erase(1);
EATEST_VERIFY(m.empty());
}
{
// User reports that EASTL_VALIDATE_COMPARE_ENABLED / EASTL_COMPARE_VALIDATE isn't compiling for this case.
eastl::map<eastl::u8string, int> m;
m.find_as(EA_CHAR8("some string"), eastl::equal_to_2<eastl::u8string, const char8_t*>());
}
{
// User reports that vector<map<enum,enum>> is crashing after the recent changes to add rvalue move and emplace support to rbtree.
typedef eastl::map<int, int> IntIntMap;
typedef eastl::vector<IntIntMap> IntIntMapArray;
IntIntMapArray v;
v.push_back(IntIntMap()); // This was calling the rbtree move constructor, which had a bug.
v[0][16] = 0; // The rbtree was in a bad internal state and so this line resulted in a crash.
EATEST_VERIFY(v[0].validate());
EATEST_VERIFY(v.validate());
}
{
typedef eastl::map<int, int> IntIntMap;
IntIntMap map1;
#if EASTL_EXCEPTIONS_ENABLED
EATEST_VERIFY_THROW(map1.at(0));
#endif
map1[0]=1;
#if EASTL_EXCEPTIONS_ENABLED
EATEST_VERIFY_NOTHROW(map1.at(0));
#endif
EATEST_VERIFY(map1.at(0) == 1);
const IntIntMap map2;
const IntIntMap map3(map1);
#if EASTL_EXCEPTIONS_ENABLED
EATEST_VERIFY_THROW(map2.at(0));
EATEST_VERIFY_NOTHROW(map3.at(0));
#endif
EATEST_VERIFY(map3.at(0) == 1);
}
// User regression test
{
#if !EASTL_RBTREE_LEGACY_SWAP_BEHAVIOUR_REQUIRES_COPY_CTOR
typedef eastl::map<int, MoveOnlyTypeDefaultCtor> IntMOMap;
IntMOMap m1, m2;
m2[0] = MoveOnlyTypeDefaultCtor(0);
m2[1] = MoveOnlyTypeDefaultCtor(1);
EATEST_VERIFY( m1.empty());
EATEST_VERIFY(!m2.empty());
m1.swap(m2);
EATEST_VERIFY(!m1.empty());
EATEST_VERIFY( m2.empty());
#endif
}
// todo: create a test case for this.
// {
// // User reports that an incorrectly wrapped pair key used to insert into an eastl map compiles when it should fire a compiler error about unconvertible types.
// typedef eastl::pair<eastl::string, eastl::string> PairStringKey;
// typedef eastl::map<PairStringKey, eastl::string> PairStringMap;
//
// PairStringMap p1, p2;
//
// p1.insert(PairStringMap::value_type(PairStringKey("key1", "key2"), "data")).first->second = "other_data";
//
// PairStringKey key("key1", "key2");
// PairStringMap::value_type insert_me(key, "data");
// p2.insert(insert_me).first->second = "other_data";
//
// for(auto& e : p1)
// printf("%s,%s = %s\n", e.first.first.c_str(), e.first.second.c_str(), e.second.c_str());
//
// for(auto& e : p2)
// printf("%s,%s = %s\n", e.first.first.c_str(), e.first.second.c_str(), e.second.c_str());
//
// EATEST_VERIFY(p1 == p2);
// }
{ // Test empty base-class optimization
struct UnemptyLess : eastl::less<int>
{
int foo;
};
typedef eastl::map<int, int, eastl::less<int>> VM1;
typedef eastl::map<int, int, UnemptyLess> VM2;
EATEST_VERIFY(sizeof(VM1) < sizeof(VM2));
}
{ // Test erase_if
eastl::map<int, int> m = {{0, 0}, {1, 1}, {2, 2}, {3, 3}, {4, 4}};
eastl::erase_if(m, [](auto p) { return p.first % 2 == 0; });
VERIFY((m == eastl::map<int, int>{{1, 1},{3, 3}}));
}
{ // Test erase_if
eastl::multimap<int, int> m = {{0, 0}, {0, 0}, {0, 0}, {1, 1}, {1, 1}, {2, 2}, {3, 3}, {4, 4}, {4, 4}, {4, 4}};
eastl::erase_if(m, [](auto p) { return p.first % 2 == 0; });
VERIFY((m == eastl::multimap<int, int>{{1, 1}, {1, 1}, {3, 3}}));
}
return nErrorCount;
}
|