std::experi...gged::tagged(3)

💅 std::experi...gged::tagged 💅

okay so bestie, grab a strawberry drink 🍓 because we're reading the std::experi...gged::tagged(3) page from the C++ Standard Library manual — yes, the whole manual name is right there in the title and it's a mouthful, no cap 😭

---

✨ NAME ✨

std::experimental::ranges::tagged::tagged — literally just the constructor of tagged, being its own whole NAME section. iconic. 👑

---

🌸 SYNOPSIS 🌸

okay so here's the whole overload lineup, and I'm keeping it exactly as-is because this is sacred text 🫶

(1)

using Base::Base;

(2)

tagged() = default;

(3)

tagged( tagged&& that ) = default;

(4)

tagged( const tagged& that ) = default;

(5)

tagged( Base&& that )
noexcept(std::is_nothrow_move_constructible<Base>::value)
      requires MoveConstructible<Base>;

(6)

tagged( const Base& that )
noexcept(std::is_nothrow_copy_constructible<Base>::value)
      requires CopyConstructible<Base>;

(7)

template< class Other >
    requires Constructible<Base, Other>
constexpr tagged( ranges::tagged<Other, Tags...> && that )
    noexcept(std::is_nothrow_constructible<Base, Other>::value);

(8)

template< class Other >
    requires Constructible<Base, const Other&>
constexpr tagged( const ranges::tagged<Other, Tags...> &that );

---

🦋 DESCRIPTION 🦋

so what does it do? it constructs a tagged object. that's the whole vibe check ✅

• (1) — tagged<Base, Tags...> inherits the constructors of Base. free real estate, we love an inheritance moment 💖
• (2), (3), (4) — tagged has defaulted default, copy, and move constructors that invoke the corresponding constructor of Base. all defaulted, all chill, zero drama ✨
• (5) — converting move constructor from Base. it initializes the Base subobject with std::move(that). yes queen, move it 🏃‍♀️💨
• (6) — converting copy constructor from Base. initializes the Base subobject with that. a gentle little copy, respect 🙈
• (7) — converting move constructor from a different tagged specialization with matching tags. initializes the Base subobject with static_cast<Other&&>(that). cross-specialization but the tags match so it's fine, iykyk 🔥
• (8) — converting copy constructor from a different tagged specialization with matching tags. initializes the Base subobject with static_cast<const Other&>(that). copy version of the same energy, periodt 💅

ngl the noexcept(...) clauses and requires constraints in the synopsis are not decorative — they're literally part of each overload's signature, so don't go dropping them 🙏

---

🎀 a cute little sign-off 🎀

that's the whole page, bestie — source is cppreference.com and the version/date stamp on this one is 2024.06.10, so if you're citing it in a group chat, that's your receipt 🧾💜

now go forth and construct your tagged objects with main character energy 💅🌈⭐