tmp/tmp5lahlyow/{from.md → to.md}
RENAMED
|
@@ -6,25 +6,25 @@ template <class BidirectionalIterator, class Allocator, class charT, class trait
|
|
| 6 |
match_results<BidirectionalIterator, Allocator>& m,
|
| 7 |
const basic_regex<charT, traits>& e,
|
| 8 |
regex_constants::match_flag_type flags = regex_constants::match_default);
|
| 9 |
```
|
| 10 |
|
| 11 |
-
*
|
| 12 |
-
|
| 13 |
|
| 14 |
*Effects:* Determines whether there is some sub-sequence within
|
| 15 |
\[`first`, `last`) that matches the regular expression `e`. The
|
| 16 |
parameter `flags` is used to control how the expression is matched
|
| 17 |
against the character sequence. Returns `true` if such a sequence
|
| 18 |
exists, `false` otherwise.
|
| 19 |
|
| 20 |
-
*
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
|
| 24 |
|
| 25 |
-
**Table: Effects of `regex_search` algorithm** <a id="
|
| 26 |
|
| 27 |
| Element | Value |
|
| 28 |
| -------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
| 29 |
| `m.size()` | `1 + e.mark_count()` |
|
| 30 |
| `m.empty()` | `false` |
|
|
|
|
| 6 |
match_results<BidirectionalIterator, Allocator>& m,
|
| 7 |
const basic_regex<charT, traits>& e,
|
| 8 |
regex_constants::match_flag_type flags = regex_constants::match_default);
|
| 9 |
```
|
| 10 |
|
| 11 |
+
*Preconditions:* `BidirectionalIterator` meets the
|
| 12 |
+
*Cpp17BidirectionalIterator* requirements [[bidirectional.iterators]].
|
| 13 |
|
| 14 |
*Effects:* Determines whether there is some sub-sequence within
|
| 15 |
\[`first`, `last`) that matches the regular expression `e`. The
|
| 16 |
parameter `flags` is used to control how the expression is matched
|
| 17 |
against the character sequence. Returns `true` if such a sequence
|
| 18 |
exists, `false` otherwise.
|
| 19 |
|
| 20 |
+
*Ensures:* `m.ready() == true` in all cases. If the function returns
|
| 21 |
+
`false`, then the effect on parameter `m` is unspecified except that
|
| 22 |
+
`m.size()` returns `0` and `m.empty()` returns `true`. Otherwise the
|
| 23 |
+
effects on parameter `m` are given in [[re.alg.search]].
|
| 24 |
|
| 25 |
+
**Table: Effects of `regex_search` algorithm** <a id="re.alg.search">[re.alg.search]</a>
|
| 26 |
|
| 27 |
| Element | Value |
|
| 28 |
| -------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
| 29 |
| `m.size()` | `1 + e.mark_count()` |
|
| 30 |
| `m.empty()` | `false` |
|