tmp/tmpxn39oh2w/{from.md → to.md}
RENAMED
|
@@ -16,14 +16,12 @@ to initialize data without causing a data race or deadlock.
|
|
| 16 |
|
| 17 |
``` cpp
|
| 18 |
constexpr once_flag() noexcept;
|
| 19 |
```
|
| 20 |
|
| 21 |
-
*Effects:* Constructs an object of type `once_flag`.
|
| 22 |
-
|
| 23 |
*Synchronization:* The construction of a `once_flag` object is not
|
| 24 |
synchronized.
|
| 25 |
|
| 26 |
-
*
|
| 27 |
invocation of `call_once` with the object as its initial argument that
|
| 28 |
no function has been called.
|
| 29 |
|
|
|
|
| 16 |
|
| 17 |
``` cpp
|
| 18 |
constexpr once_flag() noexcept;
|
| 19 |
```
|
| 20 |
|
|
|
|
|
|
|
| 21 |
*Synchronization:* The construction of a `once_flag` object is not
|
| 22 |
synchronized.
|
| 23 |
|
| 24 |
+
*Ensures:* The object’s internal state is set to indicate to an
|
| 25 |
invocation of `call_once` with the object as its initial argument that
|
| 26 |
no function has been called.
|
| 27 |
|