c++ - 如果返回类型从 auto 更改为 bool，Lambda 函数将抛出错误

Question

我在 C++ 中练习 lambda 函数，下面的代码工作正常

void insertionSort(int* a, int size, bool reverse=false) {
    auto comp = [](int a, int b, bool reverse) {
        return reverse ? a > b : b < a;
    };
    
    for (int i = 0; i < size; i++) {
        int current = a[i];
        cout << current <<endl;
        int j = i-1;
        while (j >= 0 && comp(current, a[j], reverse)) {
           a[j+1] = a[j]; //shift right
           j--;
        }
        a[j+1] = current;
    }
    show(a, size); //another function which prints all elements of a
}

但如果我改变

    auto comp = [](int a, int b, bool reverse) {

与

    bool comp = [](int a, int b, bool reverse) {

GCC 编译器在编译时抛出以下错误 错误:'comp' 不能用作函数 29 | while (j >= 0 && comp(current, a[j], reverse)) {

这是预期的吗？什么是一般规则？我应该始终将返回类型指定为 auto 吗？

Answer 1

在第一个代码片段中，comp 的类型是 lambda 的类型，它是一个独特的未命名类类型，(这就是我们使用 auto 的原因，我们不能明确指定类型)。请注意，它不是 lambda 的返回类型(即 bool)。

如果你想明确指定 lambda 的返回类型，你可以

auto comp = [](int a, int b, bool reverse) -> bool {
//                                         ^^^^^^^

顺便说一句:非捕获 lambda 可以转换为函数指针，然后隐式转换为 bool。因此，如果您将 comp 的类型更改为 bool，则其值始终为 true。正如错误消息所说，您不能将它用作仿函数。