trie_test.cpp 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170
  1. //
  2. // trie_test.cpp
  3. // trie
  4. //
  5. // Created by Sam Jaffe on 6/2/18.
  6. //
  7. #include <gmock/gmock.h>
  8. #include <gtest/gtest.h>
  9. #include "trie.hpp"
  10. class TrieTest : public ::testing::Test {
  11. protected:
  12. virtual void SetUp() override;
  13. virtual void TearDown() override;
  14. trie<int, int> data;
  15. };
  16. void TrieTest::SetUp() {
  17. data = 1;
  18. data[0] = 5;
  19. data[{0, 1}] = 4;
  20. data[{0, 1, 0}] = 3;
  21. data[{0, 1, 2}] = 6;
  22. data[{0, 2, 0}] = 7;
  23. data[1] = 2;
  24. data[{1, 1}] = 8;
  25. data[{1, 1, 0}] = 9;
  26. }
  27. void TrieTest::TearDown() { data.clear(); }
  28. template <typename Iter> std::vector<int> flatten(Iter it) {
  29. decltype(it) end{};
  30. std::vector<int> out;
  31. out.reserve(size_t(std::distance(it, end)));
  32. std::copy(it, end, std::back_inserter(out));
  33. return out;
  34. }
  35. TEST_F(TrieTest, DefaultConstructorHasNoElementsExceptRoot) {
  36. trie<int, int> empty;
  37. EXPECT_THAT(flatten(empty.cbegin()), std::vector<int>{0});
  38. }
  39. TEST_F(TrieTest, MoveConstructorIsDestructive) {
  40. trie<int, int> moved = std::move(data);
  41. EXPECT_THAT(flatten(data.cbegin()), std::vector<int>{0});
  42. }
  43. TEST_F(TrieTest, MoveAssignmentOverwritesAnfRelocates) {
  44. trie<int, int> value;
  45. value[2] = 1;
  46. value = std::move(data);
  47. EXPECT_THAT(value.find(2), value.end());
  48. EXPECT_THAT(value, ::testing::Ne(data));
  49. }
  50. /**
  51. * This is important because a trie is implemented as a
  52. * map<key_type, self_type*>. Therefore, a naive copy-ctor would result in the
  53. * copy having the same data after the first level (root value and inserts with
  54. * one key wouldn't backflow, but everything else would).
  55. */
  56. TEST_F(TrieTest, CopyConstructorIsDeep) {
  57. trie<int, int> copy = data;
  58. copy[{0, 1}] += 1;
  59. EXPECT_THAT(copy, ::testing::Ne(data));
  60. }
  61. /**
  62. * Ensure that copy-assign doesn't simply add-all.
  63. */
  64. TEST_F(TrieTest, CopyAssignmentOverwritesData) {
  65. trie<int, int> value;
  66. value[2] = 1;
  67. value = data;
  68. EXPECT_THAT(value, data);
  69. }
  70. TEST_F(TrieTest, EqualityIsPathSensitive) {
  71. trie<int, int> t1, t2;
  72. t1[1] = 1;
  73. t2[2] = 1;
  74. EXPECT_THAT(flatten(t1.cbegin()), flatten(t2.cbegin()));
  75. EXPECT_THAT(t1, ::testing::Ne(t2));
  76. }
  77. TEST_F(TrieTest, NormalIterationIsPreOrdered) {
  78. EXPECT_THAT(flatten(data.cbegin()),
  79. std::vector<int>({1, 5, 4, 3, 6, 0, 7, 2, 8, 9}));
  80. }
  81. TEST_F(TrieTest, PostIteratorUsesPostOrder) {
  82. EXPECT_THAT(flatten(trie<int, int>::const_post_iterator(&data)),
  83. std::vector<int>({3, 6, 4, 7, 0, 5, 9, 8, 2, 1}));
  84. }
  85. TEST_F(TrieTest, ReverseIterationIsBackwardsPreOrdered) {
  86. EXPECT_THAT(flatten(data.crbegin()),
  87. std::vector<int>({9, 8, 2, 7, 0, 6, 3, 4, 5, 1}));
  88. }
  89. TEST_F(TrieTest, InsertingNewElementReturnsSuccess) {
  90. trie<int, int> example;
  91. std::pair<trie<int, int>::iterator, bool> rval = example.insert(1, 2);
  92. EXPECT_TRUE(rval.second);
  93. EXPECT_THAT(*rval.first, 2);
  94. }
  95. TEST_F(TrieTest, EmplacingNewElementReturnsSuccess) {
  96. trie<int, int> example;
  97. std::pair<trie<int, int>::iterator, bool> rval = example.emplace(1, 2);
  98. EXPECT_TRUE(rval.second);
  99. EXPECT_THAT(*rval.first, 2);
  100. }
  101. TEST_F(TrieTest, InsertingWithPathWillCreateParents) {
  102. trie<int, int> example;
  103. std::pair<trie<int, int>::iterator, bool> rval =
  104. example.emplace({1, 1, 1}, 2);
  105. EXPECT_TRUE(rval.second);
  106. EXPECT_THAT(*rval.first, 2);
  107. EXPECT_THAT(example.find({1}), testing::Ne(example.end()));
  108. EXPECT_THAT(example.find({1, 1}), testing::Ne(example.end()));
  109. EXPECT_THAT(example.find({1, 1, 1}), rval.first);
  110. }
  111. TEST_F(TrieTest, InsertingInAlreadyExistantPathNonDestructive) {
  112. trie<int, int> example;
  113. example.insert(1, 2);
  114. std::pair<trie<int, int>::iterator, bool> rval = example.insert(1, 0);
  115. EXPECT_FALSE(rval.second);
  116. EXPECT_THAT(*rval.first, ::testing::Not(0));
  117. }
  118. TEST_F(TrieTest, EmplacingInAlreadyExistantPathNonDestructive) {
  119. trie<int, int> example;
  120. example.insert(1, 2);
  121. std::pair<trie<int, int>::iterator, bool> rval = example.emplace(1, 0);
  122. EXPECT_FALSE(rval.second);
  123. EXPECT_THAT(*rval.first, ::testing::Not(0));
  124. }
  125. TEST_F(TrieTest, FindWithPathWillReturnIteratorToEntry) {
  126. EXPECT_THAT(*data.find({0, 1, 2}), 6);
  127. }
  128. TEST_F(TrieTest, FindMissingPathWillReturnEnd) {
  129. EXPECT_THAT(data.find({0, 3, 2}), data.end());
  130. }
  131. TEST_F(TrieTest, DereferenceWithMissingPathThrows) {
  132. EXPECT_THROW(*data.find({0, 3, 2}), std::runtime_error);
  133. }
  134. TEST_F(TrieTest, EraseDropsWholeBranch) {
  135. EXPECT_THAT(data.find({0, 1}), ::testing::Ne(data.end()));
  136. data.erase(0);
  137. EXPECT_THAT(data.find({0, 1}), data.end());
  138. EXPECT_THAT(data.find(0), data.end());
  139. }
  140. TEST_F(TrieTest, EraseNonExistentElementIsNoOp) {
  141. trie<int, int> copy = data;
  142. copy.erase(-1);
  143. EXPECT_THAT(copy, data);
  144. }