Infinite Template-Instantiierung

Question

Hier ist meine vereinfachte Testcode:

struct Test { 
    Test() { run(0); } 

    template<class T> 
    static auto run(T&&, bool stop = false) -> void { if (!stop) _run<T>(); } 
    template<class R> 
    static auto _run() -> void { []() { run([]() {}, true); }(); } 
}; 

Wenn ich diesen Code mit GCC und Klirren zusammengestellt, es Kompilierungsfehler gibt:

/media/data/caca3d/src/b0util/test/tst_promise.cpp:30: error: template instantiation depth exceeds maximum of 900 (use -ftemplate-depth= to increase the maximum) 
static auto _run() -> void { []() { run([]() {}, true); }(); } 
             ~~~^~~~~~~~~~~~~~~~ 

Ich kann nicht sehen, warum dieser Code Ursachen unendliche Template Instanziierung.

FYI, wenn ich template<class R> in _run() Funktion entfernen, sind die Fehler verschwunden.

Ich fand diesen Fehler, wenn ich etwas faule Auswertung mit Lambda-Funktion versuche, so kann ich indirekten Aufruf in Lambda nicht entfernen. Wie kann ich dieses Problem beheben?

Answer 1

Schauen wir uns genauer an, was passiert. Die erste Funktion ruft explizit eine Vorlagenversion von _run() auf, ich nehme an, Sie haben keine Fragen zu diesem Teil.

template<class T> 
static auto run(T&&, bool stop = false) -> void { if (!stop) _run<T>(); } 

Die zweite ist interessanter. Es mag scheinen, dass es nur einmal instanziiert wird (da Sie run() nur einmal mit einem Lambda aufrufen), aber jedes Lambda, nach dem Standard, hat seinen eigenen einzigartigen Typ, so dass jedes Mal, wenn _run() instanziiert wird, die Erstellung von eine neue Version von run() (seit T wird von der Argumentart der Funktion abgeleitet), Erstellen einer Endlosschleife.

template<class R> 
static auto _run() -> void { []() { run([]() {}, true); }(); } 

Der einfachste Weg, um dieses Problem in diesem besonderen Beispiel run() nimmt ein std::function ein bestimmten (vielleicht Template-Parameter abhängig) wäre zu lösen, um geben, dass Ihr Lambda entspricht.