blob: 54d42fea2f7c8380220703a2129f2a6f76ef2ee4 [file] [log] [blame]
// Copyright 2025 The Abseil Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
#include "absl/container/linked_hash_map.h"
#include <algorithm>
#include <cstddef>
#include <memory>
#include <string>
#include <tuple>
#include <type_traits>
#include <utility>
#include <vector>
#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include "absl/base/config.h"
#include "absl/base/internal/exception_testing.h"
#include "absl/container/internal/hash_generator_testing.h"
#include "absl/container/internal/hash_policy_testing.h"
#include "absl/container/internal/heterogeneous_lookup_testing.h"
#include "absl/container/internal/test_instance_tracker.h"
#include "absl/container/internal/unordered_map_constructor_test.h"
#include "absl/container/internal/unordered_map_lookup_test.h"
#include "absl/container/internal/unordered_map_members_test.h"
#include "absl/container/internal/unordered_map_modifiers_test.h"
#include "absl/strings/string_view.h"
namespace absl {
ABSL_NAMESPACE_BEGIN
namespace container_internal {
namespace {
using ::testing::ElementsAre;
using ::testing::Pair;
using ::testing::Pointee;
template <class K, class V>
using Map = linked_hash_map<K, V, StatefulTestingHash, StatefulTestingEqual,
Alloc<std::pair<const K, V>>>;
static_assert(!std::is_standard_layout<NonStandardLayout>(), "");
using MapTypes =
::testing::Types<Map<int, int>, Map<std::string, int>,
Map<Enum, std::string>, Map<EnumClass, int>,
Map<int, NonStandardLayout>, Map<NonStandardLayout, int>>;
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashMap, ConstructorTest, MapTypes);
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashMap, LookupTest, MapTypes);
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashMap, MembersTest, MapTypes);
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashMap, ModifiersTest, MapTypes);
// Tests that the range constructor works.
TEST(LinkedHashMapTest, RangeConstruct) {
const std::pair<int, int> items[] = {{1, 2}, {2, 3}, {3, 4}};
EXPECT_THAT((linked_hash_map<int, int>(std::begin(items), std::end(items))),
ElementsAre(Pair(1, 2), Pair(2, 3), Pair(3, 4)));
}
// Tests that copying works.
TEST(LinkedHashMapTest, Copy) {
linked_hash_map<int, int> m{{2, 12}, {3, 13}};
auto copy = m;
EXPECT_TRUE(copy.contains(2));
auto found = copy.find(2);
ASSERT_TRUE(found != copy.end());
for (auto iter = copy.begin(); iter != copy.end(); ++iter) {
if (iter == found) return;
}
FAIL() << "Copied map's find method returned an invalid iterator.";
}
// Tests that assignment works.
TEST(LinkedHashMapTest, Assign) {
linked_hash_map<int, int> m{{2, 12}, {3, 13}};
linked_hash_map<int, int> n{{4, 14}};
n = m;
EXPECT_TRUE(n.contains(2));
auto found = n.find(2);
ASSERT_TRUE(found != n.end());
for (auto iter = n.begin(); iter != n.end(); ++iter) {
if (iter == found) return;
}
FAIL() << "Assigned map's find method returned an invalid iterator.";
}
// Tests that move constructor works.
TEST(LinkedHashMapTest, Move) {
// Use unique_ptr as an example of a non-copyable type.
linked_hash_map<int, std::unique_ptr<int>> m;
m[2] = std::make_unique<int>(12);
m[3] = std::make_unique<int>(13);
linked_hash_map<int, std::unique_ptr<int>> n = std::move(m);
EXPECT_THAT(n, ElementsAre(Pair(2, Pointee(12)), Pair(3, Pointee(13))));
}
TEST(LinkedHashMapTest, CanInsertMoveOnly) {
linked_hash_map<int, std::unique_ptr<int>> m;
struct Data {
int k, v;
};
const Data data[] = {{1, 123}, {3, 345}, {2, 234}, {4, 456}};
for (const auto& kv : data)
m.insert({kv.k, std::make_unique<int>(int{kv.v})});
EXPECT_TRUE(m.contains(2));
auto found = m.find(2);
ASSERT_TRUE(found != m.end());
EXPECT_EQ(234, *found->second);
}
TEST(LinkedHashMapTest, CanEmplaceMoveOnly) {
linked_hash_map<int, std::unique_ptr<int>> m;
struct Data {
int k, v;
};
const Data data[] = {{1, 123}, {3, 345}, {2, 234}, {4, 456}};
for (const auto& kv : data) {
m.emplace(std::piecewise_construct, std::make_tuple(kv.k),
std::make_tuple(new int{kv.v}));
}
EXPECT_TRUE(m.contains(2));
auto found = m.find(2);
ASSERT_TRUE(found != m.end());
EXPECT_EQ(234, *found->second);
}
struct NoCopy {
explicit NoCopy(int x) : x(x) {}
NoCopy(const NoCopy&) = delete;
NoCopy& operator=(const NoCopy&) = delete;
NoCopy(NoCopy&&) = delete;
NoCopy& operator=(NoCopy&&) = delete;
int x;
};
TEST(LinkedHashMapTest, CanEmplaceNoMoveNoCopy) {
linked_hash_map<int, NoCopy> m;
struct Data {
int k, v;
};
const Data data[] = {{1, 123}, {3, 345}, {2, 234}, {4, 456}};
for (const auto& kv : data) {
m.emplace(std::piecewise_construct, std::make_tuple(kv.k),
std::make_tuple(kv.v));
}
EXPECT_TRUE(m.contains(2));
auto found = m.find(2);
ASSERT_TRUE(found != m.end());
EXPECT_EQ(234, found->second.x);
}
TEST(LinkedHashMapTest, ConstKeys) {
linked_hash_map<int, int> m;
m.insert(std::make_pair(1, 2));
// Test that keys are const in iteration.
std::pair<const int, int>& p = *m.begin();
EXPECT_EQ(1, p.first);
}
// Tests that iteration from begin() to end() works
TEST(LinkedHashMapTest, Iteration) {
linked_hash_map<int, int> m;
EXPECT_TRUE(m.begin() == m.end());
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(3, 13));
linked_hash_map<int, int>::iterator i = m.begin();
ASSERT_TRUE(m.begin() == i);
ASSERT_TRUE(m.end() != i);
EXPECT_EQ(2, i->first);
EXPECT_EQ(12, i->second);
++i;
ASSERT_TRUE(m.end() != i);
EXPECT_EQ(1, i->first);
EXPECT_EQ(11, i->second);
++i;
ASSERT_TRUE(m.end() != i);
EXPECT_EQ(3, i->first);
EXPECT_EQ(13, i->second);
++i; // Should be the end of the line.
ASSERT_TRUE(m.end() == i);
}
// Tests that reverse iteration from rbegin() to rend() works
TEST(LinkedHashMapTest, ReverseIteration) {
linked_hash_map<int, int> m;
EXPECT_TRUE(m.rbegin() == m.rend());
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(3, 13));
linked_hash_map<int, int>::reverse_iterator i = m.rbegin();
ASSERT_TRUE(m.rbegin() == i);
ASSERT_TRUE(m.rend() != i);
EXPECT_EQ(3, i->first);
EXPECT_EQ(13, i->second);
++i;
ASSERT_TRUE(m.rend() != i);
EXPECT_EQ(1, i->first);
EXPECT_EQ(11, i->second);
++i;
ASSERT_TRUE(m.rend() != i);
EXPECT_EQ(2, i->first);
EXPECT_EQ(12, i->second);
++i; // Should be the end of the line.
ASSERT_TRUE(m.rend() == i);
}
// Tests that clear() works
TEST(LinkedHashMapTest, Clear) {
linked_hash_map<int, int> m;
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(3, 13));
ASSERT_EQ(3, m.size());
m.clear();
EXPECT_EQ(0, m.size());
m.clear(); // Make sure we can call it on an empty map.
EXPECT_EQ(0, m.size());
}
// Tests that size() works.
TEST(LinkedHashMapTest, Size) {
linked_hash_map<int, int> m;
EXPECT_EQ(0, m.size());
m.insert(std::make_pair(2, 12));
EXPECT_EQ(1, m.size());
m.insert(std::make_pair(1, 11));
EXPECT_EQ(2, m.size());
m.insert(std::make_pair(3, 13));
EXPECT_EQ(3, m.size());
m.clear();
EXPECT_EQ(0, m.size());
}
// Tests empty()
TEST(LinkedHashMapTest, Empty) {
linked_hash_map<int, int> m;
ASSERT_TRUE(m.empty());
m.insert(std::make_pair(2, 12));
ASSERT_FALSE(m.empty());
m.clear();
ASSERT_TRUE(m.empty());
}
TEST(LinkedHashMapTest, Erase) {
linked_hash_map<int, int> m;
ASSERT_EQ(0, m.size());
EXPECT_EQ(0, m.erase(2)); // Nothing to erase yet
m.insert(std::make_pair(2, 12));
ASSERT_EQ(1, m.size());
EXPECT_EQ(1, m.erase(2));
EXPECT_EQ(0, m.size());
EXPECT_EQ(0, m.erase(2)); // Make sure nothing bad happens if we repeat.
EXPECT_EQ(0, m.size());
}
TEST(LinkedHashMapTest, Erase2) {
linked_hash_map<int, int> m;
ASSERT_EQ(0, m.size());
EXPECT_EQ(0, m.erase(2)); // Nothing to erase yet
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(3, 13));
m.insert(std::make_pair(4, 14));
ASSERT_EQ(4, m.size());
// Erase middle two
EXPECT_EQ(1, m.erase(1));
EXPECT_EQ(1, m.erase(3));
EXPECT_EQ(2, m.size());
// Make sure we can still iterate over everything that's left.
linked_hash_map<int, int>::iterator it = m.begin();
ASSERT_TRUE(it != m.end());
EXPECT_EQ(12, it->second);
++it;
ASSERT_TRUE(it != m.end());
EXPECT_EQ(14, it->second);
++it;
ASSERT_TRUE(it == m.end());
EXPECT_EQ(0, m.erase(1)); // Make sure nothing bad happens if we repeat.
ASSERT_EQ(2, m.size());
EXPECT_EQ(1, m.erase(2));
EXPECT_EQ(1, m.erase(4));
ASSERT_EQ(0, m.size());
EXPECT_EQ(0, m.erase(1)); // Make sure nothing bad happens if we repeat.
ASSERT_EQ(0, m.size());
}
// Test that erase(iter,iter) and erase(iter) compile and work.
TEST(LinkedHashMapTest, Erase3) {
linked_hash_map<int, int> m;
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(3, 13));
m.insert(std::make_pair(4, 14));
// Erase middle two
linked_hash_map<int, int>::iterator it2 = m.find(2);
linked_hash_map<int, int>::iterator it4 = m.find(4);
EXPECT_EQ(m.erase(it2, it4), m.find(4));
EXPECT_EQ(2, m.size());
// Make sure we can still iterate over everything that's left.
linked_hash_map<int, int>::iterator it = m.begin();
ASSERT_TRUE(it != m.end());
EXPECT_EQ(11, it->second);
++it;
ASSERT_TRUE(it != m.end());
EXPECT_EQ(14, it->second);
++it;
ASSERT_TRUE(it == m.end());
// Erase first one using an iterator.
EXPECT_EQ(m.erase(m.begin()), m.find(4));
// Only the last element should be left.
it = m.begin();
ASSERT_TRUE(it != m.end());
EXPECT_EQ(14, it->second);
++it;
ASSERT_TRUE(it == m.end());
}
// Test all types of insertion
TEST(LinkedHashMapTest, Insertion) {
linked_hash_map<int, int> m;
ASSERT_EQ(0, m.size());
std::pair<linked_hash_map<int, int>::iterator, bool> result;
result = m.insert(std::make_pair(2, 12));
ASSERT_EQ(1, m.size());
EXPECT_TRUE(result.second);
EXPECT_EQ(2, result.first->first);
EXPECT_EQ(12, result.first->second);
result = m.insert(std::make_pair(1, 11));
ASSERT_EQ(2, m.size());
EXPECT_TRUE(result.second);
EXPECT_EQ(1, result.first->first);
EXPECT_EQ(11, result.first->second);
result = m.insert(std::make_pair(3, 13));
linked_hash_map<int, int>::iterator result_iterator = result.first;
ASSERT_EQ(3, m.size());
EXPECT_TRUE(result.second);
EXPECT_EQ(3, result.first->first);
EXPECT_EQ(13, result.first->second);
result = m.insert(std::make_pair(3, 13));
EXPECT_EQ(3, m.size());
EXPECT_FALSE(result.second) << "No insertion should have occurred.";
EXPECT_TRUE(result_iterator == result.first)
<< "Duplicate insertion should have given us the original iterator.";
std::vector<std::pair<int, int>> v = {{3, 13}, {4, 14}, {5, 15}};
m.insert(v.begin(), v.end());
// Expect 4 and 5 inserted, 3 not inserted.
EXPECT_EQ(5, m.size());
EXPECT_EQ(14, m.at(4));
EXPECT_EQ(15, m.at(5));
}
static std::pair<const int, int> Pair(int i, int j) { return {i, j}; }
// Test front accessors.
TEST(LinkedHashMapTest, Front) {
linked_hash_map<int, int> m;
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(3, 13));
EXPECT_EQ(3, m.size());
EXPECT_EQ(Pair(2, 12), m.front());
m.pop_front();
EXPECT_EQ(2, m.size());
EXPECT_EQ(Pair(1, 11), m.front());
m.pop_front();
EXPECT_EQ(1, m.size());
EXPECT_EQ(Pair(3, 13), m.front());
m.pop_front();
EXPECT_TRUE(m.empty());
}
// Test back accessors.
TEST(LinkedHashMapTest, Back) {
linked_hash_map<int, int> m;
m.insert(std::make_pair(2, 12));
m.insert(std::make_pair(1, 11));
m.insert(std::make_pair(3, 13));
EXPECT_EQ(3, m.size());
EXPECT_EQ(Pair(3, 13), m.back());
m.pop_back();
EXPECT_EQ(2, m.size());
EXPECT_EQ(Pair(1, 11), m.back());
m.pop_back();
EXPECT_EQ(1, m.size());
EXPECT_EQ(Pair(2, 12), m.back());
m.pop_back();
EXPECT_TRUE(m.empty());
}
TEST(LinkedHashMapTest, Find) {
linked_hash_map<int, int> m;
EXPECT_TRUE(m.end() == m.find(1))
<< "We shouldn't find anything in an empty map.";
m.insert(std::make_pair(2, 12));
EXPECT_TRUE(m.end() == m.find(1))
<< "We shouldn't find an element that doesn't exist in the map.";
std::pair<linked_hash_map<int, int>::iterator, bool> result =
m.insert(std::make_pair(1, 11));
ASSERT_TRUE(result.second);
ASSERT_TRUE(m.end() != result.first);
EXPECT_TRUE(result.first == m.find(1))
<< "We should have found an element we know exists in the map.";
EXPECT_EQ(11, result.first->second);
// Check that a follow-up insertion doesn't affect our original
m.insert(std::make_pair(3, 13));
linked_hash_map<int, int>::iterator it = m.find(1);
ASSERT_TRUE(m.end() != it);
EXPECT_EQ(11, it->second);
m.clear();
EXPECT_TRUE(m.end() == m.find(1))
<< "We shouldn't find anything in a map that we've cleared.";
}
TEST(LinkedHashMapTest, Contains) {
linked_hash_map<int, int> m;
EXPECT_FALSE(m.contains(1)) << "An empty map shouldn't contain anything.";
m.insert(std::make_pair(2, 12));
EXPECT_FALSE(m.contains(1))
<< "The map shouldn't contain an element that doesn't exist.";
m.insert(std::make_pair(1, 11));
EXPECT_TRUE(m.contains(1))
<< "The map should contain an element that we know exists.";
m.clear();
EXPECT_FALSE(m.contains(1))
<< "A map that we've cleared shouldn't contain anything.";
}
TEST(LinkedHashMapTest, At) {
linked_hash_map<int, int> m = {{1, 2}};
EXPECT_EQ(2, m.at(1));
ABSL_BASE_INTERNAL_EXPECT_FAIL(m.at(3), std::out_of_range,
"linked_hash_map::at");
const linked_hash_map<int, int> cm = {{1, 2}};
EXPECT_EQ(2, cm.at(1));
ABSL_BASE_INTERNAL_EXPECT_FAIL(cm.at(3), std::out_of_range,
"linked_hash_map::at");
}
TEST(LinkedHashMapTest, Swap) {
linked_hash_map<int, int> m1;
linked_hash_map<int, int> m2;
m1.insert(std::make_pair(1, 1));
m1.insert(std::make_pair(2, 2));
m2.insert(std::make_pair(3, 3));
ASSERT_EQ(2, m1.size());
ASSERT_EQ(1, m2.size());
m1.swap(m2);
ASSERT_EQ(1, m1.size());
ASSERT_EQ(2, m2.size());
}
TEST(LinkedHashMapTest, InitializerList) {
linked_hash_map<int, int> m{{1, 2}, {3, 4}};
ASSERT_EQ(2, m.size());
EXPECT_TRUE(m.contains(1));
linked_hash_map<int, int>::iterator it = m.find(1);
ASSERT_TRUE(m.end() != it);
EXPECT_EQ(2, it->second);
EXPECT_TRUE(m.contains(3));
it = m.find(3);
ASSERT_TRUE(m.end() != it);
EXPECT_EQ(4, it->second);
}
TEST(LinkedHashMapTest, CustomHashAndEquality) {
struct CustomIntHash {
size_t operator()(int x) const { return x; }
};
struct CustomIntEq {
bool operator()(int x, int y) const { return x == y; }
};
linked_hash_map<int, int, CustomIntHash, CustomIntEq> m;
m.insert(std::make_pair(1, 1));
EXPECT_TRUE(m.contains(1));
EXPECT_EQ(1, m[1]);
}
TEST(LinkedHashMapTest, EqualRange) {
linked_hash_map<int, int> m{{3, 11}, {1, 13}};
const auto& const_m = m;
EXPECT_THAT(m.equal_range(2), testing::Pair(m.end(), m.end()));
EXPECT_THAT(const_m.equal_range(2),
testing::Pair(const_m.end(), const_m.end()));
EXPECT_THAT(m.equal_range(1), testing::Pair(m.find(1), ++m.find(1)));
EXPECT_THAT(const_m.equal_range(1),
testing::Pair(const_m.find(1), ++const_m.find(1)));
}
TEST(LinkedHashMapTest, ReserveWorks) {
linked_hash_map<int, int> m;
EXPECT_EQ(0, m.size());
EXPECT_EQ(0.0, m.load_factor());
m.reserve(10);
EXPECT_LE(10, m.capacity());
EXPECT_EQ(0, m.size());
EXPECT_EQ(0.0, m.load_factor());
m.emplace(1, 1);
m.emplace(2, 2);
EXPECT_LE(10, m.capacity());
EXPECT_EQ(2, m.size());
EXPECT_LT(0.0, m.load_factor());
}
// We require key types to have hash and equals.
class CopyableMovableType
: public absl::test_internal::CopyableMovableInstance {
public:
using CopyableMovableInstance::CopyableMovableInstance;
bool operator==(const CopyableMovableType& o) const {
return value() == o.value();
}
template <typename H>
friend H AbslHashValue(H h, const CopyableMovableType& c) {
return H::combine(std::move(h), c.value());
}
};
TEST(LinkedHashMapTest, RValueOperatorAt) {
absl::test_internal::InstanceTracker tracker;
linked_hash_map<CopyableMovableType, int> map;
map[CopyableMovableType(1)] = 1;
EXPECT_EQ(tracker.copies(), 0);
CopyableMovableType c(2);
map[std::move(c)] = 2;
EXPECT_EQ(tracker.copies(), 0);
EXPECT_THAT(map, ElementsAre(Pair(CopyableMovableType(1), 1),
Pair(CopyableMovableType(2), 2)));
}
TEST(LinkedHashMapTest, HeterogeneousTests) {
absl::test_internal::InstanceTracker tracker;
using MapType = linked_hash_map<ExpensiveType, int, HeterogeneousHash,
HeterogeneousEqual>;
MapType map;
ExpensiveType one(1);
map[one] = 1;
// Two instances: 'one' var and an instance in the map.
EXPECT_EQ(2, tracker.instances());
EXPECT_EQ(1, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
map[one] = 5;
// No construction since key==1 exists.
EXPECT_EQ(2, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
map[CheapType(1)] = 10;
// No construction since key==1 exists.
EXPECT_EQ(2, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
map[CheapType(2)] = 20;
// Construction since key==2 doesn't exist in the map.
EXPECT_EQ(3, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(map, ElementsAre(Pair(HasExpensiveValue(1), 10),
Pair(HasExpensiveValue(2), 20)));
// find
auto itr = map.find(CheapType(1));
tracker.ResetCopiesMovesSwaps();
ASSERT_NE(itr, map.end());
EXPECT_EQ(10, itr->second);
// contains
EXPECT_TRUE(map.contains(CheapType(2)));
// count
EXPECT_EQ(1, map.count(CheapType(2)));
// equal_range
auto eq_itr_pair = map.equal_range(CheapType(2));
ASSERT_NE(eq_itr_pair.first, map.end());
EXPECT_EQ(20, eq_itr_pair.first->second);
// No construction for find, contains, count or equal_range.
EXPECT_EQ(3, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
// insert
auto three = MapType::value_type(CheapType(3), 30);
tracker.ResetCopiesMovesSwaps();
map.insert(three);
// Two instances: 'three' var and an instance in the map.
EXPECT_EQ(5, tracker.instances());
EXPECT_EQ(1, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
map.insert(three);
// No additional construction since key==3 exists.
EXPECT_EQ(5, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(map, ElementsAre(Pair(HasExpensiveValue(1), 10),
Pair(HasExpensiveValue(2), 20),
Pair(HasExpensiveValue(3), 30)));
// Test std::move() using operator[] and insert().
ExpensiveType four(4);
tracker.ResetCopiesMovesSwaps();
map[std::move(four)] = 40;
// Two constructions (regular and move).
EXPECT_EQ(7, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(1, tracker.moves());
auto five = MapType::value_type(CheapType(5), 50);
tracker.ResetCopiesMovesSwaps();
map.insert(std::move(five));
// Two constructions (regular and move).
EXPECT_EQ(9, tracker.instances());
EXPECT_EQ(1, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(map, ElementsAre(Pair(HasExpensiveValue(1), 10),
Pair(HasExpensiveValue(2), 20),
Pair(HasExpensiveValue(3), 30),
Pair(HasExpensiveValue(4), 40),
Pair(HasExpensiveValue(5), 50)));
// Insert using std::pair.
tracker.ResetCopiesMovesSwaps();
map.insert(std::make_pair(ExpensiveType(6), 60));
EXPECT_EQ(10, tracker.instances());
EXPECT_EQ(1, tracker.copies());
EXPECT_EQ(2, tracker.moves());
// Heterogeneous erase.
map.erase(CheapType(1));
// No construction and instance reduced by one.
tracker.ResetCopiesMovesSwaps();
EXPECT_EQ(9, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(map, ElementsAre(Pair(HasExpensiveValue(2), 20),
Pair(HasExpensiveValue(3), 30),
Pair(HasExpensiveValue(4), 40),
Pair(HasExpensiveValue(5), 50),
Pair(HasExpensiveValue(6), 60)));
}
TEST(LinkedHashMapTest, HeterogeneousStringViewLookup) {
linked_hash_map<std::string, int> map;
map["foo"] = 1;
map["bar"] = 2;
map["blah"] = 3;
{
absl::string_view lookup("foo");
auto itr = map.find(lookup);
ASSERT_NE(itr, map.end());
EXPECT_EQ(1, itr->second);
}
// Not found.
{
absl::string_view lookup("foobar");
EXPECT_EQ(map.end(), map.find(lookup));
}
{
absl::string_view lookup("blah");
auto itr = map.find(lookup);
ASSERT_NE(itr, map.end());
EXPECT_EQ(3, itr->second);
}
}
TEST(LinkedHashMapTest, UniversalReferenceWorks) {
linked_hash_map<std::string, int> map;
std::string s = "very very very very very long string";
map[s] = 1;
EXPECT_EQ(s, "very very very very very long string");
}
TEST(LinkedHashMap, ExtractInsert) {
linked_hash_map<int, int> m = {{1, 7}, {2, 9}};
auto node = m.extract(1);
EXPECT_TRUE(node);
EXPECT_EQ(node.key(), 1);
EXPECT_EQ(node.mapped(), 7);
EXPECT_THAT(m, ElementsAre(Pair(2, 9)));
EXPECT_FALSE(m.contains(1));
EXPECT_TRUE(m.contains(2));
node.mapped() = 17;
m.insert(std::move(node));
EXPECT_FALSE(node);
EXPECT_THAT(m, ElementsAre(Pair(2, 9), Pair(1, 17)));
EXPECT_TRUE(m.contains(2));
EXPECT_TRUE(m.contains(1));
node = m.extract(m.find(1));
EXPECT_TRUE(node);
EXPECT_EQ(node.key(), 1);
EXPECT_EQ(node.mapped(), 17);
EXPECT_THAT(m, ElementsAre(Pair(2, 9)));
}
TEST(LinkedHashMap, Merge) {
linked_hash_map<int, int> m = {{1, 7}, {3, 6}};
linked_hash_map<int, int> src = {{1, 10}, {2, 9}, {4, 16}};
m.merge(src);
EXPECT_THAT(m, ElementsAre(Pair(1, 7), Pair(3, 6), Pair(2, 9), Pair(4, 16)));
EXPECT_THAT(src, ElementsAre(Pair(1, 10)));
for (int i : {2, 9, 4}) {
EXPECT_FALSE(src.contains(i));
}
}
TEST(LinkedHashMap, Splice) {
linked_hash_map<int, int> m = {{1, 7}, {3, 6}};
linked_hash_map<int, int> src = {{1, 10}, {2, 9}, {4, 16}};
m.splice(m.end(), m, m.begin());
EXPECT_THAT(m, ElementsAre(Pair(3, 6), Pair(1, 7)));
m.splice(m.end(), src, ++src.begin());
EXPECT_THAT(m, ElementsAre(Pair(3, 6), Pair(1, 7), Pair(2, 9)));
EXPECT_THAT(src, ElementsAre(Pair(1, 10), Pair(4, 16)));
}
TEST(LinkedHashMap, EraseRange) {
linked_hash_map<int, int> map = {{1, 1}, {2, 4}, {3, 9}, {4, 16}, {5, 25},
{6, 36}, {7, 49}, {8, 64}, {9, 81}};
auto start = map.find(3);
auto end = map.find(8);
auto itr = map.erase(start, end);
ASSERT_NE(itr, map.end());
EXPECT_THAT(*itr, Pair(8, 64));
EXPECT_THAT(map,
ElementsAre(Pair(1, 1), Pair(2, 4), Pair(8, 64), Pair(9, 81)));
for (int i : {1, 2, 8, 9}) {
EXPECT_TRUE(map.contains(i));
}
for (int i : {3, 4, 5, 6, 7}) {
EXPECT_FALSE(map.contains(i));
}
}
TEST(LinkedHashMap, InsertInitializerList) {
linked_hash_map<int, int> m;
m.insert({{1, 7}, {2, 9}, {3, 29}});
EXPECT_THAT(m, ElementsAre(Pair(1, 7), Pair(2, 9), Pair(3, 29)));
}
TEST(LinkedHashMap, InsertOrAssign) {
linked_hash_map<int, int> m;
{
auto [itr, elem_inserted] = m.insert_or_assign(10, 20);
EXPECT_THAT(*itr, Pair(10, 20));
EXPECT_EQ(elem_inserted, true);
}
{
auto [itr, elem_inserted] = m.insert_or_assign(10, 30);
EXPECT_THAT(*itr, Pair(10, 30));
EXPECT_EQ(elem_inserted, false);
}
}
TEST(LinkedHashMap, TryEmplace) {
linked_hash_map<int, std::pair<int, std::string>> m;
{
auto [itr, elem_inserted] = m.try_emplace(10, 20, "string");
EXPECT_THAT(*itr, Pair(10, Pair(20, "string")));
EXPECT_EQ(elem_inserted, true);
}
{
absl::test_internal::InstanceTracker tracker;
std::string s = "some string";
auto [itr, elem_inserted] = m.try_emplace(10, 2, std::move(s));
EXPECT_THAT(*itr, Pair(10, Pair(20, "string")));
EXPECT_EQ(elem_inserted, false);
EXPECT_THAT(tracker.moves(), 0);
}
}
TEST(LinkedHashMapTest, TryEmplace) {
linked_hash_map<int, std::tuple<int, std::string, std::unique_ptr<float>>>
map;
auto result = map.try_emplace(3, 2, "foo", new float(1.0));
EXPECT_TRUE(result.second);
EXPECT_EQ(std::get<0>(result.first->second), 2);
EXPECT_EQ(std::get<1>(result.first->second), "foo");
EXPECT_EQ(*std::get<2>(result.first->second), 1.0);
// Ptr should not be moved.
auto ptr = std::make_unique<float>(3.0);
auto result2 = map.try_emplace(3, 22, "foo-bar", std::move(ptr));
EXPECT_FALSE(result2.second);
EXPECT_EQ(std::get<0>(result.first->second), 2);
EXPECT_EQ(std::get<1>(result.first->second), "foo");
EXPECT_EQ(*std::get<2>(result.first->second), 1.0);
EXPECT_NE(ptr.get(), nullptr);
}
struct CountedHash {
explicit CountedHash(int* count) : count(count) {}
size_t operator()(int value) const {
++(*count);
return value;
}
int* count = nullptr;
};
// Makes a map too big for small object optimization. Counts the number of
// hashes in `count`, but leaves `count` set to 0.
linked_hash_map<int, std::string, CountedHash> MakeNonSmallMap(int* count) {
const int kFirstKey = -1000;
linked_hash_map<int, std::string, CountedHash> m(0, CountedHash(count));
for (int i = kFirstKey; i < kFirstKey + 100; ++i) {
m[i] = "foo";
}
*count = 0;
return m;
}
constexpr bool BuildHasDebugModeRehashes() {
#if !defined(NDEBUG) || defined(ABSL_HAVE_ADDRESS_SANITIZER) || \
defined(ABSL_HAVE_MEMORY_SANITIZER) || defined(ABSL_HAVE_THREAD_SANITIZER)
return true;
#else
return false;
#endif
}
TEST(LinkedHashMapTest, HashCountInOptBuilds) {
if (BuildHasDebugModeRehashes()) {
GTEST_SKIP() << "Only run under NDEBUG: `assert` statements and sanitizer "
"rehashing may cause redundant hashing.";
}
using Map = linked_hash_map<int, std::string, CountedHash>;
{
int count = 0;
Map m = MakeNonSmallMap(&count);
m.insert({1, "foo"});
EXPECT_EQ(count, 1);
m.erase(1);
EXPECT_EQ(count, 2);
}
{
int count = 0;
Map m = MakeNonSmallMap(&count);
m[2] = "bar";
EXPECT_EQ(count, 1);
}
{
int count = 0;
Map m = MakeNonSmallMap(&count);
m.insert({3, "baz"});
EXPECT_EQ(count, 1);
auto node = m.extract(3);
EXPECT_EQ(count, 2);
m.insert(std::move(node));
EXPECT_EQ(count, 3);
}
{
int count = 0;
Map m = MakeNonSmallMap(&count);
m.insert_or_assign(4, "qux");
EXPECT_EQ(count, 1);
}
{
int count = 0;
Map m = MakeNonSmallMap(&count);
m.emplace(5, "vog");
EXPECT_EQ(count, 1);
}
{
int count = 0;
Map m = MakeNonSmallMap(&count);
m.try_emplace(6, 'x', 42);
EXPECT_EQ(count, 1);
}
{
int src_count = 0, dst_count = 0;
Map src = MakeNonSmallMap(&src_count);
Map dst = MakeNonSmallMap(&dst_count);
src[7] = "siete";
dst.merge(src);
EXPECT_LE(src_count, 200);
EXPECT_LE(dst_count, 200);
}
}
} // namespace
} // namespace container_internal
ABSL_NAMESPACE_END
} // namespace absl