libcxx/include/typeindex

   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_TYPEINDEX
  11 #define _LIBCPP_TYPEINDEX
  12
  13 /*
  14
  15     typeindex synopsis
  16
  17 namespace std
  18 {
  19
  20 class type_index
  21 {
  22 public:
  23     type_index(const type_info& rhs) noexcept;
  24
  25     bool operator==(const type_index& rhs) const noexcept;
  26     bool operator!=(const type_index& rhs) const noexcept; // removed in C++20
  27     bool operator< (const type_index& rhs) const noexcept;
  28     bool operator<=(const type_index& rhs) const noexcept;
  29     bool operator> (const type_index& rhs) const noexcept;
  30     bool operator>=(const type_index& rhs) const noexcept;
  31     strong_ordering operator<=>(const type_index& rhs) const noexcept; // C++20
  32
  33     size_t hash_code() const noexcept;
  34     const char* name() const noexcept;
  35 };
  36
  37 template <>
  38 struct hash<type_index>
  39     : public unary_function<type_index, size_t>
  40 {
  41     size_t operator()(type_index index) const noexcept;
  42 };
  43
  44 }  // std
  45
  46 */
  47
  48 #if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
  49 #  include <__cxx03/typeindex>
  50 #else
  51 #  include <__config>
  52 #  include <__functional/unary_function.h>
  53 #  include <typeinfo>
  54 #  include <version>
  55
  56 // standard-mandated includes
  57 #  include <compare>
  58
  59 #  if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  60 #    pragma GCC system_header
  61 #  endif
  62
  63 _LIBCPP_BEGIN_NAMESPACE_STD
  64
  65 class _LIBCPP_TEMPLATE_VIS type_index {
  66   const type_info* __t_;
  67
  68 public:
  69   _LIBCPP_HIDE_FROM_ABI type_index(const type_info& __y) _NOEXCEPT : __t_(&__y) {}
  70
  71   _LIBCPP_HIDE_FROM_ABI bool operator==(const type_index& __y) const _NOEXCEPT { return *__t_ == *__y.__t_; }
  72 #  if _LIBCPP_STD_VER <= 17
  73   _LIBCPP_HIDE_FROM_ABI bool operator!=(const type_index& __y) const _NOEXCEPT { return *__t_ != *__y.__t_; }
  74 #  endif
  75   _LIBCPP_HIDE_FROM_ABI bool operator<(const type_index& __y) const _NOEXCEPT { return __t_->before(*__y.__t_); }
  76   _LIBCPP_HIDE_FROM_ABI bool operator<=(const type_index& __y) const _NOEXCEPT { return !__y.__t_->before(*__t_); }
  77   _LIBCPP_HIDE_FROM_ABI bool operator>(const type_index& __y) const _NOEXCEPT { return __y.__t_->before(*__t_); }
  78   _LIBCPP_HIDE_FROM_ABI bool operator>=(const type_index& __y) const _NOEXCEPT { return !__t_->before(*__y.__t_); }
  79 #  if _LIBCPP_STD_VER >= 20
  80   _LIBCPP_HIDE_FROM_ABI strong_ordering operator<=>(const type_index& __y) const noexcept {
  81     if (*__t_ == *__y.__t_)
  82       return strong_ordering::equal;
  83     if (__t_->before(*__y.__t_))
  84       return strong_ordering::less;
  85     return strong_ordering::greater;
  86   }
  87 #  endif
  88
  89   _LIBCPP_HIDE_FROM_ABI size_t hash_code() const _NOEXCEPT { return __t_->hash_code(); }
  90   _LIBCPP_HIDE_FROM_ABI const char* name() const _NOEXCEPT { return __t_->name(); }
  91 };
  92
  93 template <class _Tp>
  94 struct _LIBCPP_TEMPLATE_VIS hash;
  95
  96 template <>
  97 struct _LIBCPP_TEMPLATE_VIS hash<type_index> : public __unary_function<type_index, size_t> {
  98   _LIBCPP_HIDE_FROM_ABI size_t operator()(type_index __index) const _NOEXCEPT { return __index.hash_code(); }
  99 };
 100
 101 _LIBCPP_END_NAMESPACE_STD
 102
 103 #  if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
 104 #    include <cstddef>
 105 #    include <iosfwd>
 106 #    include <new>
 107 #    include <utility>
 108 #  endif
 109 #endif // __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
 110
 111 #endif // _LIBCPP_TYPEINDEX