Return 条件`range_expression`

Question

根据某些条件迭代多个已知范围之一的最有效方法是什么？

二进制条件的伪代码：

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

此 'example' 表明我打算使用 range-based for loop but as std::initializer_list 具有引用语义，但它不会起作用。

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
}

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

在运行期间我可以 return 一个 std::vector 但这将涉及在每次调用时构建一个新向量：

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

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

Answer 1

基于范围的 for 循环可以迭代任何表达式 e，其 class 类型具有 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; }
};

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

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 };
}

DEMO

这类似于c++20 offers with std::span。

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

Return 条件`range_expression`

Return conditional `range_expression`

c++

constexpr

c++11

c++14

std-span