11

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

二进制条件的伪代码：

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

这个“示例”显示了我使用基于范围的 for 循环的意图，但由于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]

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

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

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

4

1 回答 1

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

演示

这类似于提供的std::span.

Anstd::initilizer_list<T>包装了一个本地数组，由大括号封闭的初始化程序自动构造，因此不能用作返回类型，因为在这种情况下，它存储的指针在函数退出时无效。

于 2019-08-29T14:15:57.483 回答