Zwroty lambda

Question

Chcę znaleźć punkt, który ma mniejszą współrzędną Y (jeśli więcej takich punktów, znajdź ten z najmniejszym X). Pisząc ją 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(); 
    } 

Dostaję:

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

jaka jest różnica pomiędzy:

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

i

// 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

Typ powrotu lambdas można domyślnie wywnioskować, ale aby to osiągnąć, musisz mieć jedno oświadczenie return; dlatego twoja "działająca" lambda działa (typem powrotnym jest bool).

Rozwiązanie Sehe jawnie deklaruje typ zwrotu, więc działa również dobrze.

Update:

Standard C++ 11 §5.1.2/4 stanowi:

Jeżeli lambda ekspresji nie zawiera zwrotny typu wleczonego , jest jakby zwrotny typu wleczonego oznacza typu:

• Jeśli związek instrukcja_select jest f orm { return expression ; } typ zwracanego wyrażenia po konwersji l-wartość-r-wartość (4.1), konwersja tablicy-do-wskaźnika (4.2) oraz konwersję funkcji do wskaźnika (4.3);

• inaczej, void.

Twój lambda nie pracujących spadnie do drugiej kategorii.

Answer 2

Jak zauważył Mike, jeśli treść jednostki lambda jest pojedynczą instrukcją zwrotną, to typ powrotu jest wyprowadzany z tego (patrz 5.1.2/4) (dzięki 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; 
} 

Uwaga -> bool.