如何解决 std::function 没有运算符 == 的事实？

Question

问题：如果不是因为它无法编译，以下代码将非常具有表达力和简洁性，即使不一定很快。

它无法编译，因为您无法将 std::function 实例与 operator==() 进行比较。而 std::find() 试图做到这一点。

当然，我可以采用完全不同的实现方式，但我固执己见，喜欢下面的代码，我正在寻找“尽可能接近”的东西。

谁能给我一个漂亮的重写下面的代码来做同样的事情？

#include <functional>
#include <vector>

typedef std::function<bool(int)> Tester_t;
typedef std::vector<Tester_t> TesterSet_t;

bool Test(TesterSet_t &candidates, int foo)
{
    TesterSet_t dropouts;
    for( auto& tester : candidates )
    {
        if(!tester(foo))    
        {
            droputs.push_back(tester);
        }
    }

    while(!dropouts.empty())
    {
        // The following line is not compiling because std::function has no operator==()
        TesterSet_t::iterator culprit = 
            std::find( candidates.begin(), candidates.end(), dropouts.back() );
        candidates.erase(culprit);
        dropouts.pop_back();
    }
    return !candidates.empty();
}

Answer 1

正如其他人所说，您不需要为此比较std::functions。使用标准 C++ 工具，这可以通过两行有效地（具有线性复杂度）实现：

bool Test(TesterSet_t &candidates, int foo)
{
    candidates.erase(std::remove_if(candidates.begin(), candidates.end(),
        [foo](Tester_t& f){ return !f(foo); }), candidates.end());
    return !candidates.empty();
}

Answer 2

这里不需要平等。随手抹去

for (auto it = candidates.begin(); it != candidates.end(); ) {
    if (! (*it)(foo) ) {
        it = candidates.erase(it);
    }
    else {
        ++it;
    }
}
return !candidates.empty();

即使为std::function 定义了operator==，这也将比问题中的版本更快。

Answer 3

如果你不需要删除候选人，你可以写：

bool Test(TesterSet_t &candidates, int foo)
{
    return std::any_of(candidates.begin(), candidates.end(), [&foo](Tester_t &tester) {
        return tester(foo);
    });
}

更新

好的，你需要删除候选人

bool Test(TesterSet_t &candidates, int foo)
{
    candidates.erase(
        std::remove_if(candidates.begin(), candidates.end(), [&foo](Tester_t &tester) {
            return !tester(foo);
        }),
        candidates.end()
    );
    return !candidates.empty();
}

Answer 4

简单的答案是不在这种情况下使用std::function<...>，而是使用类似std::function<...> 的东西，它确实定义了一个相等运算符。为function<...> 定义相等运算符的方法是在构造时检测实际函数对象是否实际上包含相等运算符，如果是，则使对象具有可比性。否则，您要么会产生错误，要么会认为拥有此特定函数对象类型的对象无法比较。

然而，直接的观察是，大多数函数对象是不可比较的！例如，lambda 函数是不可比较的，std::bind() 和 std::mem_fn() 也不会产生可比较的函数对象。同样，std::bind() 和 std::mem_fn() 可以有自定义实现。没有办法让 lambda 函数具有可比性除非有一个空捕获，在这种情况下它们可以变成函数指针并可以进行比较。

平等感知函数对象的实现有点太长，无法快速输入响应。但是，您可以在github 上查看我的实现，以了解可比较的bind() 和mem_fn()。有关std::function<...> 的相等可比版本的实现，请参见this answer。如果 lambda 函数具有相同的签名并且所有捕获的值都是相等可比的，那么可能希望它们也具有可比性。

说了这么多，如果你能避免这种需要，最好避免它。但是，我遇到了一些用例，尽管有限制，可比较的 std::function<...> 还是相当方便的（即，并非所有函数对象都将被覆盖）。