From Jason Turner

[thread.thread.destr]

Diff to HTML by rtfpessoa

tmp/tmp0d1xpjar/{from.md → to.md} RENAMED
@@ -2,14 +2,15 @@
2
 
3
  ``` cpp
4
  ~thread();
5
  ```
6
 
7
- *Effects:* If `joinable()`, calls `terminate()`. Otherwise, has no
8
- effects.
9
 
10
  [*Note 1*: Either implicitly detaching or joining a `joinable()` thread
11
- in its destructor could result in difficult to debug correctness (for
12
  detach) or performance (for join) bugs encountered only when an
13
- exception is thrown. Thus the programmer must ensure that the destructor
14
- is never executed while the thread is still joinable. — *end note*]
 
15
 
 
2
 
3
  ``` cpp
4
  ~thread();
5
  ```
6
 
7
+ *Effects:* If `joinable()`, invokes `terminate` [[except.terminate]].
8
+ Otherwise, has no effects.
9
 
10
  [*Note 1*: Either implicitly detaching or joining a `joinable()` thread
11
+ in its destructor can result in difficult to debug correctness (for
12
  detach) or performance (for join) bugs encountered only when an
13
+ exception is thrown. These bugs can be avoided by ensuring that the
14
+ destructor is never executed while the thread is still
15
+ joinable. — *end note*]
16