{"id":5224,"date":"2025-06-11T13:07:40","date_gmt":"2025-06-11T05:07:40","guid":{"rendered":"https:\/\/www.diggoodbox.com\/blog\/?p=5224"},"modified":"2025-06-11T13:07:40","modified_gmt":"2025-06-11T05:07:40","slug":"c-type_traits%e6%80%bb%e7%bb%93","status":"publish","type":"post","link":"https:\/\/www.diggoodbox.com\/blog\/?p=5224","title":{"rendered":"C++ type_traits\u603b\u7ed3<\/type_traits>"},"content":{"rendered":"\n

<\/p>\n\n\n\n

\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
\ud83d\udccc \u4e00\u3001\u5f15\u5165\u7248\u672c<\/strong><\/td>\ud83d\udccc 1. Introduced Versions<\/strong><\/td><\/tr>
C++11 \u6b63\u5f0f\u5f15\u5165 <type_traits>\uff0c\u63d0\u4f9b\u57fa\u7840\u7c7b\u578b\u5224\u65ad\u4e0e\u53d8\u6362\u6a21\u677f\u3002<\/td>Introduced in C++11, providing basic type inspection and transformation templates.<\/td><\/tr>
C++14 \u6dfb\u52a0 _v \u7b80\u5199\u5f62\u5f0f\uff08\u5982 std::is_same_v<T, U>\uff09\u3002<\/td>C++14 added variable template shortcuts (like std::is_same_v<T, U>).<\/td><\/tr>
C++17 \u6dfb\u52a0\u903b\u8f91\u7ec4\u5408\u6a21\u677f\uff08\u5982 conjunction, disjunction\uff09\u3002<\/td>C++17 added logical combination templates (e.g., conjunction, disjunction).<\/td><\/tr>
C++20 \u5f15\u5165 Concepts\uff0c\u589e\u5f3a\u4e86\u7c7b\u578b\u7ea6\u675f\u80fd\u529b\u3002<\/td>C++20 introduced Concepts to enhance type constraint support.<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n
\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
\ud83c\udfaf \u4e8c\u3001\u5f15\u5165\u76ee\u7684<\/strong><\/td>\ud83c\udfaf 2. Purpose of Introduction<\/strong><\/td><\/tr>
\u652f\u6301\u6cdb\u578b\u7f16\u7a0b\uff0c\u63d0\u9ad8\u6a21\u677f\u4ee3\u7801\u7075\u6d3b\u6027\u3002<\/td>Support generic programming with flexible templates.<\/td><\/tr>
\u7f16\u8bd1\u671f\u7c7b\u578b\u5224\u65ad\uff0c\u589e\u5f3a\u7c7b\u578b\u5b89\u5168\u6027\u3002<\/td>Compile-time type checking for safety.<\/td><\/tr>
\u9759\u6001\u51b3\u7b56\u3001\u6761\u4ef6\u542f\u7528\u3001\u6a21\u677f\u7279\u5316\u63a7\u5236\u3002<\/td>Static decision-making, conditional enabling, and specialization control.<\/td><\/tr>
\u652f\u6301\u7c7b\u578b\u53d8\u6362\uff0c\u5982\u53bb\u9664\u5f15\u7528\u3001\u6307\u9488\u3001const \u7b49\u3002<\/td>Support type transformations like removing references, pointers, and const.<\/td><\/tr>
\u63d0\u9ad8\u6027\u80fd\uff08\u5982\u9009\u62e9\u6027\u4f7f\u7528 memcpy\uff09\u3002<\/td>Optimize performance (e.g., selectively use memcpy).<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n
\u4e2d\u6587\uff08\u7c7b\u578b\u5224\u65ad\u6a21\u677f\uff09<\/strong><\/td>English (Type Inspection Templates)<\/strong><\/td><\/tr>
std::is_same<T, U>\uff1a\u5224\u65ad\u7c7b\u578b\u662f\u5426\u76f8\u540c<\/td>std::is_same<T, U>: Checks if two types are the same<\/td><\/tr>
std::is_integral<T>\uff1a\u662f\u5426\u4e3a\u6574\u578b<\/td>std::is_integral<T>: Checks for integral type<\/td><\/tr>
std::is_floating_point<T>\uff1a\u662f\u5426\u4e3a\u6d6e\u70b9\u578b<\/td>std::is_floating_point<T>: Checks for floating-point type<\/td><\/tr>
std::is_pointer<T>\uff1a\u662f\u5426\u4e3a\u6307\u9488\u7c7b\u578b<\/td>std::is_pointer<T>: Checks for pointer type<\/td><\/tr>
std::is_array<T>\uff1a\u662f\u5426\u4e3a\u6570\u7ec4\u7c7b\u578b<\/td>std::is_array<T>: Checks for array type<\/td><\/tr>
std::is_class<T>\uff1a\u662f\u5426\u4e3a\u7c7b\/\u7ed3\u6784\u4f53\u7c7b\u578b<\/td>std::is_class<T>: Checks for class\/struct type<\/td><\/tr>
std::is_enum<T>\uff1a\u662f\u5426\u4e3a\u679a\u4e3e\u7c7b\u578b<\/td>std::is_enum<T>: Checks for enum type<\/td><\/tr>
std::is_base_of<Base, Derived>\uff1a\u57fa\u7c7b\u5173\u7cfb<\/td>std::is_base_of<Base, Derived>: Base\/Derived check<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n
\u4e2d\u6587\uff08\u7c7b\u578b\u53d8\u6362\u6a21\u677f\uff09<\/strong><\/td>English (Type Transformation Templates)<\/strong><\/td><\/tr>
std::remove_const<T>\uff1a\u53bb\u9664 const<\/td>std::remove_const<T>: Remove const<\/td><\/tr>
std::remove_reference<T>\uff1a\u53bb\u9664\u5f15\u7528<\/td>std::remove_reference<T>: Remove reference<\/td><\/tr>
std::remove_pointer<T>\uff1a\u53bb\u9664\u6307\u9488<\/td>std::remove_pointer<T>: Remove pointer<\/td><\/tr>
std::add_const<T>\uff1a\u6dfb\u52a0 const<\/td>std::add_const<T>: Add const<\/td><\/tr>
std::decay<T>\uff1a\u9000\u5316\u4e3a\u666e\u901a\u7c7b\u578b<\/td>std::decay<T>: Decay to regular type<\/td><\/tr>
std::common_type<T1, T2>\uff1a\u63a8\u5bfc\u516c\u5171\u7c7b\u578b<\/td>std::common_type<T1, T2>: Deduce common type<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n
\u4e2d\u6587\uff08\u6761\u4ef6\u63a7\u5236\u6a21\u677f\uff09<\/strong><\/td>English (Conditional Control Templates)<\/strong><\/td><\/tr>
std::enable_if<cond, T>\uff1a\u542f\u7528\/\u7981\u7528\u6a21\u677f<\/td>std::enable_if<cond, T>: Enable\/disable templates<\/td><\/tr>
std::conditional<cond, T, U>\uff1a\u6761\u4ef6\u9009\u62e9<\/td>std::conditional<cond, T, U>: Conditional selection<\/td><\/tr>
std::conjunction<Ts…>\uff1a\u6240\u6709\u6761\u4ef6\u4e3a\u771f<\/td>std::conjunction<Ts…>: All conditions must be true<\/td><\/tr>
std::disjunction<Ts…>\uff1a\u4efb\u4e00\u6761\u4ef6\u4e3a\u771f<\/td>std::disjunction<Ts…>: At least one condition is true<\/td><\/tr>
std::negation<T>\uff1a\u53d6\u53cd<\/td>std::negation<T>: Logical negation<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n

\ud83d\udca1 \u56db\u3001\u5178\u578b\u4f7f\u7528\u573a\u666f\u4e3e\u4f8b | \ud83d\udca1 4. Typical Usage Examples<\/strong><\/h2>\n\n\n\n
\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
\u4f7f\u7528 <\/strong>if constexpr<\/strong> \u8fdb\u884c\u7c7b\u578b\u5206\u652f<\/strong><\/td>Use <\/strong>if constexpr<\/strong> to branch by type<\/strong><\/td><\/tr>
std::is_integral_v<T> \u7528\u4e8e\u5224\u65ad\u662f\u5426\u4e3a\u6574\u578b<\/td>Use std::is_integral_v<T> to check for integer type<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

template<typename T><\/p>\n\n\n\n

void print_type(T val) {<\/p>\n\n\n\n

    if constexpr (std::is_integral_v<T>)<\/p>\n\n\n\n

        std::cout << “\u6574\u578b: ” << val << ‘\\n’;<\/p>\n\n\n\n

    else if constexpr (std::is_floating_point_v<T>)<\/p>\n\n\n\n

        std::cout << “\u6d6e\u70b9\u578b: ” << val << ‘\\n’;<\/p>\n\n\n\n

    else<\/p>\n\n\n\n

        std::cout << “\u5176\u4ed6\u7c7b\u578b\\n”;<\/p>\n\n\n\n

}<\/p>\n\n\n\n

\n\n\n\n
\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
\u4f7f\u7528 <\/strong>std::enable_if<\/strong> \u542f\u7528\u51fd\u6570\u6a21\u677f<\/strong><\/td>Use <\/strong>std::enable_if<\/strong> to enable templates<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

template<typename T><\/p>\n\n\n\n

typename std::enable_if<std::is_pointer<T>::value, void>::type<\/p>\n\n\n\n

print_pointer_info(T ptr) {<\/p>\n\n\n\n

    std::cout << “\u662f\u6307\u9488\\n”;<\/p>\n\n\n\n

}<\/p>\n\n\n\n

\n\n\n\n
\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
\u6807\u7b7e\u5206\u53d1\uff08Tag Dispatch\uff09<\/strong><\/td>Tag Dispatch<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

template<typename T><\/p>\n\n\n\n

void process_impl(T, std::true_type) {<\/p>\n\n\n\n

    std::cout << “\u662f\u6574\u578b\\n”;<\/p>\n\n\n\n

}<\/p>\n\n\n\n

template<typename T><\/p>\n\n\n\n

void process_impl(T, std::false_type) {<\/p>\n\n\n\n

    std::cout << “\u4e0d\u662f\u6574\u578b\\n”;<\/p>\n\n\n\n

}<\/p>\n\n\n\n

template<typename T><\/p>\n\n\n\n

void process(T val) {<\/p>\n\n\n\n

    process_impl(val, std::is_integral<T>{});<\/p>\n\n\n\n

}<\/p>\n\n\n\n

\n\n\n\n
\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
\u4f18\u5316 <\/strong>std::copy<\/strong> \u5185\u90e8\u884c\u4e3a<\/strong><\/td>Optimize behavior inside <\/strong>std::copy<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

template<typename T><\/p>\n\n\n\n

void copy_elements(const T* src, T* dest, size_t count) {<\/p>\n\n\n\n

    if constexpr (std::is_trivially_copyable_v<T>)<\/p>\n\n\n\n

        std::memcpy(dest, src, count * sizeof(T));<\/p>\n\n\n\n

    else<\/p>\n\n\n\n

        std::copy(src, src + count, dest);<\/p>\n\n\n\n

}<\/p>\n\n\n\n

\n\n\n\n

\ud83e\uddfe \u603b\u7ed3 | \ud83e\uddfe Summary<\/strong><\/h2>\n\n\n\n
\u4e2d\u6587<\/strong><\/td>English<\/strong><\/td><\/tr>
<type_traits> \u662f\u7f16\u8bd1\u671f\u7c7b\u578b\u5de5\u5177\u7bb1\uff0c\u6838\u5fc3\u4f5c\u7528\u662f\u63d0\u9ad8\u6a21\u677f\u4ee3\u7801\u7684\u667a\u80fd\u3001\u7075\u6d3b\u6027\u4e0e\u7c7b\u578b\u5b89\u5168\u6027\uff0c\u662f\u73b0\u4ee3 C++ \u6a21\u677f\u7f16\u7a0b\u7684\u91cd\u8981\u57fa\u77f3\u3002<\/td><type_traits> is a compile-time type utility toolbox. It empowers template code to be smarter, more flexible, and type-safe\u2014an essential foundation of modern C++ metaprogramming.<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

\u672c\u6587\u5bf9C++\u7684type_traits\u8fdb\u884c\u8bf4\u660e\u548c\u603b\u7ed3\uff0c\u5305\u62ec\u4f7f\u7528\u7684\u76ee\u7684\u3001\u7c7b\u578b\u53d8\u6362\u3001\u6761\u4ef6\u63a7\u5236\u548c\u5e94\u7528\u793a\u4f8b\u7b49\uff0c\u5927\u5bb6\u53ef\u53c2\u7167\u5b66\u4e60\u548c\u603b\u7ed3\u3002<\/p>\n","protected":false},"author":1,"featured_media":5194,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","footnotes":""},"categories":[17],"tags":[20,35,21,22],"class_list":["post-5224","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technology","tag-c","tag-type_traits","tag-21","tag-22"],"_links":{"self":[{"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/5224","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5224"}],"version-history":[{"count":1,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/5224\/revisions"}],"predecessor-version":[{"id":5225,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/5224\/revisions\/5225"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=\/wp\/v2\/media\/5194"}],"wp:attachment":[{"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5224"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5224"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.diggoodbox.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5224"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}