From Jason Turner

[span.sub]

C++23 → Trunk 1.9 KB 17 lines
Current Draft | LaTeX Source
Archived: C++23
Markdown: C++23 | Trunk
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpuo0_j8_0/{from.md → to.md} +4 -8
tmp/tmpuo0_j8_0/{from.md → to.md} RENAMED
@@ -4,22 +4,22 @@
4
  template<size_t Count> constexpr span<element_type, Count> first() const;
5
  ```
6
 
7
  *Mandates:* `Count <= Extent` is `true`.
8
 
9
- *Preconditions:* `Count <= size()` is `true`.
10
 
11
  *Effects:* Equivalent to: `return R{data(), Count};` where `R` is the
12
  return type.
13
 
14
  ``` cpp
15
  template<size_t Count> constexpr span<element_type, Count> last() const;
16
  ```
17
 
18
  *Mandates:* `Count <= Extent` is `true`.
19
 
20
- *Preconditions:* `Count <= size()` is `true`.
21
 
22
  *Effects:* Equivalent to: `return R{data() + (size() - Count), Count};`
23
  where `R` is the return type.
24
 
25
  ``` cpp
@@ -33,12 +33,10 @@ template<size_t Offset, size_t Count = dynamic_extent>
33
  Offset <= Extent && (Count == dynamic_extent || Count <= Extent - Offset)
34
  ```
35
 
36
  is `true`.
37
 
38
- *Preconditions:*
39
-
40
  ``` cpp
41
  Offset <= size() && (Count == dynamic_extent || Count <= size() - Offset)
42
  ```
43
 
44
  is `true`.
@@ -60,29 +58,27 @@ Count != dynamic_extent ? Count
60
 
61
  ``` cpp
62
  constexpr span<element_type, dynamic_extent> first(size_type count) const;
63
  ```
64
 
65
- *Preconditions:* `count <= size()` is `true`.
66
 
67
  *Effects:* Equivalent to: `return {data(), count};`
68
 
69
  ``` cpp
70
  constexpr span<element_type, dynamic_extent> last(size_type count) const;
71
  ```
72
 
73
- *Preconditions:* `count <= size()` is `true`.
74
 
75
  *Effects:* Equivalent to: `return {data() + (size() - count), count};`
76
 
77
  ``` cpp
78
  constexpr span<element_type, dynamic_extent> subspan(
79
  size_type offset, size_type count = dynamic_extent) const;
80
  ```
81
 
82
- *Preconditions:*
83
-
84
  ``` cpp
85
  offset <= size() && (count == dynamic_extent || count <= size() - offset)
86
  ```
87
 
88
  is `true`.
 
4
  template<size_t Count> constexpr span<element_type, Count> first() const;
5
  ```
6
 
7
  *Mandates:* `Count <= Extent` is `true`.
8
 
9
+ `Count <= size()` is `true`.
10
 
11
  *Effects:* Equivalent to: `return R{data(), Count};` where `R` is the
12
  return type.
13
 
14
  ``` cpp
15
  template<size_t Count> constexpr span<element_type, Count> last() const;
16
  ```
17
 
18
  *Mandates:* `Count <= Extent` is `true`.
19
 
20
+ `Count <= size()` is `true`.
21
 
22
  *Effects:* Equivalent to: `return R{data() + (size() - Count), Count};`
23
  where `R` is the return type.
24
 
25
  ``` cpp
 
33
  Offset <= Extent && (Count == dynamic_extent || Count <= Extent - Offset)
34
  ```
35
 
36
  is `true`.
37
 
 
 
38
  ``` cpp
39
  Offset <= size() && (Count == dynamic_extent || Count <= size() - Offset)
40
  ```
41
 
42
  is `true`.
 
58
 
59
  ``` cpp
60
  constexpr span<element_type, dynamic_extent> first(size_type count) const;
61
  ```
62
 
63
+ `count <= size()` is `true`.
64
 
65
  *Effects:* Equivalent to: `return {data(), count};`
66
 
67
  ``` cpp
68
  constexpr span<element_type, dynamic_extent> last(size_type count) const;
69
  ```
70
 
71
+ `count <= size()` is `true`.
72
 
73
  *Effects:* Equivalent to: `return {data() + (size() - count), count};`
74
 
75
  ``` cpp
76
  constexpr span<element_type, dynamic_extent> subspan(
77
  size_type offset, size_type count = dynamic_extent) const;
78
  ```
79
 
 
 
80
  ``` cpp
81
  offset <= size() && (count == dynamic_extent || count <= size() - offset)
82
  ```
83
 
84
  is `true`.