gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-11-30 02:19:07 25 4
gpt4 key购买 nike

考虑下面的模板函数 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;
}

最佳答案

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,您将不可避免地遇到编译器错误。

关于c++ - Lamda 仅在声明为 'auto' 时编译,而不是在声明为 'bool' 时编译,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51235135/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com