Warum sieht declltype die Member-Deklaration nicht?

Question

Der Versuch, diese einfache Klasse zu kompilieren:

#include <vector> 
struct M 
{ 
// interface 
    auto begin() -> decltype(identities.begin()) 
    { 
     return identities.begin(); 
    } 
// implementation 
private: 
    std::vector<int> identities; 
}; 

führt zu einem Fehler:

$ g++-510 where.cpp -std=c++11 
where.cpp:57:35: error: ‘struct M’ has no member named ‘identities’ 
    auto begin() ->decltype(this->identities.begin()) 
           ^
where.cpp:57:35: error: ‘struct M’ has no member named ‘identities’ 

$ clang++ where.cpp -std=c++11 -Wall -pedantic -Wextra 
where.cpp:57:35: error: no member named 'identities' in 'M' 
    auto begin() ->decltype(this->identities.begin()) 
          ~~~~^

Warum decltype sehen nicht die Klasse Mitglied?

Answer 1

Von N3337 [basic.lookup.unqual]/7:

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, or...

Da der hinteren Rückgabetyp Teil ist die Funktion Deklaration eher als die Definition, kann es nicht vorausschauen, um zu sehen, was sonst in der Klasse deklariert ist, also müssen Sie dieses Mitglied über der Funktionsdeklaration deklarieren.

Answer 2

die Deklaration des Elements bewegen, bevor die Funktion wie folgt:

#include <vector> 
struct M 
{ 
    // implementation 
    private: 
     std::vector<int> identities; 
    public:  
    // interface 
    auto begin() -> decltype(identities.begin()) 
    { 
     return identities.begin(); 
    } 


}; 

Answer 3

Wenn C++ 14 verfügbar ist, können Sie den Hinterrückgabetyp weglassen, also außerhalb Funktionskörpern Referenzierung ein Elements zu vermeiden und auch was der Code kompakte:

auto begin() { 
    return identities.begin(); 
} 

Im Allgemeinen ist es richtiger zu verwenden decltype(auto) für eine solche Weiterleitungsmethoden, Rückkehr so ​​Typ kann ein Hinweis sein, obwohl in diesem Fall ist es die gleichen (dank @Nawaz):

decltype(auto) begin() { 
    return identities.begin(); 
}