std::as_const
С ru.cppreference.net
| Определён в заголовке <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-ссылку на константный тип
t.2) Перегрузка для const 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)
|
проверяет, является ли тип константно-квалифицированным
(шаблон класса) |
|
(C++11)
(C++11)
(C++11)
|
добавляет
const
и/или
volatile
спецификаторы к заданному типу
(шаблон класса) |
|
(C++11)
(C++11)
(C++11)
|
удаляет
const
и/или
volatile
спецификаторы из заданного типа
(шаблон класса) |
преобразует
view
в
constant_range
(шаблон класса) (объект адаптера диапазона) |