"auto" Variable in Lambda in seinem eigenen initializer verwendet

Question

Heute habe ich diesen Code

#include <cstdio> 

auto terminal = [](auto term)   
{          
    return [=] (auto func)    
    {         
     return terminal(func(term)); 
    }; 
}; 

Überraschenderweise GCC accepts it. Clang lehnt es ab, weil es terminal in seinem eigenen Initializer verwendet und deklariert wird.

Ich habe den Fehler erwartet, dass der Klang gab, aber ist es wirklich schlecht geformt? Oder muss der Code akzeptiert werden?

Answer 1

ich denken dies läuft in §7.1.6.4 [dcl.spec.auto]/p11:

Wenn der Typ eines Unternehmens mit einem undeduced Platzhalterart benötigt wird, um die Art von zu bestimmen, ein Ausdruck, das Programm ist schlecht geformt.

Sie müssen die Art der terminal den Typ der man nicht ableiten, den Typ id-Ausdruckterminal in return terminal(func(term)); (herausgegeben, Hut Spitze @ Richard Smith), aber dieser Ausdruck an dem Punkt, um zu bestimmen, von terminal noch.