Namespaces
Variants

std::as_const

De es.cppreference.net
 
 
Biblioteca de utilidades
Soporte del lenguaje
Soporte de tipos (tipos básicos, RTTI)
Macros de prueba de características de la biblioteca (C++20)
Utilidades de programa
Funciones variádicas
Soporte de corrutinas (C++20)
Soporte de contratos (C++26)
Comparación a tres vías
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Utilidades generales
Operadores relacionales (obsoleto en C++20)
 
Definido en el encabezado <utility>
template< class T >
constexpr std::add_const_t<T>& as_const( T& t ) noexcept;
(1) (desde C++17)
template< class T >
void as_const( const T&& ) = delete;
(2) (desde C++17)
1) Forma una referencia lvalue al tipo const de t.
2) La sobrecarga de referencia rvalue const está eliminada para no permitir argumentos rvalue.

Implementación posible

template<class T>
constexpr std::add_const_t<T>& as_const(T& t) noexcept
{
    return t;
}

Notas

Macro de prueba de características Valor Std Característica
__cpp_lib_as_const 201510L (C++17) std::as_const

Ejemplo

#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' está calificado como 'const',
                      //        pero 'clear' no está marcado como 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 debería ser algún tipo de string.");
    static_assert(!std::is_same_v<ExprType, std::string>,
                  "ExprType no debería ser un string mutable.");
}

Véase también

(C++11)
verifica si un tipo está calificado como const
(class template)
(C++11) (C++11) (C++11)
añade los especificadores const y/o volatile al tipo dado
(class template)
elimina los especificadores const y/o volatile del tipo dado
(class template)
convierte una view en un constant_range
(class template) (range adaptor object)