使用迭代器将数组划分为大小不等的部分

我有一个数组，需要将其分为 3 元素子数组。我想用迭代器来做到这一点，但最终我迭代到了数组的末尾并出现段错误即使我没有取消引用迭代器。给定：auto foo = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };我正在做：

auto bar = cbegin(foo);

for (auto it = next(bar, 3); it < foo.end(); bar = it, it = next(bar, 3)) {
    for_each(bar, it, [](const auto& i) { cout << i << endl; });
}

for_each(bar, cend(foo), [](const auto& i) { cout << i << endl; });

Now I can通过定义一个来解决这个问题finish迭代器：

auto bar = cbegin(foo);
auto finish = next(cend(foo), -(size(foo) % 3));

for (auto it = next(bar, 3); it != finish; bar = it, it = next(bar, 3)) {
    for_each(bar, it, [](const auto& i) { cout << i << endl; });
}

for_each(bar, finish, [](const auto& i) { cout << i << endl; });
for_each(finish, cend(foo), [](const auto& i) { cout << i << endl; });

但这似乎没有必要我不取消引用迭代器。为什么我不能做第一个版本？

您看到的段错误来自next http://en.cppreference.com/w/cpp/iterator/next检查范围是调试实现中的一个断言，用于检查未定义的行为。迭代器和指针的行为未定义为超出其分配的范围，并且“最后一个”元素：迭代器是否超过了“最后一次”迭代器的未定义行为？ https://stackoverflow.com/q/37209725/2642059

这意味着增加超过“最后一个”元素是未定义的行为独立于迭代器的后续使用。为了定义行为，你must使用像整数模算法或类似的解决方案，但你必须改变auto it = next(bar, 3)至少基于子数组大小的可用性进行条件化的东西，例如：auto it = size(foo) <= 3 ? finish : next(bar, 3).

在可用的情况下，这里的最佳解决方案将导致最少的冗余迭代，即以整数形式跟踪容器中剩余的大小，当它超出范围和“超过末尾”时，不会出现未定义的行为。这可以通过以下方式完成：

auto bar = cbegin(foo);

for (auto i = size(foo); i > STEP; i -= STEP) {
    for(auto j = 0; j < STEP; ++j, ++bar) cout << *bar << '\t';
    cout << endl;
}

for(auto i = 0; j < STEP; ++j, ++bar) cout << *bar << '\t';
cout << endl;

编辑：我之前建议使用没有调试条件的指针，这是未定义的行为。

问题是next http://en.cppreference.com/w/cpp/iterator/next正在为您检查范围。例如，我们一直在分配的内存之外使用指针nullptr and end， 就这样it这是。如果你在这里只使用 C 风格的指针算术，那就没问题了：

auto bar = cbegin(foo);

for (auto it = bar + 3; it < cend(foo); bar = it, it = bar + 3) {
    for_each(bar, it, [](const auto& i) { cout << i << endl; });
}

for_each(bar, cend(foo), [](const auto& i) { cout << '\t' << i << endl; });

Live Example http://ideone.com/zSSKnj

或者，如果您在发布配置中运行，则应删除范围检查，以便您将能够使用代码的第一个版本。