2

我想从代表 STL 集合视图的函数中返回一个范围，如下所示：

auto createRange() {
    std::unordered_set<int> is = {1, 2, 3, 4, 5, 6};

    return is | view::transform([](auto&& i) {
        return i;
    });
}

但是，view::transform不拥有所有权is，所以当我运行它时，会有未定义的行为，因为在退出is时被释放。createRange

int main(int argc, char* argv[]) {
    auto rng = createRange();
    ranges::for_each(rng, [](auto&& i) {
        std::cout << std::to_string(i) << std::endl;
    });
}

如果我尝试std::move(is)作为输入，我会得到一个静态断言，表明我不能使用右值引用作为 a 的输入view。有什么方法可以确保视图拥有集合的所有权？

编辑：一些附加信息

我想添加一些澄清信息。我有一个数据流，data我有一个将数据转换为结构的视图Foo，看起来像这样：

struct Foo {
    std::string name;
    std::unordered_set<int> values;
}

// Take the input stream and turn it into a range of Foos
auto foos = data | asFoo();

我想要做的是std::pair<std::string, int>通过在整个值中分配名称来创建一个范围。我天真的尝试看起来像这样：

auto result = data | asFoo() | view::transform([](auto&& foo) {
    const auto& name = foo.name;
    const auto& values = foo.values;
    return values | view::transform([name](auto&& value) {
        return std::make_pair(name, value);
    }
}) | view::join;

但是，这会导致未定义的行为，因为values已释放。我能够解决这个问题的唯一方法是制作valuesastd::shared_ptr并在传递给的 lambda 中捕获它view::transform以保持它的生命周期。这似乎是一个不雅的解决方案。

我认为我正在寻找的是一个拥有源集合所有权的视图，但它看起来不像 range-v3 那样。

或者，我可以使用老式的 for 循环创建分布式版本，但这似乎不适用于view::join：

auto result = data | asFoo() | view::transform([](auto&& foo) {
    const auto& name = foo.name;
    const auto& values = foo.values;

    std::vector<std::pair<std::string, std::string>> distributedValues;
    for (const auto& value : values) {
        distributedValues.emplace_back(name, value);
    }

    return distributedValues;
}) | view::join;

即使这确实适用于view::join，我也认为范围和循环的混合隐喻也是不雅的。

4

1 回答 1

1

视图不拥有它们呈现的数据。如果需要保证数据的持久性，那么数据本身就需要保留。

auto createRange() {
    //We're using a pointer to ensure that the contents don't get moved around, which might invalidate the view
    std::unique_ptr<std::unordered_set<int>> is_ptr = std::make_unique<std::unordered_set<int>>({1,2,3,4,5,6});
    auto & is = *is_ptr;
    auto view = is | view::transform([](auto&& i) {return i;});
    return std::make_pair(view, std::move(is_ptr));
}

int main() {
    auto[rng, data_ptr] = createRange();
    ranges::for_each(rng, [](auto&& i) {
        std::cout << std::to_string(i) << std::endl;
    });
}

另一种方法是确保为函数提供了创建视图的数据集：

auto createRange(std::unordered_set<int> & is) {
    return is | view::transform([](auto&& i) {return i;});
}

int main() {
    std::unordered_set<int> is = {1,2,3,4,5,6};
    auto rng = createRange(is);
    ranges::for_each(rng, [](auto&& i) {
        std::cout << std::to_string(i) << std::endl;
    });
}

任何一种解决方案都应该广泛地代表您的项目解决方案需要做什么。

于 2018-05-10T17:40:21.870 回答