[valarray.access] - C++17 → C++20

Files changed (1) hide show

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

@@ -1,34 +1,35 @@
-#### `valarray` element access <a id="valarray.access">[[valarray.access]]</a>
 ``` cpp
 const T&  operator[](size_t n) const;
 T& operator[](size_t n);
 ```
-*Requires:* `n < size()`.
 *Returns:* A reference to the corresponding element of the array.
 [*Note 1*: The expression `(a[i] = q, a[i]) == q` evaluates to `true`
 for any non-constant `valarray<T> a`, any `T q`, and for any `size_t i`
 such that the value of `i` is less than the length of
 `a`. — *end note*]
-*Remarks:* The expression `&a[i+j] == &a[i] + j` evaluates to `true` for
-all `size_t i` and `size_t j` such that `i+j < a.size()`.
-The expression `&a[i] != &b[j]` evaluates to `true` for any two arrays
-`a` and `b` and for any `size_t i` and `size_t j` such that
-`i < a.size()` and `j < b.size()`.
 [*Note 2*: This property indicates an absence of aliasing and may be
 used to advantage by optimizing compilers. Compilers may take advantage
 of inlining, constant propagation, loop fusion, tracking of pointers
 obtained from `operator new`, and other techniques to generate efficient
 `valarray`s. — *end note*]
 The reference returned by the subscript operator for an array shall be
-valid until the member function
-`resize(size_t, T)` ([[valarray.members]]) is called for that array or
-until the lifetime of that array ends, whichever happens first.

+#### Element access <a id="valarray.access">[[valarray.access]]</a>
 ``` cpp
 const T&  operator[](size_t n) const;
 T& operator[](size_t n);
 ```
+*Preconditions:* `n < size()` is `true`.
 *Returns:* A reference to the corresponding element of the array.
 [*Note 1*: The expression `(a[i] = q, a[i]) == q` evaluates to `true`
 for any non-constant `valarray<T> a`, any `T q`, and for any `size_t i`
 such that the value of `i` is less than the length of
 `a`. — *end note*]
+*Remarks:* The expression `addressof(a[i+j]) == addressof(a[i]) + j`
+evaluates to `true` for all `size_t i` and `size_t j` such that
+`i+j < a.size()`.
+The expression `addressof(a[i]) != addressof(b[j])` evaluates to `true`
+for any two arrays `a` and `b` and for any `size_t i` and `size_t j`
+such that `i < a.size()` and `j < b.size()`.
 [*Note 2*: This property indicates an absence of aliasing and may be
 used to advantage by optimizing compilers. Compilers may take advantage
 of inlining, constant propagation, loop fusion, tracking of pointers
 obtained from `operator new`, and other techniques to generate efficient
 `valarray`s. — *end note*]
 The reference returned by the subscript operator for an array shall be
+valid until the member function `resize(size_t, T)` [[valarray.members]]
+is called for that array or until the lifetime of that array ends,
+whichever happens first.

Diff to HTML by rtfpessoa