返回条件`range_expression`

Question

根据某种条件在几个已知范围之一上进行迭代的最有效方法是什么？

二进制条件的伪代码：

for element in (condition ? range_a : range_b)
  // do work

这个“示例”显示了我使用基于范围的for循环的意图，但由于std::initializer_list具有参考语义，因此无法使用。

for element in (condition ? range_a : range_b)
  // do work

产量： warning: returning address of local temporary object [-Wreturn-stack-address]

在运行时，我可以返回a，std::vector但这将涉及在每次调用时构造一个新的向量：

constexpr auto some_range(bool c) -> std::initializer_list<int> {
  if (c) {
    return {1,2};
  } else {
    return {3, 4, 5};
  }
}

bool cond = true; // false

for(auto x : some_range(cond)) {
  // things
}

我可以使用的固定大小std::array，std::optional<int>但是我必须求助于C ++ 14或c ++ 11解决方案。

Answer 1

基于范围的 for 循环可以迭代任何表达式e，其类类型具有e.begin()成员e.end()函数或非成员函数begin(e)，并且end(e)可以通过 ADL 找到。因此，一个简单的可迭代视图可以是：

#include <cstddef>

template <typename T>
struct view
{
    T* p;
    std::size_t s;
    constexpr T* begin() const { return p; }
    constexpr T* end() const { return p + s; }
};

然后返回一个指向数组的指针，例如静态存储持续时间：

inline view<const int> conditional_range(bool a)
{
    static int ra[] = { 1, 2 };
    static int rb[] = { 3, 4, 5 };
    if (a) return { ra, 2 };
    else return { rb, 3 };
}

演示版

这类似于c++20提供的std::span.

Anstd::initilizer_list<T>包装一个本地数组，从大括号括起来的初始值设定项自动构造，因此不能用作返回类型，因为在这种情况下，它存储的指针在函数退出时会失效。