From Jason Turner

[thread.lock.shared.mod]

C++17 → C++20 0.8 KB 8 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp7kvnzt0j/{from.md → to.md} +2 -2
tmp/tmp7kvnzt0j/{from.md → to.md} RENAMED
@@ -1,6 +1,6 @@
1
- ##### `shared_lock` modifiers <a id="thread.lock.shared.mod">[[thread.lock.shared.mod]]</a>
2
 
3
  ``` cpp
4
  void swap(shared_lock& sl) noexcept;
5
  ```
6
 
@@ -10,11 +10,11 @@ void swap(shared_lock& sl) noexcept;
10
  mutex_type* release() noexcept;
11
  ```
12
 
13
  *Returns:* The previous value of `pm`.
14
 
15
- *Postconditions:* `pm == nullptr` and `owns == false`.
16
 
17
  ``` cpp
18
  template<class Mutex>
19
  void swap(shared_lock<Mutex>& x, shared_lock<Mutex>& y) noexcept;
20
  ```
 
1
+ ##### Modifiers <a id="thread.lock.shared.mod">[[thread.lock.shared.mod]]</a>
2
 
3
  ``` cpp
4
  void swap(shared_lock& sl) noexcept;
5
  ```
6
 
 
10
  mutex_type* release() noexcept;
11
  ```
12
 
13
  *Returns:* The previous value of `pm`.
14
 
15
+ *Ensures:* `pm == nullptr` and `owns == false`.
16
 
17
  ``` cpp
18
  template<class Mutex>
19
  void swap(shared_lock<Mutex>& x, shared_lock<Mutex>& y) noexcept;
20
  ```