如何在调用std::ranges::minmax_element前过滤vector并避免std::ranges::dangling？

问题重现 #

以下代码尝试对std::vector<S>过滤后，调用std::ranges::minmax_element获取符合条件元素的最大迭代器，但编译时出现std::ranges::dangling相关错误：

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>

struct S {
    int n=0;
};

int main() {
    std::vector<S> v= { {1}, {2}, {3}, {4}, {5}, {6}, {7} };
    
    const int excluder = 7;

    auto it_max = std::ranges::minmax_element( 
        v | std::views::filter([=](const auto& s) { return s.n != excluder ; }),
        std::less<int>(), &S::n
    ).max;

    std::cout << it_max->n;
}

编译错误：

:20:24: error: member reference type 'std::ranges::dangling' is not a pointer; did you mean to use '.'? 20 | std::cout << it_max->n; | ~~~~~~^~ | . :20:26: error: no member named 'n' in 'std::ranges::dangling' 20 | std::cout << it_max->n; | ~~~~~~ ^

为什么会出现std::ranges::dangling？ #

std::ranges::dangling是C++20引入的标记类型，用于表示迭代器可能悬垂的情况：

• 当你向std::ranges::minmax_element传递一个临时range对象（比如代码中v | std::views::filter(...)生成的临时视图），且该range不属于borrowed_range范畴时，标准库无法保证返回的迭代器在临时对象销毁后仍然有效。
• 为了避免悬垂迭代器导致的未定义行为，算法会返回std::ranges::dangling而非实际迭代器，此时尝试访问dangling的成员自然会编译失败。

这里的临时filter视图虽然迭代器指向原vector，但标准库默认不会假设临时视图的迭代器一定安全，因此触发了dangling返回值。

解决方法 #

方法1：将过滤视图存储为具名变量 #

把临时视图转为具名变量，确保视图的生命周期与后续使用的迭代器一致，此时算法会返回有效迭代器：

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>

struct S {
    int n=0;
};

int main() {
    std::vector<S> v= { {1}, {2}, {3}, {4}, {5}, {6}, {7} };
    
    const int excluder = 7;

    // 存储过滤视图为具名变量
    auto filtered_view = v | std::views::filter([=](const auto& s) { return s.n != excluder ; });
    // 使用结构化绑定获取最小/最大迭代器
    auto [it_min, it_max] = std::ranges::minmax_element(filtered_view, std::less<int>(), &S::n);

    std::cout << it_max->n; // 输出6
}

方法2：用std::ranges::ref_view包装原容器 #

通过std::ranges::ref_view将原容器包装为borrowed_range，明确告诉标准库迭代器指向的是外部存活的容器，此时传递临时视图也会返回有效迭代器：

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>

struct S {
    int n=0;
};

int main() {
    std::vector<S> v= { {1}, {2}, {3}, {4}, {5}, {6}, {7} };
    
    const int excluder = 7;

    auto it_max = std::ranges::minmax_element( 
        // 用ref_view包装原容器，标记为borrowed_range
        std::ranges::ref_view(v) | std::views::filter([=](const auto& s) { return s.n != excluder ; }),
        std::less<int>(), &S::n
    ).max;

    std::cout << it_max->n; // 输出6
}

内容的提问来源于stack exchange，提问作者Damir Tenishev