1// -*- C++ -*- 2//===----------------------------------------------------------------------===// 3// 4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5// See https://llvm.org/LICENSE.txt for license information. 6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7// 8//===----------------------------------------------------------------------===// 9 10#ifndef _LIBCPP_EXPERIMENTAL_PROPAGATE_CONST 11#define _LIBCPP_EXPERIMENTAL_PROPAGATE_CONST 12 13/* 14 propagate_const synopsis 15 16 namespace std { namespace experimental { inline namespace fundamentals_v2 { 17 18 // [propagate_const] 19 template <class T> class propagate_const; 20 21 // [propagate_const.underlying], underlying pointer access 22 constexpr const _Tp& _VSTD_LFTS_V2::get_underlying(const propagate_const<T>& pt) noexcept; 23 constexpr T& _VSTD_LFTS_V2::get_underlying(propagate_const<T>& pt) noexcept; 24 25 // [propagate_const.relational], relational operators 26 template <class T> constexpr bool operator==(const propagate_const<T>& pt, nullptr_t); 27 template <class T> constexpr bool operator==(nullptr_t, const propagate_const<T>& pu); 28 template <class T> constexpr bool operator!=(const propagate_const<T>& pt, nullptr_t); 29 template <class T> constexpr bool operator!=(nullptr_t, const propagate_const<T>& pu); 30 template <class T, class U> constexpr bool operator==(const propagate_const<T>& pt, const propagate_const<_Up>& pu); 31 template <class T, class U> constexpr bool operator!=(const propagate_const<T>& pt, const propagate_const<_Up>& pu); 32 template <class T, class U> constexpr bool operator<(const propagate_const<T>& pt, const propagate_const<_Up>& pu); 33 template <class T, class U> constexpr bool operator>(const propagate_const<T>& pt, const propagate_const<_Up>& pu); 34 template <class T, class U> constexpr bool operator<=(const propagate_const<T>& pt, const propagate_const<_Up>& pu); 35 template <class T, class U> constexpr bool operator>=(const propagate_const<T>& pt, const propagate_const<_Up>& pu); 36 template <class T, class U> constexpr bool operator==(const propagate_const<T>& pt, const _Up& u); 37 template <class T, class U> constexpr bool operator!=(const propagate_const<T>& pt, const _Up& u); 38 template <class T, class U> constexpr bool operator<(const propagate_const<T>& pt, const _Up& u); 39 template <class T, class U> constexpr bool operator>(const propagate_const<T>& pt, const _Up& u); 40 template <class T, class U> constexpr bool operator<=(const propagate_const<T>& pt, const _Up& u); 41 template <class T, class U> constexpr bool operator>=(const propagate_const<T>& pt, const _Up& u); 42 template <class T, class U> constexpr bool operator==(const _Tp& t, const propagate_const<_Up>& pu); 43 template <class T, class U> constexpr bool operator!=(const _Tp& t, const propagate_const<_Up>& pu); 44 template <class T, class U> constexpr bool operator<(const _Tp& t, const propagate_const<_Up>& pu); 45 template <class T, class U> constexpr bool operator>(const _Tp& t, const propagate_const<_Up>& pu); 46 template <class T, class U> constexpr bool operator<=(const _Tp& t, const propagate_const<_Up>& pu); 47 template <class T, class U> constexpr bool operator>=(const _Tp& t, const propagate_const<_Up>& pu); 48 49 // [propagate_const.algorithms], specialized algorithms 50 template <class T> constexpr void swap(propagate_const<T>& pt, propagate_const<T>& pu) noexcept(see below); 51 52 template <class T> 53 class propagate_const 54 { 55 56 public: 57 typedef remove_reference_t<decltype(*declval<T&>())> element_type; 58 59 // [propagate_const.ctor], constructors 60 constexpr propagate_const() = default; 61 propagate_const(const propagate_const& p) = delete; 62 constexpr propagate_const(propagate_const&& p) = default; 63 template <class U> EXPLICIT constexpr propagate_const(propagate_const<_Up>&& pu); // see below 64 template <class U> EXPLICIT constexpr propagate_const(U&& u); // see below 65 66 // [propagate_const.assignment], assignment 67 propagate_const& operator=(const propagate_const& p) = delete; 68 constexpr propagate_const& operator=(propagate_const&& p) = default; 69 template <class U> constexpr propagate_const& operator=(propagate_const<_Up>&& pu); 70 template <class U> constexpr propagate_const& operator=(U&& u); // see below 71 72 // [propagate_const.const_observers], const observers 73 explicit constexpr operator bool() const; 74 constexpr const element_type* operator->() const; 75 constexpr operator const element_type*() const; // Not always defined 76 constexpr const element_type& operator*() const; 77 constexpr const element_type* get() const; 78 79 // [propagate_const.non_const_observers], non-const observers 80 constexpr element_type* operator->(); 81 constexpr operator element_type*(); // Not always defined 82 constexpr element_type& operator*(); 83 constexpr element_type* get(); 84 85 // [propagate_const.modifiers], modifiers 86 constexpr void swap(propagate_const& pt) noexcept(see below) 87 88 private: 89 T t_; // exposition only 90 }; 91 92 } // namespace fundamentals_v2 93 } // namespace experimental 94 95 // [propagate_const.hash], hash support 96 template <class T> struct hash<experimental::fundamentals_v2::propagate_const<T>>; 97 98 // [propagate_const.comparison_function_objects], comparison function objects 99 template <class T> struct equal_to<experimental::fundamentals_v2::propagate_const<T>>; 100 template <class T> struct not_equal_to<experimental::fundamentals_v2::propagate_const<T>>; 101 template <class T> struct less<experimental::fundamentals_v2::propagate_const<T>>; 102 template <class T> struct greater<experimental::fundamentals_v2::propagate_const<T>>; 103 template <class T> struct less_equal<experimental::fundamentals_v2::propagate_const<T>>; 104 template <class T> struct greater_equal<experimental::fundamentals_v2::propagate_const<T>>; 105 106} // namespace std 107 108*/ 109 110#include <__assert> // all public C++ headers provide the assertion handler 111#include <__functional/operations.h> 112#include <__fwd/hash.h> 113#include <__type_traits/conditional.h> 114#include <__type_traits/decay.h> 115#include <__type_traits/enable_if.h> 116#include <__type_traits/is_array.h> 117#include <__type_traits/is_constructible.h> 118#include <__type_traits/is_convertible.h> 119#include <__type_traits/is_function.h> 120#include <__type_traits/is_pointer.h> 121#include <__type_traits/is_reference.h> 122#include <__type_traits/is_same.h> 123#include <__type_traits/is_swappable.h> 124#include <__type_traits/remove_cv.h> 125#include <__type_traits/remove_pointer.h> 126#include <__type_traits/remove_reference.h> 127#include <__utility/declval.h> 128#include <__utility/forward.h> 129#include <__utility/move.h> 130#include <__utility/swap.h> 131#include <cstddef> 132#include <experimental/__config> 133 134#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 135# pragma GCC system_header 136#endif 137 138_LIBCPP_PUSH_MACROS 139#include <__undef_macros> 140 141#if _LIBCPP_STD_VER >= 14 142 143_LIBCPP_BEGIN_NAMESPACE_LFTS_V2 144 145template <class _Tp> 146class propagate_const; 147 148template <class _Up> 149inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR 150const _Up& get_underlying(const propagate_const<_Up>& __pu) _NOEXCEPT; 151 152template <class _Up> 153inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR 154_Up& get_underlying(propagate_const<_Up>& __pu) _NOEXCEPT; 155 156template <class _Tp> 157class propagate_const 158{ 159public: 160 typedef remove_reference_t<decltype(*std::declval<_Tp&>())> element_type; 161 162 static_assert(!is_array<_Tp>::value, 163 "Instantiation of propagate_const with an array type is ill-formed."); 164 static_assert(!is_reference<_Tp>::value, 165 "Instantiation of propagate_const with a reference type is ill-formed."); 166 static_assert(!(is_pointer<_Tp>::value && is_function<__remove_pointer_t<_Tp> >::value), 167 "Instantiation of propagate_const with a function-pointer type is ill-formed."); 168 static_assert(!(is_pointer<_Tp>::value && is_same<__remove_cv_t<__remove_pointer_t<_Tp> >, void>::value), 169 "Instantiation of propagate_const with a pointer to (possibly cv-qualified) void is ill-formed."); 170 171private: 172 template <class _Up> 173 static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR element_type* __get_pointer(_Up* __u) 174 { 175 return __u; 176 } 177 178 template <class _Up> 179 static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR element_type* __get_pointer(_Up& __u) 180 { 181 return __get_pointer(__u.get()); 182 } 183 184 template <class _Up> 185 static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR const element_type* __get_pointer(const _Up* __u) 186 { 187 return __u; 188 } 189 190 template <class _Up> 191 static _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR const element_type* __get_pointer(const _Up& __u) 192 { 193 return __get_pointer(__u.get()); 194 } 195 196 template <class _Up> 197 struct __is_propagate_const : false_type 198 { 199 }; 200 201 template <class _Up> 202 struct __is_propagate_const<propagate_const<_Up>> : true_type 203 { 204 }; 205 206 _Tp __t_; 207 208public: 209 210 template <class _Up> friend _LIBCPP_CONSTEXPR const _Up& ::_VSTD_LFTS_V2::get_underlying(const propagate_const<_Up>& __pu) _NOEXCEPT; 211 template <class _Up> friend _LIBCPP_CONSTEXPR _Up& ::_VSTD_LFTS_V2::get_underlying(propagate_const<_Up>& __pu) _NOEXCEPT; 212 213 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const() = default; 214 215 propagate_const(const propagate_const&) = delete; 216 217 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const(propagate_const&&) = default; 218 219 template <class _Up, enable_if_t<!is_convertible<_Up, _Tp>::value && 220 is_constructible<_Tp, _Up&&>::value,bool> = true> 221 explicit _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const(propagate_const<_Up>&& __pu) 222 : __t_(std::move(_VSTD_LFTS_V2::get_underlying(__pu))) 223 { 224 } 225 226 template <class _Up, enable_if_t<is_convertible<_Up&&, _Tp>::value && 227 is_constructible<_Tp, _Up&&>::value,bool> = false> 228 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const(propagate_const<_Up>&& __pu) 229 : __t_(std::move(_VSTD_LFTS_V2::get_underlying(__pu))) 230 { 231 } 232 233 template <class _Up, enable_if_t<!is_convertible<_Up&&, _Tp>::value && 234 is_constructible<_Tp, _Up&&>::value && 235 !__is_propagate_const<decay_t<_Up>>::value,bool> = true> 236 explicit _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const(_Up&& __u) 237 : __t_(std::forward<_Up>(__u)) 238 { 239 } 240 241 template <class _Up, enable_if_t<is_convertible<_Up&&, _Tp>::value && 242 is_constructible<_Tp, _Up&&>::value && 243 !__is_propagate_const<decay_t<_Up>>::value,bool> = false> 244 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const(_Up&& __u) 245 : __t_(std::forward<_Up>(__u)) 246 { 247 } 248 249 propagate_const& operator=(const propagate_const&) = delete; 250 251 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const& operator=(propagate_const&&) = default; 252 253 template <class _Up> 254 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const& operator=(propagate_const<_Up>&& __pu) 255 { 256 __t_ = std::move(_VSTD_LFTS_V2::get_underlying(__pu)); 257 return *this; 258 } 259 260 template <class _Up, class _Vp = enable_if_t<!__is_propagate_const<decay_t<_Up>>::value>> 261 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR propagate_const& operator=(_Up&& __u) 262 { 263 __t_ = std::forward<_Up>(__u); 264 return *this; 265 } 266 267 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR const element_type* get() const 268 { 269 return __get_pointer(__t_); 270 } 271 272 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR element_type* get() 273 { 274 return __get_pointer(__t_); 275 } 276 277 _LIBCPP_HIDE_FROM_ABI explicit _LIBCPP_CONSTEXPR operator bool() const 278 { 279 return get() != nullptr; 280 } 281 282 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR const element_type* operator->() const 283 { 284 return get(); 285 } 286 287 template <class _Dummy = _Tp, class _Up = enable_if_t<is_convertible< 288 const _Dummy, const element_type *>::value>> 289 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR operator const element_type *() const { 290 return get(); 291 } 292 293 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR const element_type& operator*() const 294 { 295 return *get(); 296 } 297 298 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR element_type* operator->() 299 { 300 return get(); 301 } 302 303 template <class _Dummy = _Tp, class _Up = enable_if_t< 304 is_convertible<_Dummy, element_type *>::value>> 305 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR operator element_type *() { 306 return get(); 307 } 308 309 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR element_type& operator*() 310 { 311 return *get(); 312 } 313 314 _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR void swap(propagate_const& __pt) 315 _NOEXCEPT_(__is_nothrow_swappable<_Tp>::value) { 316 using _VSTD::swap; 317 swap(__t_, __pt.__t_); 318 } 319}; 320 321 322template <class _Tp> 323_LIBCPP_INLINE_VISIBILITY 324_LIBCPP_CONSTEXPR bool operator==(const propagate_const<_Tp>& __pt, nullptr_t) 325{ 326 return _VSTD_LFTS_V2::get_underlying(__pt) == nullptr; 327} 328 329template <class _Tp> 330_LIBCPP_INLINE_VISIBILITY 331_LIBCPP_CONSTEXPR bool operator==(nullptr_t, const propagate_const<_Tp>& __pt) 332{ 333 return nullptr == _VSTD_LFTS_V2::get_underlying(__pt); 334} 335 336template <class _Tp> 337_LIBCPP_INLINE_VISIBILITY 338_LIBCPP_CONSTEXPR bool operator!=(const propagate_const<_Tp>& __pt, nullptr_t) 339{ 340 return _VSTD_LFTS_V2::get_underlying(__pt) != nullptr; 341} 342 343template <class _Tp> 344_LIBCPP_INLINE_VISIBILITY 345_LIBCPP_CONSTEXPR bool operator!=(nullptr_t, const propagate_const<_Tp>& __pt) 346{ 347 return nullptr != _VSTD_LFTS_V2::get_underlying(__pt); 348} 349 350template <class _Tp, class _Up> 351_LIBCPP_INLINE_VISIBILITY 352_LIBCPP_CONSTEXPR bool operator==(const propagate_const<_Tp>& __pt, 353 const propagate_const<_Up>& __pu) 354{ 355 return _VSTD_LFTS_V2::get_underlying(__pt) == _VSTD_LFTS_V2::get_underlying(__pu); 356} 357 358template <class _Tp, class _Up> 359_LIBCPP_INLINE_VISIBILITY 360_LIBCPP_CONSTEXPR bool operator!=(const propagate_const<_Tp>& __pt, 361 const propagate_const<_Up>& __pu) 362{ 363 return _VSTD_LFTS_V2::get_underlying(__pt) != _VSTD_LFTS_V2::get_underlying(__pu); 364} 365 366template <class _Tp, class _Up> 367_LIBCPP_INLINE_VISIBILITY 368_LIBCPP_CONSTEXPR bool operator<(const propagate_const<_Tp>& __pt, 369 const propagate_const<_Up>& __pu) 370{ 371 return _VSTD_LFTS_V2::get_underlying(__pt) < _VSTD_LFTS_V2::get_underlying(__pu); 372} 373 374template <class _Tp, class _Up> 375_LIBCPP_INLINE_VISIBILITY 376_LIBCPP_CONSTEXPR bool operator>(const propagate_const<_Tp>& __pt, 377 const propagate_const<_Up>& __pu) 378{ 379 return _VSTD_LFTS_V2::get_underlying(__pt) > _VSTD_LFTS_V2::get_underlying(__pu); 380} 381 382template <class _Tp, class _Up> 383_LIBCPP_INLINE_VISIBILITY 384_LIBCPP_CONSTEXPR bool operator<=(const propagate_const<_Tp>& __pt, 385 const propagate_const<_Up>& __pu) 386{ 387 return _VSTD_LFTS_V2::get_underlying(__pt) <= _VSTD_LFTS_V2::get_underlying(__pu); 388} 389 390template <class _Tp, class _Up> 391_LIBCPP_INLINE_VISIBILITY 392_LIBCPP_CONSTEXPR bool operator>=(const propagate_const<_Tp>& __pt, 393 const propagate_const<_Up>& __pu) 394{ 395 return _VSTD_LFTS_V2::get_underlying(__pt) >= _VSTD_LFTS_V2::get_underlying(__pu); 396} 397 398template <class _Tp, class _Up> 399_LIBCPP_INLINE_VISIBILITY 400_LIBCPP_CONSTEXPR bool operator==(const propagate_const<_Tp>& __pt, const _Up& __u) 401{ 402 return _VSTD_LFTS_V2::get_underlying(__pt) == __u; 403} 404 405template <class _Tp, class _Up> 406_LIBCPP_INLINE_VISIBILITY 407_LIBCPP_CONSTEXPR bool operator!=(const propagate_const<_Tp>& __pt, const _Up& __u) 408{ 409 return _VSTD_LFTS_V2::get_underlying(__pt) != __u; 410} 411 412template <class _Tp, class _Up> 413_LIBCPP_INLINE_VISIBILITY 414_LIBCPP_CONSTEXPR bool operator<(const propagate_const<_Tp>& __pt, const _Up& __u) 415{ 416 return _VSTD_LFTS_V2::get_underlying(__pt) < __u; 417} 418 419template <class _Tp, class _Up> 420_LIBCPP_INLINE_VISIBILITY 421_LIBCPP_CONSTEXPR bool operator>(const propagate_const<_Tp>& __pt, const _Up& __u) 422{ 423 return _VSTD_LFTS_V2::get_underlying(__pt) > __u; 424} 425 426template <class _Tp, class _Up> 427_LIBCPP_INLINE_VISIBILITY 428_LIBCPP_CONSTEXPR bool operator<=(const propagate_const<_Tp>& __pt, const _Up& __u) 429{ 430 return _VSTD_LFTS_V2::get_underlying(__pt) <= __u; 431} 432 433template <class _Tp, class _Up> 434_LIBCPP_INLINE_VISIBILITY 435_LIBCPP_CONSTEXPR bool operator>=(const propagate_const<_Tp>& __pt, const _Up& __u) 436{ 437 return _VSTD_LFTS_V2::get_underlying(__pt) >= __u; 438} 439 440 441template <class _Tp, class _Up> 442_LIBCPP_INLINE_VISIBILITY 443_LIBCPP_CONSTEXPR bool operator==(const _Tp& __t, const propagate_const<_Up>& __pu) 444{ 445 return __t == _VSTD_LFTS_V2::get_underlying(__pu); 446} 447 448template <class _Tp, class _Up> 449_LIBCPP_INLINE_VISIBILITY 450_LIBCPP_CONSTEXPR bool operator!=(const _Tp& __t, const propagate_const<_Up>& __pu) 451{ 452 return __t != _VSTD_LFTS_V2::get_underlying(__pu); 453} 454 455template <class _Tp, class _Up> 456_LIBCPP_INLINE_VISIBILITY 457_LIBCPP_CONSTEXPR bool operator<(const _Tp& __t, const propagate_const<_Up>& __pu) 458{ 459 return __t < _VSTD_LFTS_V2::get_underlying(__pu); 460} 461 462template <class _Tp, class _Up> 463_LIBCPP_INLINE_VISIBILITY 464_LIBCPP_CONSTEXPR bool operator>(const _Tp& __t, const propagate_const<_Up>& __pu) 465{ 466 return __t > _VSTD_LFTS_V2::get_underlying(__pu); 467} 468 469template <class _Tp, class _Up> 470_LIBCPP_INLINE_VISIBILITY 471_LIBCPP_CONSTEXPR bool operator<=(const _Tp& __t, const propagate_const<_Up>& __pu) 472{ 473 return __t <= _VSTD_LFTS_V2::get_underlying(__pu); 474} 475 476template <class _Tp, class _Up> 477_LIBCPP_INLINE_VISIBILITY 478_LIBCPP_CONSTEXPR bool operator>=(const _Tp& __t, const propagate_const<_Up>& __pu) 479{ 480 return __t >= _VSTD_LFTS_V2::get_underlying(__pu); 481} 482 483template <class _Tp> 484_LIBCPP_INLINE_VISIBILITY 485_LIBCPP_CONSTEXPR void swap(propagate_const<_Tp>& __pc1, propagate_const<_Tp>& __pc2) _NOEXCEPT_(__is_nothrow_swappable<_Tp>::value) 486{ 487 __pc1.swap(__pc2); 488} 489 490template <class _Tp> 491_LIBCPP_CONSTEXPR const _Tp& get_underlying(const propagate_const<_Tp>& __pt) _NOEXCEPT 492{ 493 return __pt.__t_; 494} 495 496template <class _Tp> 497_LIBCPP_CONSTEXPR _Tp& get_underlying(propagate_const<_Tp>& __pt) _NOEXCEPT 498{ 499 return __pt.__t_; 500} 501 502_LIBCPP_END_NAMESPACE_LFTS_V2 503 504_LIBCPP_BEGIN_NAMESPACE_STD 505 506template <class _Tp> 507struct hash<experimental::fundamentals_v2::propagate_const<_Tp>> 508{ 509 typedef size_t result_type; 510 typedef experimental::fundamentals_v2::propagate_const<_Tp> argument_type; 511 512 _LIBCPP_HIDE_FROM_ABI size_t operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1) const 513 { 514 return std::hash<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1)); 515 } 516}; 517 518template <class _Tp> 519struct equal_to<experimental::fundamentals_v2::propagate_const<_Tp>> 520{ 521 typedef experimental::fundamentals_v2::propagate_const<_Tp> first_argument_type; 522 typedef experimental::fundamentals_v2::propagate_const<_Tp> second_argument_type; 523 524 _LIBCPP_HIDE_FROM_ABI bool operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1, 525 const experimental::fundamentals_v2::propagate_const<_Tp>& __pc2) const 526 { 527 return std::equal_to<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1), _VSTD_LFTS_V2::get_underlying(__pc2)); 528 } 529}; 530 531template <class _Tp> 532struct not_equal_to<experimental::fundamentals_v2::propagate_const<_Tp>> 533{ 534 typedef experimental::fundamentals_v2::propagate_const<_Tp> first_argument_type; 535 typedef experimental::fundamentals_v2::propagate_const<_Tp> second_argument_type; 536 537 _LIBCPP_HIDE_FROM_ABI bool operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1, 538 const experimental::fundamentals_v2::propagate_const<_Tp>& __pc2) const 539 { 540 return std::not_equal_to<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1), _VSTD_LFTS_V2::get_underlying(__pc2)); 541 } 542}; 543 544template <class _Tp> 545struct less<experimental::fundamentals_v2::propagate_const<_Tp>> 546{ 547 typedef experimental::fundamentals_v2::propagate_const<_Tp> first_argument_type; 548 typedef experimental::fundamentals_v2::propagate_const<_Tp> second_argument_type; 549 550 _LIBCPP_HIDE_FROM_ABI bool operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1, 551 const experimental::fundamentals_v2::propagate_const<_Tp>& __pc2) const 552 { 553 return std::less<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1), _VSTD_LFTS_V2::get_underlying(__pc2)); 554 } 555}; 556 557template <class _Tp> 558struct greater<experimental::fundamentals_v2::propagate_const<_Tp>> 559{ 560 typedef experimental::fundamentals_v2::propagate_const<_Tp> first_argument_type; 561 typedef experimental::fundamentals_v2::propagate_const<_Tp> second_argument_type; 562 563 _LIBCPP_HIDE_FROM_ABI bool operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1, 564 const experimental::fundamentals_v2::propagate_const<_Tp>& __pc2) const 565 { 566 return std::greater<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1), _VSTD_LFTS_V2::get_underlying(__pc2)); 567 } 568}; 569 570template <class _Tp> 571struct less_equal<experimental::fundamentals_v2::propagate_const<_Tp>> 572{ 573 typedef experimental::fundamentals_v2::propagate_const<_Tp> first_argument_type; 574 typedef experimental::fundamentals_v2::propagate_const<_Tp> second_argument_type; 575 576 _LIBCPP_HIDE_FROM_ABI bool operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1, 577 const experimental::fundamentals_v2::propagate_const<_Tp>& __pc2) const 578 { 579 return std::less_equal<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1), _VSTD_LFTS_V2::get_underlying(__pc2)); 580 } 581}; 582 583template <class _Tp> 584struct greater_equal<experimental::fundamentals_v2::propagate_const<_Tp>> 585{ 586 typedef experimental::fundamentals_v2::propagate_const<_Tp> first_argument_type; 587 typedef experimental::fundamentals_v2::propagate_const<_Tp> second_argument_type; 588 589 _LIBCPP_HIDE_FROM_ABI bool operator()(const experimental::fundamentals_v2::propagate_const<_Tp>& __pc1, 590 const experimental::fundamentals_v2::propagate_const<_Tp>& __pc2) const 591 { 592 return std::greater_equal<_Tp>()(_VSTD_LFTS_V2::get_underlying(__pc1), _VSTD_LFTS_V2::get_underlying(__pc2)); 593 } 594}; 595 596_LIBCPP_END_NAMESPACE_STD 597 598#endif // _LIBCPP_STD_VER >= 14 599 600_LIBCPP_POP_MACROS 601 602#if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20 603# include <type_traits> 604#endif 605 606#endif // _LIBCPP_EXPERIMENTAL_PROPAGATE_CONST 607