operator| 不能直接重载为自由函数模板，因C++标准禁止对内置类型（如std::ranges::view）和自定义类型的组合做非成员模板重载，导致ADL失败；解决方法是将右操作数设为自定义类型并在其命名空间中提供非模板或约束的非成员operator|。
为什么 operator| 不能直接重载为自由函数模板？
因为 C++ 标准禁止对两个内置类型（比如 std::ranges::view 和自定义类型）的 operator| 做非成员模板重载——这会违反 ADL（Argument-Dependent Lookup）规则，编译器找不到你写的重载。常见错误是写成：
template<std::ranges::input_range R> auto operator|(R&& r, MyFilter f); // ❌ 不会被调用，ADL 失败
根本原因是：当左操作数是标准库 view（如 std::views::filter）时，其关联命名空间只有 std，而你的 MyFilter 在自定义命名空间里，std 里没定义这个 operator|，编译器就直接放弃查找。
解决路径只有一条：让左操作数或右操作数「带进你的命名空间」。
怎么让自定义过滤器参与管道链？必须定义 view 类型并重载 operator| 为成员函数
标准做法是把过滤逻辑封装成一个符合 std::ranges::view 概念的类，并在该类所在命名空间中提供非成员 operator|，且**右操作数必须是你自己定义的类型**（触发 ADL）。关键点：
立即学习“C++免费学习笔记（深入）”；
-
MyFilter必须是可调用对象（比如struct+operator()），且最好支持constexpr构造 - 定义
MyView：继承std::ranges::view_interface<MyView>，内部持有原始 range 和谓词 -
operator|必须是非成员、非模板（或约束为仅接受你的 view/谓词）、且声明在MyFilter或MyView所在命名空间内
示例骨架：
namespace mylib {
struct even_filter_t {
template<class T>
constexpr bool operator()(const T& x) const { return x % 2 == 0; }
};
inline constexpr even_filter_t even_filter{};
template<std::ranges::input_range R>
class even_view : public std::ranges::view_interface<even_view<R>> {
R base_;
public:
even_view(R&& r) : base_(std::move(r)) {}
// ... 实现 begin()/end()，用 std::views::filter(base_, even_filter) 或手写迭代器
};
template<std::ranges::input_range R>
even_view<R> operator|(R&& r, even_filter_t) {
return even_view<R>{std::move(r)};
}
}
这样 v | mylib::even_filter 就能走通：左操作数 v 是任意 range，右操作数是 mylib::even_filter_t，ADL 在 mylib 中找到 operator|。
如何支持多级管道，比如 v | f1 | f2 | f3？
每级 operator| 返回的必须是另一个 view 类型（满足 std::ranges::view），否则下一级 | 无法继续。也就是说：even_view 本身也要能作为左操作数被后续 operator| 接受。
所以你要为 even_view 也提供对应的重载：
template<std::ranges::input_range R>
template<class Pred>
auto even_view<R>::operator|(Pred&& pred) const
requires std::is_invocable_v<Pred&&, std::ranges::range_value_t<R>>
{
return std::views::filter(*this, std::forward<Pred>(pred));
}
但更稳妥的做法是：所有自定义 view 都统一返回 std::views::filter 或 std::ranges::filter_view 等标准 view，避免自己实现迭代器。例如：
template<std::ranges::input_range R>
auto operator|(R&& r, even_filter_t) {
return std::views::filter(std::move(r), [](auto&& x) { return x % 2 == 0; });
}
这样天然支持链式：返回的是标准 filter_view，它已经重载了面向其他谓词的 operator|（通过 std::views 命名空间中的 ADL 友元声明）。
容易忽略的细节：移动语义、SFINAE 和 C++20 概念约束
不处理移动，管道中临时 view 会意外拷贝；不加约束，错误用法（比如对 int 用 |）会给出极长、无意义的模板错误。
- 所有
operator|重载都应接受右值引用参数（R&&）并用std::move转发，避免复制底层 range - 用
requires std::ranges::input_range<R>显式约束，比 SFINAE 更清晰；C++23 还可配合std::ranges::viewable_range - 如果过滤器需要捕获状态（比如闭包），确保它是可复制/可移动的；lambda 默认不可复制，要用
mutable或显式定义结构体
最简可用组合就是：一个 constexpr 谓词对象 + 一个约束良好的非成员 operator|，返回标准 std::views::filter。复杂 view 实现极少必要，除非你要做缓存、预计算或定制迭代策略。
