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

Files changed (1) hide show

tmp/tmpmbisw0j2/{from.md → to.md} +86 -53

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

@@ -7,12 +7,14 @@ declaration-seq:
 ```
 ``` bnf
 declaration:
     block-declaration
     function-definition
     template-declaration
     explicit-instantiation
     explicit-specialization
     linkage-specification
     namespace-definition
     empty-declaration
@@ -29,19 +31,25 @@ block-declaration:
     static_assert-declaration
     alias-declaration
     opaque-enum-declaration
 ```
 ``` bnf
 alias-declaration:
-    'using' identifier attribute-specifier-seqₒₚₜ '=' type-id ';'
 ```
 ``` bnf
 simple-declaration:
-    decl-specifier-seqₒₚₜ init-declarator-listₒₚₜ ';'
-    attribute-specifier-seq decl-specifier-seqₒₚₜ init-declarator-list ';'
 ```
 ``` bnf
 empty-declaration:
     ';'
@@ -53,35 +61,34 @@ attribute-declaration:
 ```
 ``` bnf
 decl-specifier:
     storage-class-specifier
-    type-specifier
     function-specifier
     'friend'
     'typedef'
     'constexpr'
 ```
 ``` bnf
 decl-specifier-seq:
     decl-specifier attribute-specifier-seqₒₚₜ
     decl-specifier decl-specifier-seq
 ```
 ``` bnf
 storage-class-specifier:
-    'register'
     'static'
     'thread_local'
     'extern'
     'mutable'
 ```
 ``` bnf
 function-specifier:
-    'inline'
     'virtual'
     'explicit'
 ```
 ``` bnf
@@ -89,17 +96,10 @@ typedef-name:
     identifier
 ```
 ``` bnf
 type-specifier:
-    trailing-type-specifier
-    class-specifier
-    enum-specifier
-```
-``` bnf
-trailing-type-specifier:
   simple-type-specifier
   elaborated-type-specifier
   typename-specifier
   cv-qualifier
 ```
@@ -109,19 +109,27 @@ type-specifier-seq:
     type-specifier attribute-specifier-seqₒₚₜ
     type-specifier type-specifier-seq
 ```
 ``` bnf
-trailing-type-specifier-seq:
-  trailing-type-specifier attribute-specifier-seqₒₚₜ
-  trailing-type-specifier trailing-type-specifier-seq
 ```
 ``` bnf
 simple-type-specifier:
     nested-name-specifierₒₚₜ type-name
     nested-name-specifier 'template' simple-template-id
     'char'
     'char16_t'
     'char32_t'
     'wchar_t'
     'bool'
@@ -170,18 +178,21 @@ enum-specifier:
     enum-head '{' enumerator-list ', }'
 ```
 ``` bnf
 enum-head:
-    enum-key attribute-specifier-seqₒₚₜ identifierₒₚₜ enum-baseₒₚₜ
-    enum-key attribute-specifier-seqₒₚₜ nested-name-specifier identifier
-  enum-baseₒₚₜ
 ```
 ``` bnf
 opaque-enum-declaration:
-    enum-key attribute-specifier-seqₒₚₜ identifier enum-baseₒₚₜ ';'
 ```
 ``` bnf
 enum-key:
     'enum'
@@ -206,49 +217,45 @@ enumerator-definition:
     enumerator '=' constant-expression
 ```
 ``` bnf
 enumerator:
-    identifier
 ```
 ``` bnf
 namespace-name:
- original-namespace-name
         namespace-alias
 ```
