c++ - Lamda 仅在声明为 'auto' 时编译，而不是在声明为 'bool' 时编译

Question

考虑下面的模板函数 sort(...)。这是一个围绕 std::sort 的包装函数。目的是在对用户定义类的 vector 进行排序时提供更好的语法。第一个参数是要排序的 vector 。第二个参数是一个函数，指定如何对 vector 进行排序(在哪个公共(public)成员变量或函数上)。

std::sort 需要一个比较函数来对 vector 中的不同项目进行排序。这在我的排序函数中被声明为 lambda。但是，此代码仅在 lambda 声明为“auto”时编译，而不是在声明为 bool 时编译。我觉得这很奇怪。有人可以解释一下吗？

(代码应该按现在的样子编译。要观察问题，请取消注释以“bool”开头的行)。

#include <iostream>
#include <algorithm>
#include <vector>

using namespace std;

// Copy function is needed in sort(...), below
template<typename T>
auto copy(const std::vector<T>& v)
{
    auto r = std::vector<T>();
    r.reserve(v.size());

    for(const auto & e : v) {
        r.push_back(e);
    }

    return std::move(r);
}

template<typename T, typename F>
auto sort(const std::vector<T>& v, const F& f)
{
    auto r = copy(v);

    // ///////////// Consider the following line: /////////////////
    // bool compare = [=](const T& lhs, const T& rhs)               // does not compile, why?
    // auto compare = [=](const T& lhs, const T& rhs) -> bool    // compiles
    auto compare = [=](const T& lhs, const T& rhs)            // compiles
    {
        return f(lhs) < f(rhs);
    };

    std::sort(r.begin(), r.end(), compare);
    return std::move(r);
}

struct Foo {
    int id;
    string message;
};

int main()
{
   auto unordered = vector<Foo>();
   unordered.push_back(Foo{2, "the last element"});
   unordered.push_back(Foo{1, "the first element"});

   // I want to sort the vector by 'id'.
   auto ordered = sort(unordered, [](const auto& e) { return e.id; }); 

   cout << "Ordered vector (by id):" << endl;
   for(const auto& e : ordered) {
        cout << e.id << ", " << e.message << endl;
   }

   return 0;
}

Answer 1

lambda 的类型是实现定义的。因此，如果您要声明一个变量来保存 lambda，它必须始终是 auto 类型。您似乎将 lambda 的返回类型与实际保存 lambda 本身的变量类型混淆了。

// variable type | variable identifier | lambda expression (return type deduced)
   bool            compare             = [=](const T& lhs, const T& rhs)

// variable type | variable identifier | lambda expression              | return type
   auto            compare             = [=](const T& lhs, const T& rhs) -> bool  

// variable type | variable identifier | lambda expression (return type deduced)
   auto            compare             = [=](const T& lhs, const T& rhs) 

上表说明了声明的每个部分所涉及的内容。在你的代码中 compare 是一个 lamda。如果您声明一个 bool 类型的变量，然后尝试为其分配一个 lamda，您将不可避免地遇到编译器错误。