[gram.dcl] - C++17 → C++20

Files changed (1) hide show

tmp/tmpncnjyz98/{from.md → to.md} +307 -261

tmp/tmpncnjyz98/{from.md → to.md} RENAMED Viewed

@@ -13,22 +13,25 @@ declaration:
     function-definition
     template-declaration
     deduction-guide
     explicit-instantiation
     explicit-specialization
     linkage-specification
     namespace-definition
     empty-declaration
     attribute-declaration
 ```
 ``` bnf
 block-declaration:
     simple-declaration
-    asm-definition
     namespace-alias-definition
     using-declaration
     using-directive
     static_assert-declaration
     alias-declaration
     opaque-enum-declaration
 ```
@@ -38,11 +41,11 @@ nodeclspec-function-declaration:
     attribute-specifier-seqₒₚₜ declarator ';'
 ```
 ``` bnf
 alias-declaration:
- 'using' identifier attribute-specifier-seqₒₚₜ '=' defining-type-id ';'
 ```
 ``` bnf
 simple-declaration:
     decl-specifier-seq init-declarator-listₒₚₜ ';'
@@ -63,39 +66,48 @@ attribute-declaration:
 ``` bnf
 decl-specifier:
     storage-class-specifier
     defining-type-specifier
     function-specifier
- 'friend'
- 'typedef'
- 'constexpr'
- 'inline'
 ```
 ``` bnf
 decl-specifier-seq:
     decl-specifier attribute-specifier-seqₒₚₜ
     decl-specifier decl-specifier-seq
 ```
 ``` bnf
 storage-class-specifier:
- 'static'
- 'thread_local'
- 'extern'
- 'mutable'
 ```
 ``` bnf
 function-specifier:
- 'virtual'
- 'explicit'
 ```
 ``` bnf
 typedef-name:
     identifier
 ```
 ``` bnf
 type-specifier:
   simple-type-specifier
@@ -124,260 +136,59 @@ defining-type-specifier-seq:
 ```
 ``` bnf
 simple-type-specifier:
     nested-name-specifierₒₚₜ type-name
-    nested-name-specifier 'template' simple-template-id
-    nested-name-specifierₒₚₜ template-name
-    'char'
-    'char16_t'
-    'char32_t'
-    'wchar_t'
-    'bool'
-    'short'
-    'int'
-    'long'
-    'signed'
-    'unsigned'
-    'float'
-    'double'
-    'void'
-    'auto'
     decltype-specifier
 ```
 ``` bnf
 type-name:
     class-name
     enum-name
     typedef-name
-    simple-template-id
-```
-``` bnf
-decltype-specifier:
-  'decltype' '(' expression ')'
-  'decltype' '(' 'auto' ')'
 ```
 ``` bnf
 elaborated-type-specifier:
     class-key attribute-specifier-seqₒₚₜ nested-name-specifierₒₚₜ identifier
     class-key simple-template-id
-    class-key nested-name-specifier 'template'ₒₚₜ simple-template-id
- 'enum' nested-name-specifierₒₚₜ identifier
 ```
 ``` bnf
-enum-name:
-    identifier
 ```
 ``` bnf
-enum-specifier:
-    enum-head '{' enumerator-listₒₚₜ '}'
-    enum-head '{' enumerator-list ', }'
 ```
 ``` bnf
