tmp/tmp30vtev_p/{from.md → to.md}
RENAMED
|
@@ -1,12 +1,13 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
~thread();
|
| 5 |
```
|
| 6 |
|
| 7 |
-
If `joinable()`, calls `terminate()`. Otherwise, has no
|
|
|
|
| 8 |
|
| 9 |
[*Note 1*: Either implicitly detaching or joining a `joinable()` thread
|
| 10 |
in its destructor could result in difficult to debug correctness (for
|
| 11 |
detach) or performance (for join) bugs encountered only when an
|
| 12 |
exception is thrown. Thus the programmer must ensure that the destructor
|
|
|
|
| 1 |
+
#### Destructor <a id="thread.thread.destr">[[thread.thread.destr]]</a>
|
| 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
|