-``` bnf
-original-namespace-name:
-        identifier
-```
 ``` bnf
 namespace-definition:
         named-namespace-definition
         unnamed-namespace-definition
 ```
 ``` bnf
 named-namespace-definition:
- original-namespace-definition
-        extension-namespace-definition
-```
-``` bnf
-original-namespace-definition:
-        'inline'ₒₚₜ 'namespace' identifier '{' namespace-body '}'
-```
-``` bnf
-extension-namespace-definition:
-        'inline'ₒₚₜ 'namespace' original-namespace-name '{' namespace-body '}'
 ```
 ``` bnf
 unnamed-namespace-definition:
-        'inline'ₒₚₜ 'namespace {' namespace-body '}'
 ```
 ``` bnf
 namespace-body:
         declaration-seqₒₚₜ
@@ -269,22 +276,32 @@ qualified-namespace-specifier:
     nested-name-specifierₒₚₜ namespace-name
 ```
 ``` bnf
 using-declaration:
-    'using typename'ₒₚₜ nested-name-specifier unqualified-id ';'
-    'using ::' unqualified-id ';'
 ```
 ``` bnf
 using-directive:
     attribute-specifier-seqₒₚₜ 'using namespace' nested-name-specifierₒₚₜ namespace-name ';'
 ```
 ``` bnf
 asm-definition:
-    'asm (' string-literal ') ;'
 ```
 ``` bnf
 linkage-specification:
     'extern' string-literal '{' declaration-seqₒₚₜ '}'
@@ -296,20 +313,25 @@ attribute-specifier-seq:
   attribute-specifier-seqₒₚₜ attribute-specifier
 ```
 ``` bnf
 attribute-specifier:
-  '[' '[' attribute-list ']' ']'
   alignment-specifier
 ```
 ``` bnf
 alignment-specifier:
   'alignas (' type-id '...'ₒₚₜ ')'
   'alignas (' constant-expression '...'ₒₚₜ ')'
 ```
 ``` bnf
 attribute-list:
   attributeₒₚₜ
   attribute-list ',' attributeₒₚₜ
   attribute '...'
@@ -337,24 +359,24 @@ 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:
@@ -388,16 +410,16 @@ noptr-declarator:
 ```
 ``` bnf
 parameters-and-qualifiers:
     '(' parameter-declaration-clause ')' cv-qualifier-seqₒₚₜ
-  ref-qualifierₒₚₜ exception-specificationₒₚₜ attribute-specifier-seqₒₚₜ
 ```
 ``` bnf
 trailing-return-type:
-    '->' trailing-type-specifier-seq abstract-declaratorₒₚₜ
 ```
 ``` bnf
 ptr-operator:
     '*' attribute-specifier-seqₒₚₜ cv-qualifier-seqₒₚₜ
@@ -431,10 +453,15 @@ declarator-id:
 ``` bnf
 type-id:
     type-specifier-seq abstract-declaratorₒₚₜ
 ```
 ``` bnf
 abstract-declarator:
     ptr-abstract-declarator
     noptr-abstract-declaratorₒₚₜ parameters-and-qualifiers trailing-return-type
     abstract-pack-declarator
@@ -466,12 +493,12 @@ noptr-abstract-pack-declarator:
     '...'
 ```
 ``` bnf
 parameter-declaration-clause:
-    parameter-declaration-listₒₚₜ ...ₒₚₜ
-    parameter-declaration-list ',' ...
 ```
 ``` bnf
 parameter-declaration-list:
     parameter-declaration
@@ -527,6 +554,12 @@ initializer-list:
 braced-init-list:
     '{' initializer-list ','ₒₚₜ '}'
     '{' '}'
 ```

 ```
 ``` bnf
 declaration:
     block-declaration
+    nodeclspec-function-declaration
     function-definition
     template-declaration
+    deduction-guide
     explicit-instantiation
     explicit-specialization
     linkage-specification
     namespace-definition
     empty-declaration
     static_assert-declaration
     alias-declaration
     opaque-enum-declaration
 ```
+``` bnf
+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ₒₚₜ ';'
+    attribute-specifier-seq decl-specifier-seq init-declarator-list ';'
+    attribute-specifier-seqₒₚₜ decl-specifier-seq ref-qualifierₒₚₜ '[' identifier-list ']' initializer ';'
 ```
 ``` bnf
 empty-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
     identifier
 ```
 ``` bnf
 type-specifier:
   simple-type-specifier
   elaborated-type-specifier
   typename-specifier
   cv-qualifier
 ```
     type-specifier attribute-specifier-seqₒₚₜ
     type-specifier type-specifier-seq
 ```
 ``` bnf
+defining-type-specifier:
+ type-specifier
+    class-specifier
+    enum-specifier
+```
+``` bnf
+defining-type-specifier-seq:
+  defining-type-specifier attribute-specifier-seqₒₚₜ
+  defining-type-specifier 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'
     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'
     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ₒₚₜ
     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ₒₚₜ '}'
   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 '...'
     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:
 ```
 ``` bnf
 parameters-and-qualifiers:
     '(' parameter-declaration-clause ')' cv-qualifier-seqₒₚₜ
+  ref-qualifierₒₚₜ noexcept-specifierₒₚₜ attribute-specifier-seqₒₚₜ
 ```
 ``` bnf
 trailing-return-type:
+    '->' type-id
 ```
 ``` bnf
 ptr-operator:
     '*' attribute-specifier-seqₒₚₜ cv-qualifier-seqₒₚₜ
 ``` bnf
 type-id:
     type-specifier-seq abstract-declaratorₒₚₜ
 ```
+``` bnf
+defining-type-id:
+    defining-type-specifier-seq abstract-declaratorₒₚₜ
+```
 ``` bnf
 abstract-declarator:
     ptr-abstract-declarator
     noptr-abstract-declaratorₒₚₜ parameters-and-qualifiers trailing-return-type
     abstract-pack-declarator
     '...'
 ```
 ``` bnf
 parameter-declaration-clause:
+    parameter-declaration-listₒₚₜ '...'ₒₚₜ
+    parameter-declaration-list ', ...'
 ```
 ``` bnf
 parameter-declaration-list:
     parameter-declaration
 braced-init-list:
     '{' initializer-list ','ₒₚₜ '}'
     '{' '}'
 ```
+``` bnf
+expr-or-braced-init-list:
+    expression
+    braced-init-list
+```

Diff to HTML by rtfpessoa