带有 std::function 参数的函数不接受 lambda 函数

Question

我正在尝试通过在我自己的双向链表集合上实现 std::iterator 并尝试创建自己的 sort 函数来对其进行排序，从而更加熟悉 C++11 标准。

我希望sort 函数通过使sort 接受std::function 来接受lamba 作为排序方式，但它无法编译（我不知道如何实现move_iterator，因此返回集合的副本而不是修改传递的集合）。

template <typename _Ty, typename _By>
LinkedList<_Ty> sort(const LinkedList<_Ty>& source, std::function<bool(_By, _By)> pred)
{
    LinkedList<_Ty> tmp;
    while (tmp.size() != source.size())
    {
        _Ty suitable;
        for (auto& i : source) {
            if (pred(suitable, i) == true) {
                suitable = i;
            }
        }
        tmp.push_back(suitable);
    }
    return tmp;
}

我对函数的定义有错吗？如果我尝试调用该函数，则会收到编译错误。

LinkedList<std::string> strings{
    "one",
    "two",
    "long string",
    "the longest of them all"
};

auto sortedByLength = sort(strings, [](const std::string& a, const std::string& b){
    return a.length() < b.length();
});

错误：没有函数模板“sort”的实例与参数匹配 列表参数类型为：(LinkedList, lambda []bool (const std::string &a, const std::string &)->bool)

补充资料，编译也报如下错误：

错误 1 错误 C2784: 'LinkedList<_ty> sort(const LinkedList<_ty> &,std::function)' : 不能 推导出 'std::function<bool(_By,_By)>' 的模板参数

---

更新：我知道排序算法不正确并且不会做想要的事情，我无意让它保持原样，并且一旦声明正确，修复它也没有问题.

Answer 1

问题是像这样在std::function 内部使用的_By 不能从lambda 闭包中推断出来。您需要传入一个实际的 std::function 对象，而不是 lambda。请记住，lambda 表达式的类型是未命名的类类型（称为闭包类型），不是std::function。

你做的有点像这样：

template <class T>
void foo(std::unique_ptr<T> p);

foo(nullptr);

在这里，也无法从参数中推断出T。

标准库通常如何解决这个问题：它不会以任何方式将自己限制为std::function，而只是将谓词的类型作为其模板参数：

template <typename _Ty, typename _Pred>
LinkedList<_Ty> sort(const LinkedList<_Ty>& source, _Pred pred)

这样就可以推断出闭包类型，一切正常。

请注意，您根本不需要 std::function — 只有当您需要存储一个仿函数或通过运行时接口传递它时才需要它（不是像模板那样的编译时）。

---

旁注：您的代码使用的是为编译器和标准库保留的标识符（标识符以下划线开头，后跟大写字母）。这在 C++ 中是不合法的，您应该避免在代码中使用此类保留标识符。