std::is_same用於在編譯時判斷兩個類型是否完全相同，返回一個bool值。 1. 基本用法中，std::is_same::value在T和U完全相同時為true，否則為false，包括const、引用、指針等修飾符不同都會導(dǎo)致false；2. 可結(jié)合std::remove_const、std::remove_reference等類型trait 去除類型修飾後再比較，實現(xiàn)更靈活的類型判斷；3. 實際應(yīng)用中常用於模板元編程，如配合if constexpr進(jìn)行條件編譯，根據(jù)類型不同執(zhí)行不同邏輯；4. 從C 17起可使用std::is_same_v作為std::is_same::value的簡寫形式，提升代碼可讀性。該類型特徵是C 類型安全檢查和泛型編程的重要工具。

std::is_same是C 標(biāo)準(zhǔn)庫中<type_traits></type_traits>頭文件提供的一個類型特徵（type trait），用於在編譯時判斷兩個類型是否完全相同。它返回一個bool值，通過::value訪問結(jié)果。

下面是一個清晰的std::is_same使用示例：

基本用法示例

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::boolalpha; // 輸出true/false 而不是1/0

    // 判斷基本類型std::cout << "int and int: " 
              << std::is_same<int, int>::value << &#39;\n&#39;; // true

    std::cout << "int and const int: " 
              << std::is_same<int, const int>::value << &#39;\n&#39;; // false

    std::cout << "int and int&: " 
              << std::is_same<int, int&>::value << &#39;\n&#39;; // false

    std::cout << "int and int&&: " 
              << std::is_same<int, int&&>::value << &#39;\n&#39;; // false

    std::cout << "int and double: " 
              << std::is_same<int, double>::value << &#39;\n&#39;; // false

    // 指針類型std::cout << "int* and int*: " 
              << std::is_same<int*, int*>::value << &#39;\n&#39;; // true

    std::cout << "int* and const int*: " 
              << std::is_same<int*, const int*>::value << &#39;\n&#39;; // false

    // 引用類型std::cout << "int& and int&: " 
              << std::is_same<int&, int&>::value << &#39;\n&#39;; // true

    // 使用remove_const 去除const 後比較std::cout << "remove_const_t<const int> and int: " 
              << std::is_same<std::remove_const_t<const int>, int>::value << &#39;\n&#39;; // true

    // 使用remove_reference 去除引用std::cout << "remove_reference_t<int&> and int: " 
              << std::is_same<std::remove_reference_t<int&>, int>::value << &#39;\n&#39;; // true

    return 0;
}

輸出結(jié)果：

 int and int: true
int and const int: false
int and int&: false
int and int&&: false
int and double: false
int* and int*: true
int* and const int*: false
int& and int&: true
remove_const_t<const int> and int: true
remove_reference_t<int&> and int: true

實際應(yīng)用場景

std::is_same常用於模板元編程中，比如：

• 條件編譯邏輯（配合if constexpr ）
• 重載或特化模板
• 類型安全檢查

示例：函數(shù)模板中根據(jù)類型執(zhí)行不同邏輯

#include <iostream>
#include <type_traits>
#include <string>

template<typename T>
void printType(const T& value) {
    if constexpr (std::is_same_v<T, int>) {
        std::cout << "Integer: " << value << &#39;\n&#39;;
    } else if constexpr (std::is_same_v<T, double>) {
        std::cout << "Double: " << value << &#39;\n&#39;;
    } else if constexpr (std::is_same_v<T, std::string>) {
        std::cout << "String: " << value << &#39;\n&#39;;
    } else {
        std::cout << "Unknown type\n";
    }
}

int main() {
    printType(42); // Integer
    printType(3.14); // Double
    printType(std::string{"Hello"}); // String
    return 0;
}

? 注意：C 17 起可以使用std::is_same_v<t u></t>作為std::is_same<t u>::value</t>的簡寫。

基本上就這些。 std::is_same是類型判斷的基石之一，搭配其他type traits 使用非常靈活。

以上是c std :: is_same示例的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！