问题描述
我正在为向量构建一个简单的管道运算符，用户会像这样使用它（伪代码）：
auto x = std::vector{1,2,3} | push_back(10)
| push_back(100)
;
现在我尝试像这样定义管道操作符：
template <typename T>
constexpr inline auto& operator| (std::vector<T>&& vec,std::invocable<std::vector<T>> auto&& func);
但现在 vec 只对 r 值（因为 vec 本身的类型没有推导出）！但我也希望它绑定到 l 值。我该怎么做？
一个丑陋但实用的解决方案是为我的管道操作符创建另一个重载，但使用 std::vector<int>&。然而，这是不可扩展的，（n 个参数的 2 ^ n 个重载！），我相信这就是创建通用引用的原因。
在这种情况下如何使用通用引用？
解决方法
当然，您可以使用转发引用。
template <typename T> inline constexpr bool is_vector = false;
template <typename ...P> inline constexpr bool is_vector<std::vector<P...>> = true;
template <typename T> requires is_vector<std::remove_cvref_t<T>>
constexpr auto &operator|(T &&vec,std::invocable<T> auto &&func);
另外，请记住，操作符通常应该在与其参数之一相同的命名空间中创建，以便 ADL 可以找到它们。但是你不能触摸namespace std...
另外，我不喜欢重载操作符的想法，而没有一个参数是您创建的类。除非您的用户必须通过执行 using namespace ...; 来明确选择加入这些运营商。