op_equal.md

operator==

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

template <constexpr-param L, constexpr-param R>
friend constexpr auto operator==(L x, R y) noexcept;

概要

2つのconstant_wrapperが保持する値を==で比較する。

戻り値

constant_wrapper<(L::value == R::value)>{}を返す。

備考

• Hidden friendsとして定義されるため、引数依存の名前探索 (ADL) でのみ発見される。
• オペランドのいずれかがconstant_wrapperでない場合、保持する値へアンラップして通常の演算がおこなわれる。

例

#include <utility>

int main()
{
  // 比較結果を保持するconstant_wrapperを返す
  static_assert(std::cw<5> == std::cw<5>);
}

出力

バージョン

言語

• 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