From Jason Turner

[support.initlist]

Diff to HTML by rtfpessoa

tmp/tmplpk6ouyc/{from.md → to.md} RENAMED
@@ -1,13 +1,13 @@
1
  ## Initializer lists <a id="support.initlist">[[support.initlist]]</a>
2
 
3
  The header `<initializer_list>` defines a class template and several
4
  support functions related to list-initialization (see
5
  [[dcl.init.list]]). All functions specified in this subclause are
6
- signal-safe ([[csignal.syn]]).
7
 
8
- ### Header `<initializer_list>` synopsis <a id="initializer_list.syn">[[initializer_list.syn]]</a>
9
 
10
  ``` cpp
11
  namespace std {
12
  template<class E> class initializer_list {
13
  public:
@@ -48,13 +48,11 @@ If an explicit specialization or partial specialization of
48
 
49
  ``` cpp
50
  constexpr initializer_list() noexcept;
51
  ```
52
 
53
- *Effects:* Constructs an empty `initializer_list` object.
54
-
55
- *Postconditions:* `size() == 0`.
56
 
57
  ### Initializer list access <a id="support.initlist.access">[[support.initlist.access]]</a>
58
 
59
  ``` cpp
60
  constexpr const E* begin() const noexcept;
 
1
  ## Initializer lists <a id="support.initlist">[[support.initlist]]</a>
2
 
3
  The header `<initializer_list>` defines a class template and several
4
  support functions related to list-initialization (see
5
  [[dcl.init.list]]). All functions specified in this subclause are
6
+ signal-safe [[support.signal]].
7
 
8
+ ### Header `<initializer_list>` synopsis <a id="initializer.list.syn">[[initializer.list.syn]]</a>
9
 
10
  ``` cpp
11
  namespace std {
12
  template<class E> class initializer_list {
13
  public:
 
48
 
49
  ``` cpp
50
  constexpr initializer_list() noexcept;
51
  ```
52
 
53
+ *Ensures:* `size() == 0`.
 
 
54
 
55
  ### Initializer list access <a id="support.initlist.access">[[support.initlist.access]]</a>
56
 
57
  ``` cpp
58
  constexpr const E* begin() const noexcept;