如何在C++中利用decay進行類型推導(dǎo)

std::decay 是 C++ 標(biāo)準(zhǔn)庫中的一個模板元函數(shù)，它可以將給定的類型轉(zhuǎn)換為其對應(yīng)的“衰減”類型。這通常意味著從給定的類型中移除 cv 限定符（const 和 volatile），并將數(shù)組和函數(shù)類型轉(zhuǎn)換為相應(yīng)的指針類型。std::decay 主要用于實現(xiàn)“類型衰減”以便在模板元編程和泛型編程中更容易處理類型。

以下是如何在 C++ 中使用 std::decay 進行類型推導(dǎo)的示例：

#include<iostream>
#include <type_traits>

template<typename T>
void print_decayed_type() {
    using decayed_type = typename std::decay<T>::type;
    std::cout << "Decayed type of "<< typeid(T).name() << " is "<< typeid(decayed_type).name()<< std::endl;
}

int main() {
    int arr[10];
    print_decayed_type<decltype(arr)>(); // 輸出：Decayed type of int [10] is int*

    void func();
    print_decayed_type<decltype(func)>(); // 輸出：Decayed type of void __cdecl(void) is void (__cdecl*)(void)

    const int& ref = 42;
    print_decayed_type<decltype(ref)>(); // 輸出：Decayed type of int const& is int

    return 0;
}

在上面的示例中，我們定義了一個名為 print_decayed_type 的模板函數(shù)，該函數(shù)接受一個類型參數(shù) T。我們使用 std::decay 來獲取 T 的衰減類型，并將結(jié)果存儲在類型別名 decayed_type 中。然后，我們打印原始類型 T 和衰減類型 decayed_type 的名稱。

注意，typeid(...).name() 返回的類型名稱因編譯器而異，因此輸出可能會有所不同。