Question

我想从一个代表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)作为输入，我会得到一个静态断言，表明我不能使用右值参考作为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已被释放。我能解决这个问题的唯一方法是让values成为std::shared_ptr并将其捕获到传递给view::transform的lambda中以保留它的生命周期。这似乎是一个不优雅的解决方案。

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

或者，我可以使用一个老式的for-loop创建分布式版本，但这似乎不适用于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一起使用，我也认为范围和循环的混合比喻也是不优雅的。

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

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

如何使用range-v3获取集合的所有权？

编辑：一些其他信息

1 个答案: