lambda 返回布尔值

Question

我想找到 Y 坐标较小的点（如果这样的点更多，找到 X 最小的点）。 使用 lambda 编写时：

    std::min_element(begin, end, [](PointAndAngle& p1, PointAndAngle& p2) {
        if (p1.first->y() < p2.first->y())
            return true;
        else if (p1.first->y() > p2.first->y())
            return false;
        else 
            return p1.first->x() < p2.first->x();
    }

我得到：

error C3499: a lambda that has been specified to have a void return type cannot return a value

有什么区别：

    // works
    std::min_element(begin, end, [](PointAndAngle& p1, PointAndAngle& p2) {
        return p1.first->y() < p2.first->y();
    }

和

    // does not work
    std::min_element(begin, end, [](PointAndAngle& p1, PointAndAngle& p2) {
        if (p1.first->y() < p2.first->y())
            return true;
        else 
            return false;
    }

Answer 1

正如 Mike 所指出的，如果 lambda 的主体是单个 return 语句，则从该语句推断返回类型（参见 5.1.2/4）（感谢 Mike）。

std::min_element(begin, end, [] (const PointAndAngle & p1, const PointAndAngle & p2)
  -> bool 
 {
    if (p1.first->y() < p2.first->y())
         return true;
    else 
        return false;
}

注意-> bool。

Answer 2

可以隐式推断 lambda 的返回类型，但您需要有一个 return 语句来实现这一点；这就是你的“工作” lambda 工作的原因（返回类型推断为 bool）。

sehe 的解决方案明确声明了返回类型，因此它也可以正常工作。

更新：

C++11 标准，§5.1.2/4 规定：

如果 lambda 表达式不包含 trailing-return-type，它是 好像尾随返回类型表示以下类型：

• 如果复合语句的形式为 { return expression ; } 后面的返回表达式的类型 左值到右值的转换（4.1），数组到指针的转换 (4.2)，以及函数到指针的转换(4.3)；

• 否则，void。

您不工作的 lambda 属于第二类。