Attribute specifier sequence (since C++11)

Führt implementierungsdefinierte Attribute für Typen, Objekte, Code usw. ein.

Syntax

wobei attribute-list eine durch Kommas getrennte Folge von null oder mehr attribute s ist (möglicherweise endend mit einer Auslassung ... , die eine pack expansion anzeigt)

wobei attribute-namespace ein identifier ist und argument-list eine Folge von Tokens ist, bei der Klammern, eckige Klammern und geschweifte Klammern ausgeglichen sind ( balanced-token-seq ).

[[using CC: opt(1), debug]] // same as [[CC::opt(1), CC::debug]]
[[using CC: CC::opt(1)]] // error: cannot combine using and scoped attribute

Erklärung

Attribute bieten die einheitliche Standardsyntax für implementierungsdefinierte Spracherweiterungen, wie die GNU- und IBM-Spracherweiterungen __attribute__((...)) , Microsoft-Erweiterung __declspec() , usw.

Ein Attribut kann fast überall im C++-Programm verwendet werden und auf fast alles angewendet werden: auf Typen, auf Variablen, auf Funktionen, auf Namen, auf Codeblöcke, auf gesamte Übersetzungseinheiten, obwohl jedes bestimmte Attribut nur dort gültig ist, wo es durch die Implementierung erlaubt ist: [[expect_true]] könnte ein Attribut sein, das nur mit einer if -Anweisung verwendet werden kann, und nicht mit einer Klassendeklaration. [[omp::parallel()]] könnte ein Attribut sein, das auf einen Codeblock oder auf eine for -Schleife angewendet wird, aber nicht auf den Typ int , usw. (beachten Sie, dass diese beiden Attribute fiktive Beispiele sind, siehe unten für Standard- und einige nicht-standard Attribute).

In Deklarationen können Attribute sowohl vor der gesamten Deklaration als auch direkt nach dem Namen der deklarierten Entität erscheinen, in welchem Fall sie kombiniert werden. In den meisten anderen Situationen gelten Attribute für die direkt vorangehende Entität.

Der alignas -Spezifizierer ist Teil der Attribut-Spezifizierer-Sequenz, obwohl er eine andere Syntax besitzt. Er kann dort erscheinen, wo die [[...]] -Attribute erscheinen, und kann mit ihnen gemischt werden (vorausgesetzt, er wird dort verwendet, wo alignas erlaubt ist).

Zwei aufeinanderfolgende linke eckige Klammern ( [[ ) dürfen nur bei der Einführung eines Attribut-Spezifizierers oder innerhalb eines Attributarguments auftreten.

void f()
{
    int y[3];
    y[[] { return 0; }()] = 1;  // Fehler
    int i [[cats::meow([[]])]]; // OK
}

Zusätzlich zu den unten aufgeführten Standardattributen können Implementierungen beliebige nicht-standardisierte Attribute mit implementierungsdefiniertem Verhalten unterstützen. Alle einer Implementierung unbekannten Attribute werden ignoriert, ohne einen Fehler zu verursachen. (seit C++17)

Standardattribute

Die folgenden Attribute sind durch den C++-Standard definiert.

Standardattribute können syntaktisch nicht ignoriert werden: Sie dürfen keine Syntaxfehler enthalten, müssen auf das korrekte Ziel angewendet werden, und Entitäten in den Argumenten müssen ODR-use sein.

Standardattribute können auch nicht semantisch ignoriert werden: Das Verhalten bei Entfernung aller Instanzen eines bestimmten Standardattributes wäre ein konformes Verhalten für das ursprüngliche Programm mit vorhandenem Attribut gewesen.

Hinweise

Das Vorhandensein jedes einzelnen Attributs auf einer bestimmten Plattform kann mit dem __has_cpp_attribute Präprozessor-Makro überprüft werden.

Beispiel

[[gnu::always_inline]] [[gnu::hot]] [[gnu::const]] [[nodiscard]]
inline int f(); // deklariere f mit vier Attributen
[[gnu::always_inline, gnu::const, gnu::hot, nodiscard]]
int f(); // wie oben, verwendet jedoch einen einzelnen Attributspezifizierer mit vier Attributen
// C++17:
[[using gnu : const, always_inline, hot]] [[nodiscard]]
int f[[gnu::always_inline]](); // ein Attribut kann in mehreren Spezifizierern erscheinen
int f() { return 0; }
int main() {}

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch

Externe Links