将 std::bind 的结果传递给 std::function “重载”

我有类似的问题在 C++ 中将不同的 lambda 传递给函数模板 https://stackoverflow.com/questions/40523248/passing-different-lambdas-to-function-template-in-c但现在有了由创建的包装器std::bind而不是 lambda。

我有两个方法重载Add采取不同形式的std::function:

template<typename T>
struct Value
{
    T value;
};

template <typename T>
void Add(Value<T> &value, function<bool()> predicate)
{
}

template <typename T>
void Add(Value<T> &value, block_deduction<function<bool(const Value<T> &)>> predicate)
{
}

现在，这对于 lambda 可以正常工作，但对于与 绑定的函子则失败std::bind:

struct Predicates
{
    bool Predicate0() { return true; }
    bool Predicate1(const Value<int> &) { return true; }
};

Predicates p;
Add(i, std::bind(&Predicates::Predicate0, &p));

失败了

错误 C2668：“添加”：对重载函数的不明确调用

and

Add(i, std::bind(&Predicates::Predicate1, &p, _1));

静态断言失败（Visual C++ 2015，更新 3）：

元组索引越界

有没有办法让它同时适用于 lambda 和绑定函子？我会考虑使用 SFINAE 来启用基于is_bindable_expression并检查参数类型，但我无法将其放在一起。

停止使用std::bind。这是一堆随机的特征和怪癖。

今天的怪事是std::bind将接受无限数量的参数并丢弃任何额外的参数。明天你可能会遇到这样一个事实：std::bind结果到std::bind会施展奇怪的魔法。

std::bind被移植到boost同时 lambda 也被添加到该语言中。 Lambda 几乎解决了所有问题bind语法同样清晰，并且没有无数的怪癖bind确实如此，尤其是在 C++14 之后autolambda 可用。 （大多数 C++11 编译器也支持auto拉姆达）。

您可以编写函数，以便在它们同时适用时，其中一个或另一个成为首选重载。但这样做会给你的界面增加一堆噪音，在这种情况下，你想要这种偏好的唯一原因是因为std::bind正在做一些愚蠢的事情。

围绕设计不佳的一点进行工程std图书馆不值得。只需停止使用设计不佳的部分即可std库，或在使用时显式转换。

如果失败，请执行以下操作：

template <class T, class F,
  std::enable_if_t<
    std::is_convertible<
      std::result_of_t<std::decay_t<F> const&(Value<T> const&)>,
      bool
    >{}, int
  > = 0
>
void Add(Value<T> &value, F&& f)
{
  // do pass f Value<T>
}
template <class T, class F,
  std::enable_if_t<
    !std::is_convertible<
      std::result_of_t<std::decay_t<F> const&(Value<T> const&)>,
      bool
    >{}
    && std::is_convertible<
      std::result_of_t<std::decay_t<F> const&()>,
      bool
    >{}, int
  > = 0
>
void Add(Value<T> &value, F&& f)
{
  // do not pass f Value<T>
}

我们对您想要使用的两个重载中的哪一个进行了一些令人讨厌的 SFINAE 检测，并且明确更喜欢其中一个。

这是不值得的。