cppdraft_translate/cppdraft/saferecl/hp/holder/ctor.md

[saferecl.hp.holder.ctor]

32 Concurrency support library [thread]

32.11 Safe reclamation [saferecl]

32.11.3 Hazard pointers [saferecl.hp]

32.11.3.4 Class hazard_pointer [saferecl.hp.holder]

32.11.3.4.2 Constructors, destructor, and assignment [saferecl.hp.holder.ctor]

🔗

hazard_pointer() noexcept;

1

#

Postconditions: *this is empty.

🔗

hazard_pointer(hazard_pointer&& other) noexcept;

2

#

Postconditions: If other is empty, *this is empty.

Otherwise,*this owns the hazard pointer originally owned by other;other is empty.

🔗

~hazard_pointer();

3

#

Effects: If *this is not empty, destroys the hazard pointer owned by *this, thereby ending its current protection epoch.

🔗

hazard_pointer& operator=(hazard_pointer&& other) noexcept;

4

#

Effects: If this == &other is true, no effect.

Otherwise, if *this is not empty, destroys the hazard pointer owned by *this, thereby ending its current protection epoch.

5

#

Postconditions: If other was empty, *this is empty.

Otherwise, *this owns the hazard pointer originally owned by other.

If this != &other is true, other is empty.

6

#

Returns: *this.