decltype abgezogen Ergebnis der in-Klasse definierte Funktion

Question

Warum

struct MyStruct { 
    auto foo() { return 1; } 
    auto bar() { return foo(); } 
}; 

Kompilierung, aber wenn, wie so einen Hinterrückgabetyp mit:

struct MyStruct { 
    auto foo() { return 1; } 
    auto bar() -> decltype(foo()) { return foo(); } 
}; 

Kompilation nicht mit

error: function 'foo' with deduced return type cannot be used before it is defined

Ist das korrektes Verhalten bei den Implementierungen?

Answer 1

Im ersten Schnipsel können wir den (effektiven) Rückgabetyp ableiten, weil die Definition in diesem lexikalischen Punkt — vorgesehen ist, und umgekehrt nicht, wenn the definitions are lexically swapped, die mit [dcl.spec.auto]/10 unisono ist arbeiten, da wir zyklischen Abzug nicht zulassen müssen .

das zweite Schnipsel, siehe core issue 945, die core issue 643 und beschäftigt sich mit this werden in Hinterrückgabetypen effektiv wieder geöffnet verwendet, in denen der Klassentyp noch nicht abgeschlossen ist. AFAICS, der aktuelle Wortlaut erlaubt es in der gleichen Weise wie im ersten Fall (wieder in der richtigen Reihenfolge der Definitionen), aber behalten Sie die offene Frage 1890 vor Augen; Anbieter verzögern die Implementierung von fragwürdigem Zeug bis bestätigt.