blob: b641b97539a45ba56bb431da31c2c861153021b1 [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_set.h"
#include <algorithm>
#include <cmath>
#include <cstddef>
#include <memory>
#include <string>
#include <utility>
#include <vector>
#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include "absl/base/config.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_set_constructor_test.h"
#include "absl/container/internal/unordered_set_lookup_test.h"
#include "absl/container/internal/unordered_set_members_test.h"
#include "absl/container/internal/unordered_set_modifiers_test.h"
#include "absl/strings/string_view.h"
namespace absl {
ABSL_NAMESPACE_BEGIN
namespace container_internal {
namespace {
using ::testing::ElementsAre;
using ::testing::ElementsAreArray;
using ::testing::Pointee;
template <class T>
using Set =
linked_hash_set<T, StatefulTestingHash, StatefulTestingEqual, Alloc<T>>;
using SetTypes =
::testing::Types<Set<int>, Set<std::string>, Set<Enum>, Set<EnumClass>>;
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashSet, ConstructorTest, SetTypes);
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashSet, LookupTest, SetTypes);
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashSet, MembersTest, SetTypes);
INSTANTIATE_TYPED_TEST_SUITE_P(LinkedHashSet, ModifiersTest, SetTypes);
// Tests that the range constructor works.
TEST(LinkedHashSetTest, RangeConstruct) {
const auto items = {1, 2, 3};
EXPECT_THAT(linked_hash_set<int>(items.begin(), items.end()),
ElementsAre(1, 2, 3));
}
// Tests that copying works.
TEST(LinkedHashSetTest, Copy) {
linked_hash_set<int> m{4, 8, 15, 16, 23, 42};
auto copy = m;
auto found = copy.find(8);
ASSERT_TRUE(found != copy.end());
for (auto iter = copy.begin(); iter != copy.end(); ++iter) {
if (iter == found) return;
}
FAIL() << "Copied set's find method returned an invalid iterator.";
}
// Tests that assignment works.
TEST(LinkedHashSetTest, Assign) {
linked_hash_set<int> m{2, 3};
linked_hash_set<int> n{4};
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 set's find method returned an invalid iterator.";
}
// Tests that move constructor works.
TEST(LinkedHashSetTest, Move) {
// Use unique_ptr as an example of a non-copyable type.
linked_hash_set<std::unique_ptr<int>> m;
m.insert(std::make_unique<int>(2));
m.insert(std::make_unique<int>(3));
linked_hash_set<std::unique_ptr<int>> n = std::move(m);
EXPECT_THAT(n, ElementsAre(Pointee(2), Pointee(3)));
}
struct IntUniquePtrHash {
size_t operator()(const std::unique_ptr<int>& p) const {
return static_cast<size_t>(*p);
}
};
struct IntUniquePtrEq {
size_t operator()(const std::unique_ptr<int>& a,
const std::unique_ptr<int>& b) const {
return *a == *b;
}
};
// Pretty artificial for a set, but unique_ptr is a convenient move-only type.
TEST(LinkedHashSetTest, CanInsertMoveOnly) {
linked_hash_set<std::unique_ptr<int>, IntUniquePtrHash, IntUniquePtrEq> s;
std::vector<int> data = {4, 8, 15, 16, 23, 42};
for (int x : data) s.insert(std::make_unique<int>(x));
EXPECT_EQ(s.size(), data.size());
for (const std::unique_ptr<int>& elt : s) {
EXPECT_TRUE(s.contains(elt));
EXPECT_TRUE(s.find(elt) != s.end());
}
}
TEST(LinkedHashSetTest, CanMoveMoveOnly) {
linked_hash_set<std::unique_ptr<int>, IntUniquePtrHash, IntUniquePtrEq> s;
std::vector<int> data = {4, 8, 15, 16, 23, 42};
for (int x : data) s.insert(std::make_unique<int>(x));
linked_hash_set<std::unique_ptr<int>, IntUniquePtrHash, IntUniquePtrEq> ss =
std::move(s);
EXPECT_EQ(ss.size(), data.size());
}
TEST(LinkedHashSetTest, CanEmplaceMoveOnly) {
linked_hash_set<std::unique_ptr<int>, IntUniquePtrHash, IntUniquePtrEq> s;
std::vector<int> data = {4, 8, 15, 16, 23, 42};
for (const int x : data) {
s.emplace(new int{x});
}
EXPECT_EQ(s.size(), data.size());
for (const std::unique_ptr<int>& elt : s) {
EXPECT_TRUE(s.contains(elt));
EXPECT_TRUE(s.find(elt) != s.end());
}
}
TEST(LinkedHashSetTest, CanInsertTransparent) {
linked_hash_set<std::string> s;
s.insert(absl::string_view("foo"));
s.insert(absl::string_view("bar"));
s.insert(absl::string_view("foo"));
EXPECT_THAT(s, ElementsAre("foo", "bar"));
}
// Tests that iteration from begin() to end() works
TEST(LinkedHashSetTest, Iteration) {
linked_hash_set<int> m;
EXPECT_TRUE(m.begin() == m.end());
m.insert(2);
m.insert(1);
m.insert(3);
linked_hash_set<int>::iterator i = m.begin();
ASSERT_TRUE(m.begin() == i);
ASSERT_TRUE(m.end() != i);
EXPECT_EQ(2, *i);
++i;
ASSERT_TRUE(m.end() != i);
EXPECT_EQ(1, *i);
++i;
ASSERT_TRUE(m.end() != i);
EXPECT_EQ(3, *i);
++i;
ASSERT_TRUE(m.end() == i);
}
// Tests that reverse iteration from rbegin() to rend() works
TEST(LinkedHashSetTest, ReverseIteration) {
linked_hash_set<int> m;
EXPECT_TRUE(m.rbegin() == m.rend());
m.insert(2);
m.insert(1);
m.insert(3);
linked_hash_set<int>::reverse_iterator i = m.rbegin();
ASSERT_TRUE(m.rbegin() == i);
ASSERT_TRUE(m.rend() != i);
EXPECT_EQ(3, *i);
++i;
ASSERT_TRUE(m.rend() != i);
EXPECT_EQ(1, *i);
++i;
ASSERT_TRUE(m.rend() != i);
EXPECT_EQ(2, *i);
++i;
ASSERT_TRUE(m.rend() == i);
}
// Tests that clear() works
TEST(LinkedHashSetTest, Clear) {
linked_hash_set<int> m{2, 1, 3};
ASSERT_EQ(3, m.size());
m.clear();
EXPECT_EQ(0, m.size());
EXPECT_FALSE(m.contains(1));
EXPECT_TRUE(m.find(1) == m.end());
// Make sure we can call it on an empty set.
m.clear();
EXPECT_EQ(0, m.size());
}
// Tests that size() works.
TEST(LinkedHashSetTest, Size) {
linked_hash_set<int> m;
EXPECT_EQ(0, m.size());
m.insert(2);
EXPECT_EQ(1, m.size());
m.insert(11);
EXPECT_EQ(2, m.size());
m.insert(0);
EXPECT_EQ(3, m.size());
m.insert(0);
EXPECT_EQ(3, m.size());
m.clear();
EXPECT_EQ(0, m.size());
}
// Tests empty()
TEST(LinkedHashSetTest, Empty) {
linked_hash_set<int> m;
ASSERT_TRUE(m.empty());
m.insert(2);
ASSERT_FALSE(m.empty());
m.clear();
ASSERT_TRUE(m.empty());
}
TEST(LinkedHashSetTest, Erase) {
linked_hash_set<int> m;
ASSERT_EQ(0, m.size());
EXPECT_EQ(0, m.erase(2)); // Nothing to erase yet
m.insert(2);
ASSERT_EQ(1, m.size());
EXPECT_EQ(1, m.erase(2));
EXPECT_EQ(0, m.size());
EXPECT_TRUE(m.empty());
EXPECT_EQ(0, m.erase(2)); // Make sure nothing bad happens if we repeat.
EXPECT_EQ(0, m.size());
EXPECT_TRUE(m.empty());
}
TEST(LinkedHashSetTest, Erase2) {
linked_hash_set<int> m;
ASSERT_EQ(0, m.size());
EXPECT_EQ(0, m.erase(2)); // Nothing to erase yet
m.insert(2);
m.insert(1);
m.insert(3);
m.insert(4);
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_set<int>::iterator it = m.begin();
ASSERT_TRUE(it != m.end());
EXPECT_EQ(2, *it);
++it;
ASSERT_TRUE(it != m.end());
EXPECT_EQ(4, *it);
++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_TRUE(m.empty());
EXPECT_EQ(0, m.erase(1)); // Make sure nothing bad happens if we repeat.
ASSERT_EQ(0, m.size());
EXPECT_TRUE(m.empty());
}
// Test that erase(iter,iter) and erase(iter) compile and work.
TEST(LinkedHashSetTest, Erase3) {
linked_hash_set<int> m;
m.insert(1);
m.insert(2);
m.insert(3);
m.insert(4);
// Erase middle two
linked_hash_set<int>::iterator it2 = m.find(2);
linked_hash_set<int>::iterator it4 = m.find(4);
EXPECT_EQ(m.erase(it2, it4), m.find(4));
EXPECT_FALSE(m.contains(2));
EXPECT_TRUE(m.find(2) == m.end());
EXPECT_FALSE(m.contains(3));
EXPECT_TRUE(m.find(3) == m.end());
EXPECT_EQ(2, m.size());
// Make sure we can still iterate over everything that's left.
linked_hash_set<int>::iterator it = m.begin();
ASSERT_TRUE(it != m.end());
EXPECT_EQ(1, *it);
++it;
ASSERT_TRUE(it != m.end());
EXPECT_EQ(4, *it);
++it;
ASSERT_TRUE(it == m.end());
// Erase first one using an iterator.
EXPECT_EQ(m.erase(m.begin()), m.find(4));
EXPECT_FALSE(m.contains(1));
EXPECT_TRUE(m.find(1) == m.end());
// Only the last element should be left.
EXPECT_TRUE(m.contains(4));
it = m.begin();
ASSERT_TRUE(it != m.end());
EXPECT_EQ(4, *it);
++it;
ASSERT_TRUE(it == m.end());
}
// Test all types of insertion
TEST(LinkedHashSetTest, Insertion) {
linked_hash_set<int> m;
ASSERT_EQ(0, m.size());
std::pair<linked_hash_set<int>::iterator, bool> result;
result = m.insert(2);
ASSERT_EQ(1, m.size());
EXPECT_TRUE(result.second);
EXPECT_EQ(2, *result.first);
EXPECT_TRUE(m.contains(2));
EXPECT_TRUE(m.find(2) != m.end());
result = m.insert(1);
ASSERT_EQ(2, m.size());
EXPECT_TRUE(result.second);
EXPECT_EQ(1, *result.first);
EXPECT_TRUE(m.contains(1));
EXPECT_TRUE(m.find(1) != m.end());
result = m.insert(3);
linked_hash_set<int>::iterator result_iterator = result.first;
ASSERT_EQ(3, m.size());
EXPECT_TRUE(result.second);
EXPECT_EQ(3, *result.first);
EXPECT_TRUE(m.contains(3));
EXPECT_TRUE(m.find(3) != m.end());
result = m.insert(3);
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.";
EXPECT_TRUE(m.contains(3));
EXPECT_TRUE(m.find(3) != m.end());
std::vector<int> v = {3, 4, 5};
m.insert(v.begin(), v.end());
// Expect 4 and 5 inserted, 3 not inserted.
EXPECT_EQ(5, m.size());
EXPECT_TRUE(m.contains(4));
EXPECT_NE(m.find(4), m.end());
EXPECT_TRUE(m.contains(5));
EXPECT_NE(m.find(5), m.end());
}
TEST(LinkedHashSetTest, HintedInsertionMoveable) {
linked_hash_set<int> m = {1, 3};
m.insert(m.find(3), 2);
EXPECT_THAT(m, ElementsAre(1, 2, 3));
}
TEST(LinkedHashSetTest, HintedInsertionReference) {
linked_hash_set<int> m = {1, 3};
const int val = 2;
m.insert(m.find(3), val);
EXPECT_THAT(m, ElementsAre(1, 2, 3));
}
TEST(LinkedHashSetTest, HintedEmplaceMoveable) {
linked_hash_set<int> m = {1, 3};
m.emplace_hint(m.find(3), 2);
EXPECT_THAT(m, ElementsAre(1, 2, 3));
}
TEST(LinkedHashSetTest, HintedEmplaceReference) {
linked_hash_set<int> m = {1, 3};
const int val = 2;
m.emplace_hint(m.find(3), val);
EXPECT_THAT(m, ElementsAre(1, 2, 3));
}
// Test front accessors.
TEST(LinkedHashSetTest, Front) {
linked_hash_set<int> m;
m.insert(222);
m.insert(111);
m.insert(333);
EXPECT_EQ(3, m.size());
EXPECT_EQ(222, m.front());
m.pop_front();
EXPECT_EQ(2, m.size());
EXPECT_EQ(111, m.front());
m.pop_front();
EXPECT_EQ(1, m.size());
EXPECT_EQ(333, m.front());
m.pop_front();
EXPECT_TRUE(m.empty());
}
// Test back accessors.
TEST(LinkedHashSetTest, Back) {
linked_hash_set<int> m;
m.insert(222);
m.insert(111);
m.insert(333);
EXPECT_EQ(3, m.size());
EXPECT_EQ(333, m.back());
m.pop_back();
EXPECT_EQ(2, m.size());
EXPECT_EQ(111, m.back());
m.pop_back();
EXPECT_EQ(1, m.size());
EXPECT_EQ(222, m.back());
m.pop_back();
EXPECT_TRUE(m.empty());
}
TEST(LinkedHashSetTest, Find) {
linked_hash_set<int> m;
EXPECT_TRUE(m.end() == m.find(1))
<< "We shouldn't find anything in an empty set.";
m.insert(2);
EXPECT_TRUE(m.end() == m.find(1))
<< "We shouldn't find an element that doesn't exist in the set.";
std::pair<linked_hash_set<int>::iterator, bool> result = m.insert(1);
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 set.";
EXPECT_EQ(1, *result.first);
// Check that a follow-up insertion doesn't affect our original
m.insert(3);
linked_hash_set<int>::iterator it = m.find(1);
ASSERT_TRUE(m.end() != it);
EXPECT_EQ(1, *it);
m.clear();
EXPECT_TRUE(m.end() == m.find(1))
<< "We shouldn't find anything in a set that we've cleared.";
}
TEST(LinkedHashSetTest, Contains) {
linked_hash_set<int> m;
EXPECT_FALSE(m.contains(1)) << "The empty set shouldn't contain anything.";
m.insert(2);
EXPECT_FALSE(m.contains(1))
<< "contains() should not return true for an element that doesn't exist "
<< "in the set.";
m.insert(1);
EXPECT_TRUE(m.contains(1))
<< "contains() should return true for an element we know exists in the "
<< "set.";
m.clear();
EXPECT_FALSE(m.contains(1))
<< "A set that we've cleared shouldn't contain anything.";
}
TEST(LinkedHashSetTest, Swap) {
linked_hash_set<int> m1;
linked_hash_set<int> m2;
m1.insert(1);
m1.insert(2);
m2.insert(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(LinkedHashSetTest, InitializerList) {
linked_hash_set<int> m{1, 3};
ASSERT_EQ(2, m.size());
EXPECT_TRUE(m.contains(1));
linked_hash_set<int>::iterator it = m.find(1);
ASSERT_TRUE(m.end() != it);
EXPECT_EQ(1, *it);
it = m.find(3);
EXPECT_TRUE(m.contains(3));
ASSERT_TRUE(m.end() != it);
EXPECT_EQ(3, *it);
}
TEST(LinkedHashSetTest, CustomHashAndEquality) {
struct CustomIntHash {
size_t operator()(int x) const { return 0; }
};
struct CustomIntEq {
bool operator()(int x, int y) const { return abs(x) == abs(y); }
};
linked_hash_set<int, CustomIntHash, CustomIntEq> m;
m.insert(1);
EXPECT_EQ(1, m.size());
m.insert(2);
EXPECT_EQ(2, m.size());
EXPECT_FALSE(m.insert(-2).second);
EXPECT_EQ(2, m.size());
EXPECT_TRUE(m.contains(-1));
EXPECT_TRUE(m.find(-1) != m.end());
}
TEST(LinkedHashSetTest, EqualRange) {
linked_hash_set<int> m{3, 1};
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(LinkedHashSetTest, ReserveWorks) {
linked_hash_set<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.insert(1);
m.insert(2);
EXPECT_LE(10, m.capacity());
EXPECT_EQ(2, m.size());
EXPECT_LT(0.0, m.load_factor());
}
TEST(LinkedHashSetTest, HeterogeneousTests) {
absl::test_internal::InstanceTracker tracker;
linked_hash_set<ExpensiveType, HeterogeneousHash, HeterogeneousEqual> set;
ExpensiveType one(1);
tracker.ResetCopiesMovesSwaps();
set.insert(one);
// Two instances: 'one' var and an instance in the set.
EXPECT_EQ(2, tracker.instances());
EXPECT_EQ(1, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
set.insert(one);
// No construction since key==1 exists.
EXPECT_EQ(2, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
set.emplace(CheapType(1));
// No construction since key==1 exists.
EXPECT_EQ(2, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
set.emplace(CheapType(2));
// Construction since key==2 doesn't exist in the set.
EXPECT_EQ(3, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(set, ElementsAre(HasExpensiveValue(1), HasExpensiveValue(2)));
// find
tracker.ResetCopiesMovesSwaps();
auto itr = set.find(CheapType(1));
ASSERT_NE(itr, set.end());
EXPECT_EQ(1, itr->value());
// contains
EXPECT_TRUE(set.contains(CheapType(2)));
// count
EXPECT_EQ(1, set.count(CheapType(2)));
// equal_range
auto eq_itr_pair = set.equal_range(CheapType(2));
ASSERT_NE(eq_itr_pair.first, set.end());
EXPECT_EQ(2, eq_itr_pair.first->value());
// No construction for find, contains, count or equal_range.
EXPECT_EQ(3, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
// emplace
tracker.ResetCopiesMovesSwaps();
set.emplace(3);
// Just one construction.
EXPECT_EQ(4, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
tracker.ResetCopiesMovesSwaps();
set.emplace(3);
// No additional construction since key==3 exists.
EXPECT_EQ(4, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(set, ElementsAre(HasExpensiveValue(1), HasExpensiveValue(2),
HasExpensiveValue(3)));
// Test std::move() using insert().
ExpensiveType four(4);
tracker.ResetCopiesMovesSwaps();
set.insert(std::move(four));
// Two constructions (regular and move).
EXPECT_EQ(6, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(1, tracker.moves());
EXPECT_THAT(set, ElementsAre(HasExpensiveValue(1), HasExpensiveValue(2),
HasExpensiveValue(3), HasExpensiveValue(4)));
tracker.ResetCopiesMovesSwaps();
set.erase(CheapType(1));
// No construction and instance reduced by one.
EXPECT_EQ(5, tracker.instances());
EXPECT_EQ(0, tracker.copies());
EXPECT_EQ(0, tracker.moves());
EXPECT_THAT(set, ElementsAre(HasExpensiveValue(2), HasExpensiveValue(3),
HasExpensiveValue(4)));
}
TEST(LinkedHashSetTest, HeterogeneousStringViewLookup) {
linked_hash_set<std::string> set;
set.insert("foo");
set.insert("bar");
set.insert("blah");
{
absl::string_view lookup("foo");
auto itr = set.find(lookup);
ASSERT_NE(itr, set.end());
EXPECT_EQ("foo", *itr);
}
// Not found.
{
absl::string_view lookup("foobar");
EXPECT_EQ(set.end(), set.find(lookup));
}
{
absl::string_view lookup("blah");
auto itr = set.find(lookup);
ASSERT_NE(itr, set.end());
EXPECT_EQ("blah", *itr);
}
}
TEST(LinkedHashSetTest, EmplaceString) {
std::vector<std::string> v = {"a", "b"};
linked_hash_set<absl::string_view> hs(v.begin(), v.end());
EXPECT_THAT(hs, ElementsAreArray(v));
}
TEST(LinkedHashSetTest, BitfieldArgument) {
union {
int n : 1;
};
n = 0;
linked_hash_set<int> s = {n};
s.insert(n);
s.insert(s.end(), n);
s.insert({n});
s.erase(n);
s.count(n);
s.find(n);
s.contains(n);
s.equal_range(n);
}
TEST(LinkedHashSetTest, MergeExtractInsert) {
struct Hash {
size_t operator()(const std::unique_ptr<int>& p) const { return *p; }
};
struct Eq {
bool operator()(const std::unique_ptr<int>& a,
const std::unique_ptr<int>& b) const {
return *a == *b;
}
};
linked_hash_set<std::unique_ptr<int>, Hash, Eq> set1, set2;
set1.insert(std::make_unique<int>(7));
set1.insert(std::make_unique<int>(17));
set2.insert(std::make_unique<int>(7));
set2.insert(std::make_unique<int>(19));
EXPECT_THAT(set1, ElementsAre(Pointee(7), Pointee(17)));
EXPECT_THAT(set2, ElementsAre(Pointee(7), Pointee(19)));
set1.merge(set2);
EXPECT_THAT(set1, ElementsAre(Pointee(7), Pointee(17), Pointee(19)));
EXPECT_THAT(set2, ElementsAre(Pointee(7)));
auto node = set1.extract(std::make_unique<int>(7));
EXPECT_TRUE(node);
EXPECT_THAT(node.value(), Pointee(7));
EXPECT_THAT(set1, ElementsAre(Pointee(17), Pointee(19)));
auto insert_result = set2.insert(std::move(node));
EXPECT_FALSE(node);
EXPECT_FALSE(insert_result.inserted);
EXPECT_TRUE(insert_result.node);
EXPECT_THAT(insert_result.node.value(), Pointee(7));
EXPECT_EQ(**insert_result.position, 7);
EXPECT_NE(insert_result.position->get(), insert_result.node.value().get());
EXPECT_THAT(set2, ElementsAre(Pointee(7)));
node = set1.extract(std::make_unique<int>(17));
EXPECT_TRUE(node);
EXPECT_THAT(node.value(), Pointee(17));
EXPECT_THAT(set1, ElementsAre(Pointee(19)));
node.value() = std::make_unique<int>(23);
insert_result = set2.insert(std::move(node));
EXPECT_FALSE(node);
EXPECT_TRUE(insert_result.inserted);
EXPECT_FALSE(insert_result.node);
EXPECT_EQ(**insert_result.position, 23);
EXPECT_THAT(set2, ElementsAre(Pointee(7), Pointee(23)));
}
TEST(LinkedHashSet, ExtractInsert) {
linked_hash_set<int> s = {1, 7, 2, 9};
auto node = s.extract(1);
EXPECT_TRUE(node);
EXPECT_EQ(node.value(), 1);
EXPECT_THAT(s, ElementsAre(7, 2, 9));
EXPECT_FALSE(s.contains(1));
node.value() = 17;
s.insert(std::move(node));
EXPECT_FALSE(node);
EXPECT_THAT(s, ElementsAre(7, 2, 9, 17));
EXPECT_TRUE(s.contains(17));
node = s.extract(s.find(9));
EXPECT_TRUE(node);
EXPECT_EQ(node.value(), 9);
EXPECT_THAT(s, ElementsAre(7, 2, 17));
EXPECT_FALSE(s.contains(9));
}
TEST(LinkedHashSet, Merge) {
linked_hash_set<int> m = {1, 7, 3, 6, 10};
linked_hash_set<int> src = {1, 2, 9, 10, 4, 16};
m.merge(src);
EXPECT_THAT(m, ElementsAre(1, 7, 3, 6, 10, 2, 9, 4, 16));
for (int i : {1, 7, 3, 6, 10, 2, 9, 4, 16}) {
EXPECT_TRUE(m.contains(i));
}
EXPECT_THAT(src, ElementsAre(1, 10));
for (int i : {1, 10}) {
EXPECT_TRUE(src.contains(i));
}
for (int i : {2, 9, 4, 16}) {
EXPECT_FALSE(src.contains(i));
}
}
TEST(LinkedHashSet, EraseRange) {
linked_hash_set<int> set = {1, 2, 3, 4, 5, 25, 36, 7, 8, 9, 81};
auto start = set.find(3);
auto end = set.find(8);
auto itr = set.erase(start, end);
ASSERT_NE(itr, set.end());
EXPECT_THAT(*itr, 8);
EXPECT_THAT(set, ElementsAre(1, 2, 8, 9, 81));
for (int i : {1, 2, 8, 9, 81}) {
EXPECT_TRUE(set.contains(i));
}
for (int i : {3, 4, 5, 25, 36, 7}) {
EXPECT_FALSE(set.contains(i));
}
}
TEST(LinkedHashSet, InsertInitializerList) {
linked_hash_set<int> set;
set.insert({1, 7, 2, 9, 3, 29});
EXPECT_THAT(set, ElementsAre(1, 7, 2, 9, 3, 29));
for (int i : {1, 7, 2, 9, 3, 29}) {
EXPECT_TRUE(set.contains(i));
}
}
struct CountedHash {
explicit CountedHash(int* count) : count(count) {}
size_t operator()(int value) const {
++(*count);
return value;
}
int* count = nullptr;
};
// Makes a set too big for small object optimization. Counts the number of
// hashes in `count`, but leaves `count` set to 0.
linked_hash_set<int, CountedHash> MakeNonSmallSet(int* count) {
const int kFirstKey = -1000;
linked_hash_set<int, CountedHash> s(0, CountedHash(count));
for (int i = kFirstKey; i < kFirstKey + 100; ++i) {
s.insert(i);
}
*count = 0;
return s;
}
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(LinkedHashSetTest, HashCountInOptBuilds) {
if (BuildHasDebugModeRehashes()) {
GTEST_SKIP() << "Only run under NDEBUG: `assert` statements and sanitizer "
"rehashing may cause redundant hashing.";
}
using Set = linked_hash_set<int, CountedHash>;
{
int count = 0;
Set s = MakeNonSmallSet(&count);
s.insert(1);
EXPECT_EQ(count, 1);
s.erase(1);
EXPECT_EQ(count, 2);
}
{
int count = 0;
Set s = MakeNonSmallSet(&count);
s.insert(3);
EXPECT_EQ(count, 1);
auto node = s.extract(3);
EXPECT_EQ(count, 2);
s.insert(std::move(node));
EXPECT_EQ(count, 3);
}
{
int count = 0;
Set s = MakeNonSmallSet(&count);
s.emplace(5);
EXPECT_EQ(count, 1);
}
{
int src_count = 0, dst_count = 0;
Set src = MakeNonSmallSet(&src_count);
Set dst = MakeNonSmallSet(&dst_count);
src.insert(7);
dst.merge(src);
EXPECT_LE(src_count, 200);
EXPECT_LE(dst_count, 200);
}
}
} // namespace
} // namespace container_internal
ABSL_NAMESPACE_END
} // namespace absl