Verwendet 'declltype' in der Deklaration des Zeigers zum Mitglied gültig?

Question

Stellen aus irgendeinem seltsamen Grund, warum ich dies schreibe:

int main() 
{ 
    struct S 
    {   
     int i; 
    } var; 


    int decltype(var)::* pint = &decltype(var)::i; 
} 

GCC scheint es gut zu kompilieren, obwohl Clang mit unbestimmter Syntax bezogene Fehlermeldung fehlschlägt.

Was sagt das heilige ISO-Papier dazu - ist das gültig oder nicht?

Answer 1

Dies ist eigentlich eine known bug in Clang.

Der Code ist gültig.

N4140 [dcl.mptr]/1:

In einer Erklärung T D wo D das Formular

verschachtelten-name-specifier*Attribut-specifier-Seq _opt cv hat -qualifier-seq _optD1

und der nested-name-Spezifizierer eine Klasse bezeichnet, und den Typ des Bezeichners in der Erklärung T D1 ist „abgeleitete-declarator-Typ-Liste T“, dann ist der Typ des Bezeichners der D ist „abgeleiteten -declarator-type-list cv-qualifier-seq Zeiger auf Mitglied der Klasse nested-name-specifier vom Typ T ". Der optionale Attribut-Spezifizierer-seq (7.6.1) gehört zu der Zeiger-zu-Mitglied.

In dieser Definition, die wir in verschachtelten-name-specifier interessiert sind, und es wird definiert, bei [expr.prim.general]/8 als (Hervorhebung von mir):

verschachtelten-name -specifier:

:: Typname ::
Namespace-Namen ::
decltype-specifier ::
verschachtelten-name-specifier Bezeichner ::
verschachtelten-name-specifier template _opt einfach-template-ID ::