- utility[meta header]
- std[meta namespace]
- constant_wrapper[meta class]
- function template[meta id-type]
- cpp26[meta cpp]
template <constexpr-param T>
friend constexpr auto operator+(T x) noexcept;constant_wrapperが保持する値に単項+を適用する。
constant_wrapper<(+T::value)>{}を返す。
- Hidden friendsとして定義されるため、引数依存の名前探索 (ADL) でのみ発見される。
- オペランドのいずれかが
constant_wrapperでない場合、保持する値へアンラップして通常の演算がおこなわれる。
#include <utility>
#include <type_traits>
int main()
{
// オペランドがすべてconstant_wrapperなので、結果もconstant_wrapperになる
auto x = +std::cw<5>;
static_assert(x == 5);
static_assert(std::is_same_v<decltype(x), std::constant_wrapper<5>>);
}
- C++26
- Clang: 23 [mark verified]
- GCC: 16.1 [mark verified]
- Visual C++: 2026 Update 2 [mark noimpl]