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) Перегрузка для 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.");
}

См. также

is_const (C++11)	проверяет, является ли тип const-квалифицированным (шаблон класса)
add_cvadd_constadd_volatile (C++11)(C++11)(C++11)	добавляет спецификаторы const и/или volatile к заданному типу (шаблон класса)
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11)	удаляет спецификаторы const и/или volatile из заданного типа (шаблон класса)
ranges::as_const_viewviews::as_const (C++23)	преобразует `view` в `constant_range` (шаблон класса) (объект адаптера диапазона)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/utility/as_const