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::max_align_t
- offsetof
- NULL
- std::bad_typeid
- std::bad_cast
- std::numeric_limits
- std::type_info
- std::ptrdiff_t
- 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
- 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::is_same
std::is_same
| å®ä¹äºå¤´æä»¶ <type_traits>
|
||
| template< class T, class U > struct is_same; |
(C++11 èµ·) | |
è¥ T ä¸ U æååä¸ç±»åï¼èè const/volatile éå®ï¼ï¼åæä¾çäº true çæå常é value ãå¦å value 为 false ã
满足交æ¢å¾ï¼å³å¯¹äºä»»ä½äºä¸ªç±»å T ä¸ U ï¼ is_same<T, U>::value == true å½ä¸ä»
å½ is_same<U, T>::value == true ã
æ·»å is_same æ is_same_v (C++17 èµ·) çç¹åçç¨åºè¡ä¸ºæªå®ä¹ã
è¾ å©å鿍¡æ¿
| template< class T, class U > inline constexpr bool is_same_v = is_same<T, U>::value; |
(C++17 èµ·) | |
ç»§æ¿èª std::integral_constant
æå常é
| value [éæ] |
è¥ T ä¸ U æ¯åä¸ç±»åå为 true ï¼å¦å为 false (å ¬å¼éææå常é) |
æå彿°
| operator bool |
转æ¢å¯¹è±¡ä¸º bool ï¼è¿å value (å ¬å¼æå彿°) |
| operator() (C++14) |
è¿å value (å ¬å¼æå彿°) |
æåç±»å
| Â | |
| ç±»å | å®ä¹ |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
å¯è½çå®ç°
template<class T, class U> struct is_same : std::false_type {}; Â template<class T> struct is_same<T, T> : std::true_type {}; |
示ä¾
è¿è¡æ¤ä»£ç
#include <iostream> #include <type_traits> #include <cstdint>  void print_separator() { std::cout << "-----\n"; }  int main() { std::cout << std::boolalpha;  // ä¸äºå®ç°å®ä¹ç¶åµ std::cout << std::is_same<int, std::int32_t>::value << '\n'; // è¥ 'int' 为 32 ä½åé常为 true std::cout << std::is_same<int, std::int64_t>::value << '\n'; // è¥ä½¿ç¨ ILP64 æ°æ®æ¨¡ååå¯è½ä¸º true  print_separator();  // 'float' å³éæ´æ°ç±»å std::cout << std::is_same<float, std::int32_t>::value << '\n'; // false  print_separator();  // 'int' 为éå¼ç 'signed' std::cout << std::is_same<int, int>::value << "\n"; // true std::cout << std::is_same<int, unsigned int>::value << "\n"; // false std::cout << std::is_same<int, signed int>::value << "\n"; // true  print_separator();  // ä¸åäºå ¶ä»ç±»åï¼ 'char' æ¢é 'unsigned' 亦é 'signed' std::cout << std::is_same<char, char>::value << "\n"; // true std::cout << std::is_same<char, unsigned char>::value << "\n"; // false std::cout << std::is_same<char, signed char>::value << "\n"; // false }
è¾åºï¼
true false false ----- true false true ----- true false false
åé
| (C++11) |
æ£æ¥ç±»åæ¯å¦ä¸ºæ´å (类模æ¿) |
| (C++11) |
使ç»å®çæ´åç±»åæç¬¦å· (类模æ¿) |
| (C++11) |
使ç»å®çæ´åç±»åæ ç¬¦å· (类模æ¿) |