std::constant_wrapper::operator--(C++26)

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 ✅
• GCC: 16.1 ✅
• Visual C++: 2026 Update 2 ❌

関連項目

• 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)>のように修正された