-enum-head:
-    enum-key attribute-specifier-seqₒₚₜ enum-head-nameₒₚₜ enum-baseₒₚₜ
-```
-``` bnf
-enum-head-name:
-    nested-name-specifierₒₚₜ identifier
-```
-``` bnf
-opaque-enum-declaration:
-    enum-key attribute-specifier-seqₒₚₜ nested-name-specifierₒₚₜ identifier enum-baseₒₚₜ ';'
-```
-``` bnf
-enum-key:
-    'enum'
-    'enum class'
-    'enum struct'
-```
-``` bnf
-enum-base:
-    ':' type-specifier-seq
-```
-``` bnf
-enumerator-list:
-    enumerator-definition
-    enumerator-list ',' enumerator-definition
-```
-``` bnf
-enumerator-definition:
-    enumerator
-    enumerator '=' constant-expression
-```
-``` bnf
-enumerator:
-    identifier attribute-specifier-seqₒₚₜ
-```
-``` bnf
-namespace-name:
-        identifier
-        namespace-alias
-```
-``` bnf
-namespace-definition:
-        named-namespace-definition
-        unnamed-namespace-definition
-        nested-namespace-definition
-```
-``` bnf
-named-namespace-definition:
-        'inline'ₒₚₜ 'namespace' attribute-specifier-seqₒₚₜ identifier '{' namespace-body '}'
-```
-``` bnf
-unnamed-namespace-definition:
-        'inline'ₒₚₜ 'namespace' attribute-specifier-seqₒₚₜ '{' namespace-body '}'
-```
-``` bnf
-nested-namespace-definition:
-        'namespace' enclosing-namespace-specifier '::' identifier '{' namespace-body '}'
-```
-``` bnf
-enclosing-namespace-specifier:
-        identifier
-        enclosing-namespace-specifier '::' identifier
-```
-``` bnf
-namespace-body:
-        declaration-seqₒₚₜ
-```
-``` bnf
-namespace-alias:
-        identifier
-```
-``` bnf
-namespace-alias-definition:
-        'namespace' identifier '=' qualified-namespace-specifier ';'
-```
-``` bnf
-qualified-namespace-specifier:
-    nested-name-specifierₒₚₜ namespace-name
-```
-``` bnf
-using-declaration:
-    'using' using-declarator-list ';'
-```
-``` bnf
-using-declarator-list:
-    using-declarator '...'ₒₚₜ
-    using-declarator-list ',' using-declarator '...'ₒₚₜ
-```
-``` bnf
-using-declarator:
-    'typename'ₒₚₜ nested-name-specifier unqualified-id
-```
-``` bnf
-using-directive:
-    attribute-specifier-seqₒₚₜ 'using namespace' nested-name-specifierₒₚₜ namespace-name ';'
-```
-``` bnf
-asm-definition:
-    attribute-specifier-seqₒₚₜ 'asm (' string-literal ') ;'
-```
-``` bnf
-linkage-specification:
-    'extern' string-literal '{' declaration-seqₒₚₜ '}'
-    'extern' string-literal declaration
-```
-``` bnf
-attribute-specifier-seq:
-  attribute-specifier-seqₒₚₜ attribute-specifier
-```
-``` bnf
-attribute-specifier:
-  '[' '[' attribute-using-prefixₒₚₜ attribute-list ']' ']'
-  alignment-specifier
-```
-``` bnf
-alignment-specifier:
-  'alignas (' type-id '...'ₒₚₜ ')'
-  'alignas (' constant-expression '...'ₒₚₜ ')'
-```
-``` bnf
-attribute-using-prefix:
-  'using' attribute-namespace ':'
-```
-``` bnf
-attribute-list:
-  attributeₒₚₜ
-  attribute-list ',' attributeₒₚₜ
-  attribute '...'
-  attribute-list ',' attribute '...'
-```
-``` bnf
-attribute:
-    attribute-token attribute-argument-clauseₒₚₜ
-```
-``` bnf
-attribute-token:
-    identifier
-    attribute-scoped-token
-```
-``` bnf
-attribute-scoped-token:
-    attribute-namespace '::' identifier
-```
-``` bnf
-attribute-namespace:
-    identifier
-```
-``` bnf
-attribute-argument-clause:
-    '(' balanced-token-seqₒₚₜ ')'
-```
-``` bnf
-balanced-token-seq:
-    balanced-token
-    balanced-token-seq balanced-token
-```
-``` bnf
-balanced-token:
-    '(' balanced-token-seqₒₚₜ ')'
-    '[' balanced-token-seqₒₚₜ ']'
-    '{' balanced-token-seqₒₚₜ '}'
-    any *token* other than a parenthesis, a bracket, or a brace
 ```
 ``` bnf
 init-declarator-list:
     init-declarator
@@ -385,10 +196,11 @@ init-declarator-list:
 ```
 ``` bnf
 init-declarator:
     declarator initializerₒₚₜ
 ```
 ``` bnf
 declarator:
     ptr-declarator
