op_increment.md

operator++

• utility[meta header]
• std[meta namespace]
• constant_wrapper[meta class]
• function template[meta id-type]
• cpp26[meta cpp]

template <constexpr-param T>
constexpr auto operator++(this T self) noexcept;      // 前置
template <constexpr-param T>
constexpr auto operator++(this T self, int) noexcept; // 後置

概要

constant_wrapperが保持する値をインクリメントする。

• 前置: インクリメント後の値を保持するconstant_wrapperを返す。
• 後置: インクリメント前の値を保持するconstant_wrapperを返す。

戻り値

• 前置: constant_wrapper<(++T::value)>{}を返す。
• 後置: constant_wrapper<(T::value++)>{}を返す。

備考

• constant_wrapperが保持するvalueはconstであるため、保持する値そのものを変更する式（++value、value op= x、value = x）は不適格となる。
• したがって、このオーバーロードは説明用基底クラスcw-operatorsのインターフェースとして宣言されているものの、constant_wrapperに対してはオーバーロード解決に参加せず、使用できない。

バージョン

言語

• C++26

処理系

• Clang: 23 [mark verified]
• GCC: 16.1 [mark verified]
• Visual C++: 2026 Update 2 [mark noimpl]

関連項目

• std::constant_wrapper

参照

• P2781R9 std::constant_wrapper
• P3978R3 constant_wrapper should unwrap on call and subscript
• LWG Issue 4383. constant_wrapper's pseudo-mutators are underconstrained
  • C++26で、擬似変更演算子の戻り値型をconstant_wrapper<(++T::value)>のような直接形とすることで、変更操作が定数式にならない型に対してハードエラーではなくSFINAEで除外される（SFINAEフレンドリになる）よう修正された
• LWG Issue 4500. constant_wrapper wording problems
  • C++26で、インクリメント／デクリメント演算子の戻り値型の式に含まれる文言上の誤り（どこにも定義されていない変数Yの使用）がconstant_wrapper<(++T::value)>のように修正された