From Jason Turner

[intseq.make]

C++17 → C++20 1.0 KB 16 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp8uzzes9o/{from.md → to.md} +7 -6
tmp/tmp8uzzes9o/{from.md → to.md} RENAMED
@@ -3,14 +3,15 @@
3
  ``` cpp
4
  template<class T, T N>
5
  using make_integer_sequence = integer_sequence<T, see below>;
6
  ```
7
 
8
- If `N` is negative the program is ill-formed. The alias template
9
- `make_integer_sequence` denotes a specialization of `integer_sequence`
10
- with `N` template non-type arguments. The type
11
- `make_integer_sequence<T, N>` denotes the type
 
12
  `integer_sequence<T, 0, 1, ..., N-1>`.
13
 
14
- [*Note 1*: `make_integer_sequence<int, 0>` denotes the type
15
- `integer_sequence<int>` — *end note*]
16
 
 
3
  ``` cpp
4
  template<class T, T N>
5
  using make_integer_sequence = integer_sequence<T, see below>;
6
  ```
7
 
8
+ *Mandates:* `N` ≥ 0.
9
+
10
+ The alias template `make_integer_sequence` denotes a specialization of
11
+ `integer_sequence` with `N` non-type template arguments. The type
12
+ `make_integer_sequence<T, N>` is an alias for the type
13
  `integer_sequence<T, 0, 1, ..., N-1>`.
14
 
15
+ [*Note 1*: `make_integer_sequence<int, 0>` is an alias for the type
16
+ `integer_sequence<int>`. — *end note*]
17