@@ -433,12 +245,12 @@ cv-qualifier-seq:
     cv-qualifier cv-qualifier-seqₒₚₜ
 ```
 ``` bnf
 cv-qualifier:
- 'const'
- 'volatile'
 ```
 ``` bnf
 ref-qualifier:
     '&'
@@ -494,11 +306,11 @@ noptr-abstract-pack-declarator:
 ```
 ``` bnf
 parameter-declaration-clause:
     parameter-declaration-listₒₚₜ '...'ₒₚₜ
-    parameter-declaration-list ', ...'
 ```
 ``` bnf
 parameter-declaration-list:
     parameter-declaration
@@ -511,23 +323,10 @@ parameter-declaration:
     attribute-specifier-seqₒₚₜ decl-specifier-seq declarator '=' initializer-clause
     attribute-specifier-seqₒₚₜ decl-specifier-seq abstract-declaratorₒₚₜ
     attribute-specifier-seqₒₚₜ decl-specifier-seq abstract-declaratorₒₚₜ '=' initializer-clause
 ```
-``` bnf
-function-definition:
-    attribute-specifier-seqₒₚₜ decl-specifier-seqₒₚₜ declarator virt-specifier-seqₒₚₜ function-body
-```
-``` bnf
-function-body:
-    ctor-initializerₒₚₜ compound-statement
-    function-try-block
-    '= default ;'
-    '= delete ;'
-```
 ``` bnf
 initializer:
     brace-or-equal-initializer
     '(' expression-list ')'
 ```
@@ -542,24 +341,271 @@ brace-or-equal-initializer:
 initializer-clause:
     assignment-expression
     braced-init-list
 ```
-``` bnf
-initializer-list:
-    initializer-clause '...'ₒₚₜ
-    initializer-list ',' initializer-clause '...'ₒₚₜ
-```
 ``` bnf
 braced-init-list:
     '{' initializer-list ','ₒₚₜ '}'
     '{' '}'
 ```
 ``` bnf
 expr-or-braced-init-list:
     expression
     braced-init-list
 ```

     function-definition
     template-declaration
     deduction-guide
     explicit-instantiation
     explicit-specialization
+    export-declaration
     linkage-specification
     namespace-definition
     empty-declaration
     attribute-declaration
+    module-import-declaration
 ```
 ``` bnf
 block-declaration:
     simple-declaration
+    asm-declaration
     namespace-alias-definition
     using-declaration
+    using-enum-declaration
     using-directive
     static_assert-declaration
     alias-declaration
     opaque-enum-declaration
 ```
     attribute-specifier-seqₒₚₜ declarator ';'
 ```
 ``` bnf
 alias-declaration:
+    using identifier attribute-specifier-seqₒₚₜ '=' defining-type-id ';'
 ```
 ``` bnf
 simple-declaration:
     decl-specifier-seq init-declarator-listₒₚₜ ';'
 ``` bnf
 decl-specifier:
     storage-class-specifier
     defining-type-specifier
     function-specifier
+    friend
+    typedef
+    constexpr
+ consteval
+    constinit
+    inline
 ```
 ``` bnf
 decl-specifier-seq:
     decl-specifier attribute-specifier-seqₒₚₜ
     decl-specifier decl-specifier-seq
 ```
 ``` bnf
 storage-class-specifier:
+    static
+    thread_local
+    extern
+    mutable
 ```
 ``` bnf
 function-specifier:
+    virtual
+    explicit-specifier
+```
+``` bnf
+explicit-specifier:
+    explicit '(' constant-expression ')'
+    explicit
 ```
 ``` bnf
 typedef-name:
     identifier
+    simple-template-id
 ```
 ``` bnf
 type-specifier:
   simple-type-specifier
 ```
 ``` bnf
 simple-type-specifier:
     nested-name-specifierₒₚₜ type-name
+    nested-name-specifier template simple-template-id
     decltype-specifier
