recursive_iterator_accessors_test.cxx 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168
  1. #include "iterator/recursive_iterator.h"
  2. #include <map>
  3. #include <string>
  4. #include <tuple>
  5. #include <vector>
  6. #include "ranges.h"
  7. #include "xcode_gtest_helper.h"
  8. using iterator::bounded;
  9. using iterator::EndAwareIterator;
  10. using iterator::RecursiveIterator;
  11. using testing::ElementsAreArray;
  12. using testing::Not;
  13. using testing::StaticAssertTypeEq;
  14. TEST(RecursiveIterator, DoesNotUnwrapString) {
  15. std::vector<std::string> obj{"A", "B", "C", "D"};
  16. auto rit = RecursiveIterator(obj);
  17. StaticAssertTypeEq<decltype(rit.operator->()), std::string *>();
  18. EXPECT_THAT(obj | views::recursive | ranges::to<std::vector>(),
  19. ElementsAreArray(obj));
  20. }
  21. TEST(RecursiveIterator, CanArrowMultiVector) {
  22. std::vector<std::vector<int>> obj{{{0, 1}}, {{2, 3}}};
  23. auto rit = RecursiveIterator(obj);
  24. StaticAssertTypeEq<decltype(rit.operator->()), int *>();
  25. EXPECT_THAT(rit.operator->(), &obj[0][0]);
  26. }
  27. TEST(RecursiveIterator, CanAccessOuterterator) {
  28. std::map<int, std::vector<int>> obj{{1, {{0, 1}}}, {2, {{2, 3}}}};
  29. auto rit = RecursiveIterator(obj);
  30. EndAwareIterator<decltype(obj)::iterator> inner = rit;
  31. EXPECT_THAT(&std::get<0>(*rit), &(inner->first));
  32. }
  33. TEST(RecursiveIterator, CanAccessInnerIterator) {
  34. std::map<int, std::vector<int>> obj{{1, {{0, 1}}}, {2, {{2, 3}}}};
  35. auto rit = RecursiveIterator(obj);
  36. EndAwareIterator<std::vector<int>::iterator> inner = rit;
  37. EXPECT_THAT(&std::get<1>(*rit), &*inner);
  38. }
  39. TEST(RecursiveIterator, CanStdGetToAllLayersOfInternalIteration) {
  40. std::map<int, std::vector<std::map<int, int>>> obj{
  41. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  42. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  43. };
  44. auto rit = RecursiveIterator(obj);
  45. using mvm_iterator = std::map<int, std::vector<std::map<int, int>>>::iterator;
  46. StaticAssertTypeEq<decltype(std::get<0>(rit)),
  47. EndAwareIterator<mvm_iterator>>();
  48. using vm_iterator = std::vector<std::map<int, int>>::iterator;
  49. StaticAssertTypeEq<decltype(std::get<1>(rit)),
  50. EndAwareIterator<vm_iterator>>();
  51. using m_iterator = std::map<int, int>::iterator;
  52. StaticAssertTypeEq<decltype(std::get<2>(rit)),
  53. EndAwareIterator<m_iterator>>();
  54. using tup_i_i_i = std::tuple<int const &, int const &, int &>;
  55. StaticAssertTypeEq<decltype(*rit), tup_i_i_i>();
  56. }
  57. TEST(RecursiveIterator, CanAccessInternalIteratorsWithGet) {
  58. std::map<int, std::vector<std::map<int, int>>> obj{
  59. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  60. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  61. };
  62. auto rit = RecursiveIterator(obj);
  63. EXPECT_THAT(std::get<0>(rit), EndAwareIterator(obj));
  64. EXPECT_THAT(std::get<1>(rit), EndAwareIterator(obj[1]));
  65. EXPECT_THAT(std::get<2>(rit), EndAwareIterator(obj[1][0]));
  66. }
  67. // TODO: This ought to be implemented as a compiles-test
  68. TEST(RecursiveIterator, CanCastCompatibleIterators) {
  69. std::map<int, std::vector<std::map<int, int>>> obj{
  70. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  71. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  72. };
  73. auto rit = RecursiveIterator(obj);
  74. iterator::RecursiveIterator<decltype(obj)::const_iterator> cit(rit);
  75. }
  76. TEST(RecursiveIterator, EmptyCtorIsEnd) {
  77. std::map<int, std::vector<std::map<int, int>>> obj{
  78. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  79. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  80. };
  81. auto rit = RecursiveIterator(obj);
  82. EXPECT_THAT(rit, Not(iterator::sentinel));
  83. EXPECT_THAT(ranges::distance(rit, iterator::sentinel), 4);
  84. std::advance(rit, 4);
  85. EXPECT_THAT(rit, iterator::sentinel);
  86. }
  87. TEST(RecursiveIterator_Bounded, CanStdGetToNLayersOfInternalIteration) {
  88. std::map<int, std::vector<std::map<int, int>>> obj{
  89. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  90. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  91. };
  92. auto rit = RecursiveIterator(obj, bounded<2>{});
  93. using mvm_iterator = std::map<int, std::vector<std::map<int, int>>>::iterator;
  94. StaticAssertTypeEq<decltype(std::get<0>(rit)),
  95. EndAwareIterator<mvm_iterator>>();
  96. using vm_iterator = std::vector<std::map<int, int>>::iterator;
  97. StaticAssertTypeEq<decltype(std::get<1>(rit)),
  98. EndAwareIterator<vm_iterator>>();
  99. using tup_i_mii = std::tuple<int const &, std::map<int, int> &>;
  100. StaticAssertTypeEq<decltype(*rit), tup_i_mii>();
  101. }
  102. TEST(RecursiveIterator_Bounded, CanAccessInternalIteratorsWithGet) {
  103. std::map<int, std::vector<std::map<int, int>>> obj{
  104. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  105. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  106. };
  107. auto rit = RecursiveIterator(obj, bounded<2>{});
  108. EXPECT_THAT(std::get<0>(rit), EndAwareIterator(obj));
  109. EXPECT_THAT(std::get<1>(rit), EndAwareIterator(obj[1]));
  110. }
  111. // TODO: This ought to be implemented as a compiles-test
  112. TEST(RecursiveIterator_Bounded, CanCastCompatibleIterators) {
  113. std::map<int, std::vector<std::map<int, int>>> obj{
  114. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  115. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  116. };
  117. auto rit = RecursiveIterator(obj, bounded<2>{});
  118. iterator::RecursiveIteratorN<decltype(obj)::const_iterator, 2> cit(rit);
  119. }
  120. TEST(RecursiveIterator_Bounded, EmptyCtorIsEnd) {
  121. std::map<int, std::vector<std::map<int, int>>> obj{
  122. {1, {{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  123. {2, {{{3, 3}, {4, 4}}}} // 1 2-element map
  124. };
  125. auto rit = RecursiveIterator(obj, bounded<3>{});
  126. EXPECT_THAT(rit, Not(iterator::sentinel));
  127. EXPECT_THAT(ranges::distance(rit, iterator::sentinel), 4);
  128. std::advance(rit, 4);
  129. EXPECT_THAT(rit, iterator::sentinel);
  130. }
  131. TEST(RecursiveIterator_Bounded, CanFetchInnerCollections) {
  132. std::vector<std::vector<std::map<int, int>>> obj{
  133. {{{{1, 1}}, {{2, 2}}}}, // 2 1-element maps
  134. {{{{3, 3}, {4, 4}}}} // 1 2-element map
  135. };
  136. auto rit = RecursiveIterator(obj, bounded<2>{});
  137. EXPECT_THAT(*rit, obj[0][0]);
  138. }