C++ åèæå
- C++11
- C++14
- C++17
- C++20
- C++ ç¼è¯å¨æ¯ææ åµè¡¨
- ç¬ç«ä¸å®¿ä¸»å®ç°
- C++ è¯è¨
- C++ å ³é®è¯
- é¢å¤çå¨
- C++ æ ååºå¤´æä»¶
- å ·åè¦æ±
- åè½ç¹æ§æµè¯ (C++20)
- å·¥å ·åº
- ç±»åæ¯æï¼åºæ¬ç±»åãRTTIãç±»åç¹æ§ï¼
- std::result_of, std::invoke_result
- std::integral_constant
- std::is_constant_evaluated
- std::numeric_limits
- std::type_info
- std::byte
- std::conjunction
- std::disjunction
- std::negation
- std::is_swappable_with, std::is_swappable, std::is_nothrow_swappable_with, std::is_nothrow_swappable
- std::is_invocable, std::is_invocable_r, std::is_nothrow_invocable, std::is_nothrow_invocable_r
- std::is_aggregate
- std::has_unique_object_representations
- std::endian
- std::remove_cvref
- std::type_index
- std::hash<std::type_index>
- std::max_align_t
- offsetof
- NULL
- std::bad_typeid
- std::bad_cast
- std::ptrdiff_t
- C æ°å¼æéæ¥å£
- å®å®½æ´æ°ç±»å (C++11 èµ·)
- std::is_bounded_array
- std::is_unbounded_array
- std::size_t
- std::nullptr_t
- std::is_integral
- std::rank
- std::is_void
- std::is_null_pointer
- std::is_array
- std::is_pointer
- std::is_enum
- std::is_union
- std::is_class
- std::is_function
- std::is_object
- std::is_scalar
- std::is_compound
- std::is_floating_point
- std::is_fundamental
- std::is_arithmetic
- std::is_reference
- std::is_lvalue_reference
- std::is_rvalue_reference
- std::is_member_pointer
- std::is_member_object_pointer
- std::is_member_function_pointer
- std::is_const
- std::is_volatile
- std::is_empty
- std::is_polymorphic
- std::is_final
- std::is_abstract
- std::is_trivial
- std::is_trivially_copyable
- std::is_standard_layout
- std::is_literal_type
- std::is_pod
- std::is_signed
- std::is_unsigned
- std::is_constructible, std::is_trivially_constructible, std::is_nothrow_constructible
- std::is_default_constructible, std::is_trivially_default_constructible, std::is_nothrow_default_constructible
- std::is_copy_constructible, std::is_trivially_copy_constructible, std::is_nothrow_copy_constructible
- std::is_move_constructible, std::is_trivially_move_constructible, std::is_nothrow_move_constructible
- std::is_assignable, std::is_trivially_assignable, std::is_nothrow_assignable
- std::is_copy_assignable, std::is_trivially_copy_assignable, std::is_nothrow_copy_assignable
- std::is_move_assignable, std::is_trivially_move_assignable, std::is_nothrow_move_assignable
- std::is_destructible, std::is_trivially_destructible, std::is_nothrow_destructible
- std::has_virtual_destructor
- std::is_same
- std::is_base_of
- std::is_convertible, std::is_nothrow_convertible
- std::is_layout_compatible
- std::is_pointer_interconvertible_base_of
- std::is_pointer_interconvertible_with_class
- std::is_corresponding_member
- std::alignment_of
- std::extent
- std::remove_cv, std::remove_const, std::remove_volatile
- std::add_cv, std::add_const, std::add_volatile
- std::make_signed
- std::make_unsigned
- std::remove_reference
- std::add_lvalue_reference, std::add_rvalue_reference
- std::remove_pointer
- std::add_pointer
- std::remove_extent
- std::remove_all_extents
- std::aligned_storage
- std::aligned_union
- std::decay
- std::enable_if
- std::void_t
- std::conditional
- std::common_type
- std::common_reference
- std::underlying_type
- std::type_identity
- 注é
- æ¦å¿µåº (C++20)
- é误å¤ç
- 卿å å管ç
- æ¥æåæ¶é´å·¥å ·
- å符串åº
- 容å¨åº
- è¿ä»£å¨åº
- èå´åº (C++20)
- ç®æ³åº
- æ°å¼åº
- è¾å ¥/è¾åºåº
- æä»¶ç³»ç»åº
- æ¬å°ååº
- æ£å表达å¼åº
- ååæä½åº
- çº¿ç¨æ¯æåº
- å®éªæ§ C++ ç¹æ§
- æç¨çèµæº
- ç´¢å¼
- std 符å·ç´¢å¼
- åç¨æ¯æ (C++20)
- C++ å ³é®è¯
ä½ç½®ï¼é¦é¡µ > C++ åèæå >ç±»åæ¯æï¼åºæ¬ç±»åãRTTIãç±»åç¹æ§ï¼ > std::type_index
std::type_index
| å®ä¹äºå¤´æä»¶ <typeindex>
|
||
| class type_index; |
(C++11 èµ·) | |
type_index ç±»æ¯ä¸ä¸ªå´ç» std::type_info çå
è£
ç±»ï¼å®å¯ç¨ä½å
³è䏿 åºå
³è容å¨çç´¢å¼ãå®ä¸ type_info 对象çå
³ç³»éè¿ä¸ä¸ªæéç»´ç³»ï¼æ
è type_index å¯å¤å¶æé (CopyConstructible) ä¸å¯å¤å¶èµå¼ (CopyAssignable) ã
æå彿°
| æé 对象 (å ¬å¼æå彿°) | |
| (ææå½æ°) (éå¼å£°æ) |
鿝 type_index 对象 (å ¬å¼æå彿°) |
| operator= (éå¼å£°æ) |
对 type_index 对象èµå¼ (å ¬å¼æå彿°) |
| (C++20 ä¸ç§»é¤)(C++20) |
æ¯è¾åºå± std::type_info 对象 (å ¬å¼æå彿°) |
| è¿ååå¸ç (å ¬å¼æå彿°) | |
| è¿åå
³èå°åºå± type_info 对象çå®ç°å®ä¹åç§° (å ¬å¼æå彿°) |
è¾ å©ç±»
| (C++11) |
std::type_index çæ£åæ¯æ (类模æ¿ç¹å) |
示ä¾
ä¸é¢çç¨åºæ¯ä¸ä¸ªææçç±»å-弿 å°ç示ä¾ã
è¿è¡æ¤ä»£ç
#include <iostream> #include <typeinfo> #include <typeindex> #include <unordered_map> #include <string> #include <memory>  struct A { virtual ~A() {} };  struct B : A {}; struct C : A {};  int main() { std::unordered_map<std::type_index, std::string> type_names;  type_names[std::type_index(typeid(int))] = "int"; type_names[std::type_index(typeid(double))] = "double"; type_names[std::type_index(typeid(A))] = "A"; type_names[std::type_index(typeid(B))] = "B"; type_names[std::type_index(typeid(C))] = "C";  int i; double d; A a;  // 注ææä»¬æ£å¨å卿åç±»å A çæé std::unique_ptr<A> b(new B); std::unique_ptr<A> c(new C);  std::cout << "i is " << type_names[std::type_index(typeid(i))] << '\n'; std::cout << "d is " << type_names[std::type_index(typeid(d))] << '\n'; std::cout << "a is " << type_names[std::type_index(typeid(a))] << '\n'; std::cout << "b is " << type_names[std::type_index(typeid(*b))] << '\n'; std::cout << "c is " << type_names[std::type_index(typeid(*c))] << '\n'; }
è¾åºï¼
i is int d is double a is A b is B c is C
åé
| 嫿æä¸ªç±»åçä¿¡æ¯ï¼ç±å®ç°çæã è¿æ¯ typeid è¿ç®ç¬¦æè¿åçç±»ã (ç±») |