折叠表达式与任意可调用？

Question

查看折叠上的 C++17 paper（以及 cppreference），我很困惑为什么选择只与运算符一起使用？乍一看，通过在args 的元素之间插入一个+ 标记似乎可以更轻松地扩展(... + args)，但我不相信这是一个很好的决定。

为什么二进制 lambda 表达式不能像上面的后者一样工作并遵循相同的扩展？在不支持任意可调用对象的情况下将折叠语法添加到语言中，这让我感到震惊，那么该语法是否允许以一种我看不到的方式使用它们？

---

更新：这适用于带有 clang 的可变参数 min() 函数

template <typename T>
struct MinWrapper {
    const T& obj;
};

template <typename T, typename U, typename V=std::common_type_t<T,U>>
constexpr MinWrapper<V> operator%(
        const MinWrapper<T>& lhs, const MinWrapper<U>& rhs) {
    return {lhs.obj < rhs.obj ? lhs.obj : rhs.obj};
}


template <typename... Ts>
constexpr auto min(Ts&&... args) {
    return (MinWrapper<Ts>{args} % ...).obj;
}

Answer 1

那是一篇很棒的论文和一个出色的语言特性。如果我们绕过我不是特别喜欢的标准谈话，我想提出一个解决方法。由于我没有 c++17 编译器（或时间机器），我的答案只会是概述，我相信可能是，一种用语言提供 具有任意函数的折叠表达式 的解决方案现状。

1。定义一个类型包装器（一个轻量级的）

template<typename T>
struct wp {
    T const& val; 
    // yes there should be constructors
};

2。将包装转换为包裹包装的机械

template<typename Op, typename Ts...>
using wrapped_pack = make_wrapped<Op, Ts..>

3。重载wp<T> 的内置运算符

template<typename T, typename U>
ret_val operator+(wp<T> const& lhs, wp<U> const& rhs) {...}

4。在折叠表达式中使用包装的包

这需要一个额外的层，将折叠的args 转换为包装参数

---

上面的一个明显缺点是它不能保证唯一性（或可伸缩性）：每个带有自定义可调用对象的折叠都会消耗内置的运算符重载。

应该有一些技巧可以根据遇到的表达式来改变类型，但我不想深入思考实验（例如，已经在包装器类型中使用 Op 的类型提供了更多的扩展空间）。

Answer 2

首先，我很高兴我所写的内容在 clang 中有效（我看到您的更新实现了我提到的 4 个步骤中的 3 个）。我必须感谢 Nick Athanasiou，因为我在写this 之前曾与我讨论过这个技术。

我现在提到这个的原因是因为我被告知他发布了一个实现这些东西的library（在boost库incubator中）；您可以找到相关文档here。这似乎是最初的想法（我们都在这里使用）并允许这样的代码：

(Op<Max>(args) + ...); // Op is a function producing the custom fold type

由于惰性求值和有状态运算符而被排除在外（或尚未包括在内，不能确定）。