std::as_const
ja.cppreference.net より
| ヘッダ <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; } |
注記
| 機能テスト マクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__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 should be some kind of string."); static_assert(!std::is_same_v<ExprType, std::string>, "ExprType shouldn't be a mutable string."); }
関連項目
|
(C++11)
|
型がconst修飾されているかどうかをチェックする
(クラステンプレート) |
|
(C++11)
(C++11)
(C++11)
|
指定された型に
const
および/または
volatile
指定子を追加する
(クラステンプレート) |
|
(C++11)
(C++11)
(C++11)
|
指定された型から
const
および/または
volatile
指定子を削除する
(クラステンプレート) |
view
を
constant_range
に変換する
(クラステンプレート) (レンジアダプタオブジェクト) |