std::as_const

来自cppreference.com
< cpp‎ | utility
 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
as_const
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)

 
在标头 <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) 形成到 t 的 const 版本类型的左值引用。
2) const 右值引用重载被弃置,以禁止右值实参。

可能的实现

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

Notes

功能特性测试 标准 功能特性
__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(); // 错误:'constRef' 有 'const' 限定,但 'clear' 不标记为 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 应当为某种字符串。");
    static_assert(!std::is_same_v<ExprType, std::string>,
                  "ExprType 不能是可修改的字符串。");
}

参阅

(C++11)
检查类型是否为 const 限定
(类模板)
(C++11)(C++11)(C++11)
添加 const 和/或 volatile 限定符到给定类型
(类模板)
从给定类型移除 const 和/或 volatile 限定符
(类模板)
转换 viewconstant_range
(类模板) (范围适配器对象)