| /* |
| * Licensed to the Apache Software Foundation (ASF) under one |
| * or more contributor license agreements. See the NOTICE file |
| * distributed with this work for additional information |
| * regarding copyright ownership. The ASF licenses this file |
| * to you 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 |
| * |
| * http://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 "iceberg/util/iterator.h" |
| |
| #include <memory> |
| #include <optional> |
| #include <type_traits> |
| #include <vector> |
| |
| #include <gtest/gtest.h> |
| |
| #include "iceberg/test/matchers.h" |
| |
| namespace iceberg { |
| namespace { |
| |
| class CopyOnly { |
| public: |
| explicit CopyOnly(int value) : value_(value) {} |
| |
| CopyOnly(const CopyOnly&) = default; |
| CopyOnly& operator=(const CopyOnly&) = default; |
| CopyOnly(CopyOnly&&) = delete; |
| CopyOnly& operator=(CopyOnly&&) = delete; |
| |
| int value() const { return value_; } |
| |
| private: |
| int value_; |
| }; |
| |
| static_assert(std::is_copy_constructible_v<CopyOnly>); |
| static_assert(!std::is_move_constructible_v<CopyOnly>); |
| |
| // Exercises ToVector() with values that can be copied but not moved. |
| class CopyOnlyIterator final : public Iterator<CopyOnly> { |
| private: |
| Result<std::optional<CopyOnly>> NextImpl() override { |
| if (next_ == 3) { |
| return Result<std::optional<CopyOnly>>(std::in_place, std::nullopt); |
| } |
| return Result<std::optional<CopyOnly>>(std::in_place, std::in_place, next_++); |
| } |
| |
| int next_ = 0; |
| }; |
| |
| // Exercises ToVector() with values that can be moved but not copied. |
| class MoveOnlyIterator final : public Iterator<std::unique_ptr<int>> { |
| public: |
| int calls() const { return calls_; } |
| |
| private: |
| Result<std::optional<std::unique_ptr<int>>> NextImpl() override { |
| ++calls_; |
| if (next_ == 3) { |
| return Result<std::optional<std::unique_ptr<int>>>(std::in_place, std::nullopt); |
| } |
| return Result<std::optional<std::unique_ptr<int>>>(std::in_place, std::in_place, |
| std::make_unique<int>(next_++)); |
| } |
| |
| int next_ = 0; |
| int calls_ = 0; |
| }; |
| |
| // Exercises ToVector() error propagation after some values have been consumed. |
| class FailingIterator final : public Iterator<int> { |
| public: |
| int calls() const { return calls_; } |
| |
| private: |
| Result<std::optional<int>> NextImpl() override { |
| ++calls_; |
| if (next_ < 2) { |
| return Result<std::optional<int>>(std::in_place, std::in_place, next_++); |
| } |
| return Invalid("iteration failed"); |
| } |
| |
| int next_ = 0; |
| int calls_ = 0; |
| }; |
| |
| static_assert(std::is_move_constructible_v<CopyOnlyIterator>); |
| static_assert(std::is_move_assignable_v<CopyOnlyIterator>); |
| static_assert(std::is_move_constructible_v<MoveOnlyIterator>); |
| static_assert(std::is_move_assignable_v<MoveOnlyIterator>); |
| |
| TEST(IteratorTest, ToVectorSupportsCopyOnlyValues) { |
| CopyOnlyIterator iterator; |
| |
| ICEBERG_UNWRAP_OR_FAIL(auto values, iterator.ToVector()); |
| |
| ASSERT_EQ(values.size(), 3); |
| EXPECT_EQ(values[0].value(), 0); |
| EXPECT_EQ(values[1].value(), 1); |
| EXPECT_EQ(values[2].value(), 2); |
| } |
| |
| TEST(IteratorTest, ToVectorSupportsMoveOnlyValues) { |
| MoveOnlyIterator iterator; |
| |
| ICEBERG_UNWRAP_OR_FAIL(auto values, iterator.ToVector()); |
| |
| ASSERT_EQ(values.size(), 3); |
| EXPECT_EQ(*values[0], 0); |
| EXPECT_EQ(*values[1], 1); |
| EXPECT_EQ(*values[2], 2); |
| } |
| |
| TEST(IteratorTest, NextRemainsAtEndAfterExhaustion) { |
| MoveOnlyIterator iterator; |
| ICEBERG_UNWRAP_OR_FAIL(auto values, iterator.ToVector()); |
| ASSERT_EQ(values.size(), 3); |
| EXPECT_EQ(iterator.calls(), 4); |
| |
| for (int i = 0; i < 2; ++i) { |
| auto result = iterator.Next(); |
| ASSERT_TRUE(result.has_value()); |
| EXPECT_FALSE(result->has_value()); |
| } |
| EXPECT_EQ(iterator.calls(), 4); |
| } |
| |
| TEST(IteratorTest, ToVectorPropagatesErrorsAfterPartialConsumption) { |
| FailingIterator iterator; |
| |
| ICEBERG_UNWRAP_OR_FAIL(auto first, iterator.Next()); |
| ASSERT_TRUE(first.has_value()); |
| EXPECT_EQ(first.value(), 0); |
| |
| auto result = iterator.ToVector(); |
| |
| EXPECT_THAT(result, IsError(ErrorKind::kInvalid)); |
| EXPECT_THAT(result, HasErrorMessage("iteration failed")); |
| } |
| |
| TEST(IteratorTest, NextRepeatsErrorWithoutAdvancing) { |
| FailingIterator iterator; |
| auto first_error = iterator.ToVector(); |
| EXPECT_THAT(first_error, IsError(ErrorKind::kInvalid)); |
| EXPECT_THAT(first_error, HasErrorMessage("iteration failed")); |
| EXPECT_EQ(iterator.calls(), 3); |
| |
| for (int i = 0; i < 2; ++i) { |
| auto result = iterator.Next(); |
| EXPECT_THAT(result, IsError(ErrorKind::kInvalid)); |
| EXPECT_THAT(result, HasErrorMessage("iteration failed")); |
| } |
| EXPECT_EQ(iterator.calls(), 3); |
| } |
| |
| } // namespace |
| } // namespace iceberg |