From Jason Turner

[gram.temp]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpz7z9ixsz/{from.md → to.md} +15 -6
tmp/tmpz7z9ixsz/{from.md → to.md} RENAMED
@@ -17,16 +17,20 @@ template-parameter:
17
  parameter-declaration
18
  ```
19
 
20
  ``` bnf
21
  type-parameter:
22
- 'class' '...'ₒₚₜ identifierₒₚₜ
23
- 'class' identifierₒₚₜ '=' type-id
24
- 'typename' '...'ₒₚₜ identifierₒₚₜ
25
- 'typename' identifierₒₚₜ '=' type-id
26
- 'template <' template-parameter-list '> class' '...'ₒₚₜ identifierₒₚₜ
27
- 'template <' template-parameter-list '> class' identifierₒₚₜ '=' id-expression
 
 
 
 
28
  ```
29
 
30
  ``` bnf
31
  simple-template-id:
32
  template-name '<' template-argument-listₒₚₜ '>'
@@ -71,6 +75,11 @@ explicit-instantiation:
71
  ``` bnf
72
  explicit-specialization:
73
  'template < >' declaration
74
  ```
75
 
 
 
 
 
 
76
 
 
17
  parameter-declaration
18
  ```
19
 
20
  ``` bnf
21
  type-parameter:
22
+ type-parameter-key '...'ₒₚₜ identifierₒₚₜ
23
+ type-parameter-key identifierₒₚₜ '=' type-id
24
+ 'template <' template-parameter-list '>' type-parameter-key '...'ₒₚₜ identifierₒₚₜ
25
+ 'template <' template-parameter-list '>' type-parameter-key identifierₒₚₜ '=' id-expression
26
+ ```
27
+
28
+ ``` bnf
29
+ type-parameter-key:
30
+ 'class'
31
+ 'typename'
32
  ```
33
 
34
  ``` bnf
35
  simple-template-id:
36
  template-name '<' template-argument-listₒₚₜ '>'
 
75
  ``` bnf
76
  explicit-specialization:
77
  'template < >' declaration
78
  ```
79
 
80
+ ``` bnf
81
+ deduction-guide:
82
+ 'explicit'ₒₚₜ template-name '(' parameter-declaration-clause ') ->' simple-template-id ';'
83
+ ```
84
+
85