Namespaces
Variants

std::as_const

С ru.cppreference.net
 
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы проверки возможностей библиотеки (C++20)
Утилиты программы
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношений (устарело в C++20)
 
Определён в заголовке <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 спецификаторы к заданному типу
(шаблон класса)
удаляет const и/или volatile спецификаторы из заданного типа
(шаблон класса)
преобразует view в constant_range
(шаблон класса) (объект адаптера диапазона)