std::remove_cvref - cppreference.com (original) (raw)
| | | | | ------------------------------------------ | | ------------- | | template< class T > struct remove_cvref; | | (since C++20) |
If the type T is a reference type, 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.
Contents
[edit] 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 |
[edit] Helper types
| template< class T > using remove_cvref_t = remove_cvref<T>::type; | | (since C++20) | | ----------------------------------------------------------------------- | | ------------- |
[edit] Possible implementation
[edit] Notes
| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
| __cpp_lib_remove_cvref | 201711L | (C++20) | std::remove_cvref |
[edit] Example
#include int main() { static_assert(std::is_same_v<std::remove_cvref_t, 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)>); }