std::as_const
来自cppreference.com
在标头 <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 限定符到给定类型 (类模板) |
(C++11)(C++11)(C++11) |
从给定类型移除 const 和/或 volatile 限定符 (类模板) |
转换 view 为 constant_range (类模板) (范围适配器对象) |