std::remove_cvref(3)

✨ std::remove_cvref(3) ✨

okay bestie, welcome to the C++ Standard Libary manual page for std::remove_cvref — yes, that's the manual name, and it's giving "type-trait bestie who removes a reference and then clears the cv-qualifiers" energy 💅. This page is literally std::remove_cvref(3), and we're about to get your types together.

---

💖 NAME 💖

• std::remove_cvref — std::remove_cvref

🌸 Synopsis 🌸

Defined in header <type_traits>:

template< class T >              (since C++20)
struct remove_cvref;

If the type T is a reference type, this provides the member typedef type which is the type referred to by T with its topmost cv-qualifiers removed. Otherwise type is T with its topmost cv-qualifiers removed. ✨

🚨 If the program adds specializations for std::remove_cvref, the behavior is undefined. Like, do not customize this one, bestie — that's not the vibe, fr fr.

🎀 Member types 🎀

Name → Definition:

• type — the type referred by T or T itself if it is not a reference, with top-level cv-qualifiers removed.

🦋 Helper types 🦋

template< class T >                            (since C++20)
using remove_cvref_t = remove_cvref<T>::type;

💅 Possible implementation 💅

template<class T>
struct remove_cvref
{
    using type = std::remove_cv_t<std::remove_reference_t<T>>;
};

🔥 Notes 🔥

Feature-test macro table, but make it cute:

• Feature-test macro: __cpp_lib_remove_cvref
• Value: 201711L
• Std: (C++20)
• Feature: std::remove_cvref

🌈 Example 🌈

// Run this code

#include <type_traits>

int main()
{
    static_assert(std::is_same_v<std::remove_cvref_t<int>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<int&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<int&&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int[2]>, int[2]>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int(&)[2]>, int[2]>);
    static_assert(std::is_same_v<std::remove_cvref_t<int(int)>, int(int)>);
}

🌟 See also 🌟

• remove_cv — (C++11), class template.
• remove_const — (C++11), class template.
• remove_volatile — removes const and/or volatile specifiers from the given type; (C++11), class template.
• remove_reference — removes a reference from the given type; (C++11), class template.
• decay — applies type transformations as when passing a function argument by value; (C++11), class template.

---

cute sign-off: this page is from http://cppreference.com, version/date 2024.06.10, and it's literally std::remove_cvref(3) — slay, go remove those qualifiers, bestie 💖🫶