+    placeholder-type-specifier
+    nested-name-specifierₒₚₜ template-name
+    char
+    char8_t
+    char16_t
+    char32_t
+    wchar_t
+    bool
+    short
+    int
+    long
+    signed
+    unsigned
+    float
+    double
+    void
 ```
 ``` bnf
 type-name:
     class-name
     enum-name
     typedef-name
 ```
 ``` bnf
 elaborated-type-specifier:
     class-key attribute-specifier-seqₒₚₜ nested-name-specifierₒₚₜ identifier
     class-key simple-template-id
+    class-key nested-name-specifier templateₒₚₜ simple-template-id
+ elaborated-enum-specifier
 ```
 ``` bnf
+elaborated-enum-specifier:
+ enum nested-name-specifierₒₚₜ identifier
 ```
 ``` bnf
+decltype-specifier:
+  decltype '(' expression ')'
 ```
 ``` bnf
+placeholder-type-specifier:
+  type-constraintₒₚₜ auto
+  type-constraintₒₚₜ decltype '(' auto ')'
 ```
 ``` bnf
 init-declarator-list:
     init-declarator
 ```
 ``` bnf
 init-declarator:
     declarator initializerₒₚₜ
+    declarator requires-clause
 ```
 ``` bnf
 declarator:
     ptr-declarator
     cv-qualifier cv-qualifier-seqₒₚₜ
 ```
 ``` bnf
 cv-qualifier:
+    const
+    volatile
 ```
 ``` bnf
 ref-qualifier:
     '&'
 ```
 ``` bnf
 parameter-declaration-clause:
     parameter-declaration-listₒₚₜ '...'ₒₚₜ
+    parameter-declaration-list ',' '...'
 ```
 ``` bnf
 parameter-declaration-list:
     parameter-declaration
     attribute-specifier-seqₒₚₜ decl-specifier-seq declarator '=' initializer-clause
     attribute-specifier-seqₒₚₜ decl-specifier-seq abstract-declaratorₒₚₜ
     attribute-specifier-seqₒₚₜ decl-specifier-seq abstract-declaratorₒₚₜ '=' initializer-clause
 ```
 ``` bnf
 initializer:
     brace-or-equal-initializer
     '(' expression-list ')'
 ```
 initializer-clause:
     assignment-expression
     braced-init-list
 ```
 ``` bnf
 braced-init-list:
     '{' initializer-list ','ₒₚₜ '}'
+    '{' designated-initializer-list ','ₒₚₜ '}'
     '{' '}'
 ```
+``` bnf
+initializer-list:
+    initializer-clause '...'ₒₚₜ
+    initializer-list ',' initializer-clause '...'ₒₚₜ
+```
+``` bnf
+designated-initializer-list:
+    designated-initializer-clause
+    designated-initializer-list ',' designated-initializer-clause
+```
+``` bnf
+designated-initializer-clause:
+    designator brace-or-equal-initializer
+```
+``` bnf
+designator:
+    '.' identifier
+```
 ``` bnf
 expr-or-braced-init-list:
     expression
     braced-init-list
 ```
