std::as_const
Определено в заголовочном файле <utility> | ||
|---|---|---|
template< class T > constexpr std::add_const_t<T>& as_const( T& t ) noexcept; | (1) | (начиная с C++17) |
template< class T > void as_const( const T&& ) = delete; | (2) | (начиная с C++17) |
1) Формирует lvalue-ссылку на тип const для
t.
2) Перегрузка с константной rvalue-ссылкой удалена, чтобы запретить аргументы-rvalue.
Возможная реализация
template<class T>
constexpr std::add_const_t<T>& as_const(T& t) noexcept
{
return t;
}
|
Примечания
| Макрос проверки функциональности | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_as_const | 201510L | (C++17) |
std::as_const |
Пример
#include <cassert>
#include <string>
#include <type_traits>
#include <utility>
int main()
{
std::string mutableString = "Hello World!";
auto&& constRef = std::as_const(mutableString);
mutableString.clear(); // OK
// constRef.clear(); // Error: 'constRef' is 'const' qualified,
// but 'clear' is not marked const
assert(&constRef == &mutableString);
assert(&std::as_const(mutableString) == &mutableString);
using ExprType = std::remove_reference_t<decltype(std::as_const(mutableString))>;
static_assert(std::is_same_v<std::remove_const_t<ExprType>, std::string>,
"ExprType should be some kind of string.");
static_assert(!std::is_same_v<ExprType, std::string>,
"ExprType shouldn't be a mutable string.");
}
См. также
|
(C++11) | проверяет, имеет ли тип квалификатор const (шаблон класса) |
|
(C++26) | проверяет, представляет ли отражение тип const или тип функции с квалификатором const (функция) |
|
(C++11)(C++11)(C++11) | добавляет к заданному типу квалификаторы const и/или volatile (шаблон класса) |
|
(C++11)(C++11)(C++11) | удаляет из заданного типа квалификаторы const и/или volatile (шаблон класса) |
|
(C++23) | преобразует view в constant_range(шаблон класса) (объект-адаптер диапазона) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/as_const