decltype in Klassenmethode Erklärung: Fehler, wenn vor "referenziert" Element verwendet wird erklärt

Question

das Betrachten following code:

struct test {  
    auto func() -> decltype(data) {} // ERROR 

    int data; 
}; 

int main() { 
    test t; 
    t.func(); 
} 

Es gibt den folgenden Fehler:

main.cpp:2:29: error: 'data' was not declared in this scope 
    auto func() -> decltype(data) {} 

Wenn ich jedoch data oben platzieren func(), gibt es keinen Fehler aus (live code):

struct test {  
    int data; 

    auto func() -> decltype(data) {} 
}; 

... 

Und so ist meine Frage, warum ist decltype Mitglieder nicht nach ihm deklariert (wenn decltype in einer Methodendeklaration verwendet wird, nicht in der Definition)? Ich möchte auch wissen, ob sich dieses Verhalten in zukünftigen Iterationen des Sprachstandards ändert.

---

^{Bitte beachten Sie, dass ich dies frage, weil ich decltype erwartete sich anders zu verhalten. Meine Codierungskonvention besteht darin, Klassendatenelemente unterhalb der Klassenfunktionen zu platzieren. Sicher würde dieses unterschiedliche Verhalten beeinflussen, wie ich meine Klassenmitglieder organisiere. Ich wäre sehr dankbar, wenn Sie mir einen Workaround zur Verfügung stellen könnten, der meine Codierungskonventionen beibehalten würde.}

Answer 1

Die hintere Rückgabetyp ist ein Teil der Elementfunktion Erklärung, die nicht Mitglieder oder Mitgliederfunktionen Zugriff auf den Daten, nachdem er erklärt hat, im Gegensatz zu der Mitgliedsfunktion Definition, der Fall ist. Mir ist keine Änderung dieses Verhaltens in C++ 14 bekannt.

Siehe 3.4.1-7 des C++ 11-Standard, Unqualifizierte Namen Nachschau:

A name used in the definition of a class X outside of a member function body or nested class definition shall be declared in one of the following ways:

• before its use in class X or be a member of a base class of X (10.2), or...

(Hervorhebung von mir)