Czy [] <typename>() {} ma poprawną definicję lambda?

Question

Eksperymentowałem z lambdami i kompilatorami z powodu another question tutaj na SO.
Właśnie sobie sprawę (i to jest rzeczywiście całkowicie normalne), że następujący kod jest ważny:

int main() { 
    auto l = [](){}; 
    l.operator()(); 
} 

Faktycznie średnia mówi, że rodzaju zamknięcie ma wbudowany publiczny operator wywołania funkcji i tak dalej, a tym samym ma sens, aby móc go przywołać.

Nie mogę wyjaśnić, patrząc na standardzie (dobrze, projekt roboczy) jest fakt, że GCC (6,1) kompiluje się następujący fragment (dzyń 3.9 nie robi):

int main() { 
    auto l = []<typename>(){}; 
    l.operator()<void>(); 
} 

żadne ostrzeżenia , bez błędów. Czy jest to poprawny kod, czy powinien zostać odrzucony przez kompilator?

Answer 1

W N4140 5.1.2 [expr.prim.lambda] wyrażenie N określa się jako

lambda wprowadzający lambda declarator _opcjonalnie związek instrukcja_select

gdzie "Wprowadzający lambdę" jest [], obejmujący opcjonalny "przechwytywanie lambda" i "deklarator lambda _opt " to rzeczy zaczynające się od " (parametr-deklaracja-klauzula) ".

[]<typename>(){} 

nie spełnia tego wymogu, ponieważ nie jest czymś pomiędzy wprowadzającego lambda i declarator lambda, więc nie jest to poprawne wyrażenie lambda.

Twój przykładowy kod jest nieprawidłowy w C++ i powinien zostać odrzucony przez kompilator.

---

Jak to również oznaczone gcc, kliknąłem przez liście GNU C++ extensions. Nie znalazłem żadnego rozszerzenia, które spowodowałoby, że składnia ta byłaby legalna w GNU C++.

Jednak zgodnie z Sekcją 4 dokumentu nr this proposal (P0428R0), który proponuje dodanie szablonów lambda do C++, gcc uzyskał eksperymentalną implementację wspomnianego dokumentu w 2009 roku. To prawdopodobnie wyjaśnia, dlaczego gcc nie narzeka tutaj.

Answer 2

Wydaje się być rozszerzeniem GCC (szablony lambdas).

#include <iostream> 

int main() { 
    auto l = []<typename T>(T const& x){ std::cout << __PRETTY_FUNCTION__ << " " << x << std::endl;}; 
    l(42); 
    l("Hello world"); 
} 

skutkuje

main()::<lambda(const T&)> [with T = int] 42 
main()::<lambda(const T&)> [with T = char [12]] Hello world