Der "Vorlagenargumentabzug für Klassenvorlagen" Vorschlag (P0091R2 ) enthält das folgende Beispiel:
%Vor%(Abgesehen von der Tatsache, dass in der Konstruktordefinition ein Body fehlt) scheint das Beispiel darauf hinzudeuten, dass eine variadische Klassenvorlage mit Null-Argument abgeleitet wird ein leeres Parameterpaket.
Leider stimmt die neueste Version von g ++ nicht überein:
%Vor%%Vor%
Ich konnte im Vorschlag, der diese Interaktion verdeutlicht, keine ausdrückliche Formulierung finden. Ist g ++ hier falsch?
Wenn ein Platzhalter für einen abgeleiteten Klassentyp als a angezeigt wird decl-specifier in decl-specifier-seq einer einfachen Deklaration , dem Init-Deklarator davon Die Erklärung hat die Form
deklarator-id attributspezifizierer-seq opt initialisierer
Der Initialisierer ist nicht optional.
Tags und Links c++ templates language-lawyer c++17 template-deduction