20 Memory management library [mem]

20.3 Pointer tagging [ptrtag]

20.3.2 Class template pointer_tag_pair [ptrtag.pair]

20.3.2.2 Constructors [ptrtag.pair.cons]

constexpr pointer_tag_pair() noexcept;

Postconditions: pointer() is equal to nullptr and tag() is equal to TagT().

🔗

template<tagging-compatible-pointee<pointer_type, bits_requested> U>
  constexpr pointer_tag_pair(U* p, tag_type t);
constexpr pointer_tag_pair(nullptr_t p, tag_type t);

Constant When: Preconditions are met.

Preconditions:

(3.1)
p is not a pointer past the end of an object ([basic.compound]).
(3.2)
tag-bit-width(t) <= bits_requested is true.

Postconditions: pointer() is equal to p and tag() is equal to t.

Throws: Nothing.