+``` bnf
+function-definition:
+    attribute-specifier-seqₒₚₜ decl-specifier-seqₒₚₜ declarator virt-specifier-seqₒₚₜ function-body
+    attribute-specifier-seqₒₚₜ decl-specifier-seqₒₚₜ declarator requires-clause function-body
+```
+``` bnf
+function-body:
+    ctor-initializerₒₚₜ compound-statement
+    function-try-block
+    '=' default ';'
+    '=' delete ';'
+```
+``` bnf
+enum-name:
+    identifier
+```
+``` bnf
+enum-specifier:
+    enum-head '{' enumerator-listₒₚₜ '}'
+    enum-head '{' enumerator-list ',' '}'
+```
+``` bnf
+enum-head:
+    enum-key attribute-specifier-seqₒₚₜ enum-head-nameₒₚₜ enum-baseₒₚₜ
+```
+``` bnf
+enum-head-name:
+    nested-name-specifierₒₚₜ identifier
+```
+``` bnf
+opaque-enum-declaration:
+    enum-key attribute-specifier-seqₒₚₜ enum-head-name enum-baseₒₚₜ ';'
+```
+``` bnf
+enum-key:
+    enum
+    enum class
+    enum struct
+```
+``` bnf
+enum-base:
+    ':' type-specifier-seq
+```
+``` bnf
+enumerator-list:
+    enumerator-definition
+    enumerator-list ',' enumerator-definition
+```
+``` bnf
+enumerator-definition:
+    enumerator
+    enumerator '=' constant-expression
+```
+``` bnf
+enumerator:
+    identifier attribute-specifier-seqₒₚₜ
+```
+``` bnf
+using-enum-declaration:
+    'using' elaborated-enum-specifier ';'
+```
+``` bnf
+namespace-name:
+        identifier
+        namespace-alias
+```
+``` bnf
+namespace-definition:
+        named-namespace-definition
+        unnamed-namespace-definition
+        nested-namespace-definition
+```
+``` bnf
+named-namespace-definition:
+        inlineₒₚₜ namespace attribute-specifier-seqₒₚₜ identifier '{' namespace-body '}'
+```
+``` bnf
+unnamed-namespace-definition:
+        inlineₒₚₜ namespace attribute-specifier-seqₒₚₜ '{' namespace-body '}'
+```
+``` bnf
+nested-namespace-definition:
+        namespace enclosing-namespace-specifier '::' inlineₒₚₜ identifier '{' namespace-body '}'
+```
+``` bnf
+enclosing-namespace-specifier:
+        identifier
+        enclosing-namespace-specifier '::' inlineₒₚₜ identifier
+```
+``` bnf
+namespace-body:
+        declaration-seqₒₚₜ
+```
+``` bnf
+namespace-alias:
+        identifier
+```
+``` bnf
+namespace-alias-definition:
+        namespace identifier '=' qualified-namespace-specifier ';'
+```
+``` bnf
+qualified-namespace-specifier:
+    nested-name-specifierₒₚₜ namespace-name
+```
+``` bnf
+using-directive:
+    attribute-specifier-seqₒₚₜ using namespace nested-name-specifierₒₚₜ namespace-name ';'
+```
+``` bnf
+using-declaration:
+    using using-declarator-list ';'
+```
+``` bnf
+using-declarator-list:
+    using-declarator '...'ₒₚₜ
+    using-declarator-list ',' using-declarator '...'ₒₚₜ
+```
+``` bnf
+using-declarator:
+    typenameₒₚₜ nested-name-specifier unqualified-id
+```
+``` bnf
+asm-declaration:
+    attribute-specifier-seqₒₚₜ asm '(' string-literal ')' ';'
+```
+``` bnf
+linkage-specification:
+    extern string-literal '{' declaration-seqₒₚₜ '}'
+    extern string-literal declaration
+```
+``` bnf
+attribute-specifier-seq:
+  attribute-specifier-seqₒₚₜ attribute-specifier
+```
+``` bnf
+attribute-specifier:
+  '[' '[' attribute-using-prefixₒₚₜ attribute-list ']' ']'
+  alignment-specifier
+```
+``` bnf
+alignment-specifier:
+  alignas '(' type-id '...'ₒₚₜ ')'
+  alignas '(' constant-expression '...'ₒₚₜ ')'
+```
+``` bnf
+attribute-using-prefix:
+  using attribute-namespace ':'
+```
+``` bnf
+attribute-list:
+  attributeₒₚₜ
+  attribute-list ',' attributeₒₚₜ
+  attribute '...'
+  attribute-list ',' attribute '...'
+```
+``` bnf
+attribute:
+    attribute-token attribute-argument-clauseₒₚₜ
+```
+``` bnf
+attribute-token:
+    identifier
+    attribute-scoped-token
+```
+``` bnf
+attribute-scoped-token:
+    attribute-namespace '::' identifier
+```
+``` bnf
+attribute-namespace:
+    identifier
+```
+``` bnf
+attribute-argument-clause:
+    '(' balanced-token-seqₒₚₜ ')'
+```
+``` bnf
+balanced-token-seq:
+    balanced-token
+    balanced-token-seq balanced-token
+```
+``` bnf
+balanced-token:
+    '(' balanced-token-seqₒₚₜ ')'
+    '[' balanced-token-seqₒₚₜ ']'
+    '{' balanced-token-seqₒₚₜ '}'
+    any *token* other than a parenthesis, a bracket, or a brace
+```

Diff to HTML by rtfpessoa