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
17namespace std
18{
19
20class type_index
21{
22public:
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
37template <>
38struct 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#include <__assert> // all public C++ headers provide the assertion handler
49#include <__config>
50#include <__functional/unary_function.h>
51#include <typeinfo>
52#include <version>
53
54// standard-mandated includes
55#include <compare>
56
57#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
58#  pragma GCC system_header
59#endif
60
61_LIBCPP_BEGIN_NAMESPACE_STD
62
63class _LIBCPP_TEMPLATE_VIS type_index
64{
65    const type_info* __t_;
66public:
67    _LIBCPP_HIDE_FROM_ABI
68    type_index(const type_info& __y) _NOEXCEPT : __t_(&__y) {}
69
70    _LIBCPP_HIDE_FROM_ABI
71    bool operator==(const type_index& __y) const _NOEXCEPT
72        {return *__t_ == *__y.__t_;}
73#if _LIBCPP_STD_VER <= 17
74    _LIBCPP_HIDE_FROM_ABI
75    bool operator!=(const type_index& __y) const _NOEXCEPT
76        {return *__t_ != *__y.__t_;}
77#endif
78    _LIBCPP_HIDE_FROM_ABI
79    bool operator< (const type_index& __y) const _NOEXCEPT
80        {return  __t_->before(*__y.__t_);}
81    _LIBCPP_HIDE_FROM_ABI
82    bool operator<=(const type_index& __y) const _NOEXCEPT
83        {return !__y.__t_->before(*__t_);}
84    _LIBCPP_HIDE_FROM_ABI
85    bool operator> (const type_index& __y) const _NOEXCEPT
86        {return  __y.__t_->before(*__t_);}
87    _LIBCPP_HIDE_FROM_ABI
88    bool operator>=(const type_index& __y) const _NOEXCEPT
89        {return !__t_->before(*__y.__t_);}
90#if _LIBCPP_STD_VER >= 20
91    _LIBCPP_HIDE_FROM_ABI
92    strong_ordering operator<=>(const type_index& __y) const noexcept {
93      if (*__t_ == *__y.__t_)
94        return strong_ordering::equal;
95      if (__t_->before(*__y.__t_))
96        return strong_ordering::less;
97      return strong_ordering::greater;
98    }
99#endif
100
101    _LIBCPP_HIDE_FROM_ABI
102    size_t hash_code() const _NOEXCEPT {return __t_->hash_code();}
103    _LIBCPP_HIDE_FROM_ABI
104    const char* name() const _NOEXCEPT {return __t_->name();}
105};
106
107template <class _Tp> struct _LIBCPP_TEMPLATE_VIS hash;
108
109template <>
110struct _LIBCPP_TEMPLATE_VIS hash<type_index>
111    : public __unary_function<type_index, size_t>
112{
113    _LIBCPP_HIDE_FROM_ABI
114    size_t operator()(type_index __index) const _NOEXCEPT
115        {return __index.hash_code();}
116};
117
118_LIBCPP_END_NAMESPACE_STD
119
120#if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
121#  include <iosfwd>
122#  include <new>
123#  include <utility>
124#endif
125
126#endif // _LIBCPP_TYPEINDEX
127