function template
<memory>
std::undeclare_reachable
template <class T> T* undeclare_reachable (T* p);
Undeclare pointer as reachable
Revokes a previous declaration of reachability for the object pointed by p, and returns a safely-derived pointer to it.
If declare_reachable was called multiple times for the object pointed by p, the object is considered reachable until undeclare_reachable is called the same number of times.
Parameters
- p
- A pointer pointing to an object previously declared as reachable with declare_reachable.
Return value
A safely-derived pointer pointing to p. This pointer is guaranteed to compare equal to p.
This function throws no exceptions.
Example
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
| // declare_reachable / undeclare_reachable example #include <iostream> #include <memory> #include <cstdint> int main() { int * p = new int (1); // dynamic object std::declare_reachable(p); p = (int*)((std::uintptr_t)p ^ UINTPTR_MAX); // scrambling p // dynamic object not reachable by any live safely-derived pointer p = std::undeclare_reachable((int*)((std::uintptr_t)p ^ UINTPTR_MAX)); // p is back again a safely-derived pointer to the dynamic object std::cout << "p: " << *p << '\n'; delete p; return 0; }
|
Output: