boost::hana::always 除了“总是返回它的第一个参数”之外还有什么作用？

如何解决boost::hana::always 除了“总是返回它的第一个参数”之外还有什么作用？

在doc page of boost::hana::always我读到了

always(x) 是一个函数，使得

always(x)(y...) == x

对于任何y...。

这让我觉得它的行为应该与这个 lambda 没有任何不同：[](auto const&...){ return false; }。

但是确实如此。例如，以下代码打印 11，但如果我将第三个 lambda 更改为 hana::always(false)，则它打印 00，表明 always 正在吞下任何参数。>

#include <boost/hana/functional/always.hpp>
#include <boost/hana/functional/overload.hpp>
#include <iostream>

auto fun = boost::hana::overload(
        [](int){ return true; },[](double){ return true; },[](auto const&...){ return false; }
        );

int main() {
    std::cout << fun(1) << fun(1.0) << std::endl;
}

• 这是预期的吗？
• 如果是，为什么？
• 无论是否预期，是什么导致了这种行为？

---

顺便说一下，我刚刚发现了 boost::hana::overload_linearly，在这种情况下，它不能替代 boost::hana::overload（因为 always 不会得到所有调用，它将是 [](int){ return true; } 贪婪），但很高兴知道它。

解决方法

实际上，always 有不同的重载（因为它将引用作为返回值处理）。

所以，简化版：

template <typename T>
struct my_always
{
     T res;

     template <typename ...&& Ts>
     T& operator ()(Ts&&...) /* mutable */ { return false; } // #1

     template <typename ...&& Ts>
     const T& operator ()(Ts&&...) const { return false; } // #2
};

然后

auto fun = boost::hana::overload(
        my_always<bool>{ false; },// #1 & #2
        [](int){ return true; }    // #3
        );

std::cout << fun(1);

可能的重载是：

• bool& my_always<bool>::operator ()(int&&) #1
• const bool& my_always<bool>::operator ()(int&&) const #2
• bool lambda::operator() (int) const #3

这里的所有都是 viable，但 #1 是 best match（因为 fun 不是 const（并且 int 并不比int&&)).

使用 const fun，#3 将是最佳匹配（#1 不可行，#2 和 #3 之间的决胜局是模板状态）。