tmp/tmp352db0bm/{from.md → to.md}
RENAMED
|
@@ -1,13 +1,13 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
synchronized_pool_resource(const pool_options& opts, memory_resource* upstream);
|
| 5 |
unsynchronized_pool_resource(const pool_options& opts, memory_resource* upstream);
|
| 6 |
```
|
| 7 |
|
| 8 |
-
*
|
| 9 |
|
| 10 |
*Effects:* Constructs a pool resource object that will obtain memory
|
| 11 |
from `upstream` whenever the pool resource is unable to satisfy a memory
|
| 12 |
request from its own internal data structures. The resulting object will
|
| 13 |
hold a copy of `upstream`, but will not own the resource to which
|
|
|
|
| 1 |
+
#### Constructors and destructors <a id="mem.res.pool.ctor">[[mem.res.pool.ctor]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
synchronized_pool_resource(const pool_options& opts, memory_resource* upstream);
|
| 5 |
unsynchronized_pool_resource(const pool_options& opts, memory_resource* upstream);
|
| 6 |
```
|
| 7 |
|
| 8 |
+
*Preconditions:* `upstream` is the address of a valid memory resource.
|
| 9 |
|
| 10 |
*Effects:* Constructs a pool resource object that will obtain memory
|
| 11 |
from `upstream` whenever the pool resource is unable to satisfy a memory
|
| 12 |
request from its own internal data structures. The resulting object will
|
| 13 |
hold a copy of `upstream`, but will not own the resource to which
|