C++ decay如何处理数组和函数类型

在 C++ 中，std::decay 是一个模板元函数，用于将给定的类型转换为其对应的非引用、非 cv-qualified（即非 const/volatile 限定）类型。这对于处理数组和函数类型特别有用，因为它们会退化为指针类型。

以下是 std::decay 如何处理数组和函数类型的详细说明：

1. 数组类型：当传递数组类型给 std::decay 时，它会将其转换为一个指向数组第一个元素的指针。例如，int[5] 会退化为 int*。
2. 函数类型：当传递函数类型给 std::decay 时，它会将其转换为一个指向该函数的指针。例如，void() 会退化为 void(*)()。

以下是一个使用 std::decay 处理数组和函数类型的示例：

#include<iostream> #include <type_traits>  template<typename T> void print_decayed_type() {     using decayed_type = typename std::decay<T>::type;     std::cout<< typeid(decayed_type).name()<< std::endl; }  int main() {     int arr[5];     void func() {}      print_decayed_type<decltype(arr)>(); // 输出: int*     print_decayed_type<decltype(func)>(); // 输出: void (*)()      return 0; } 

在这个示例中，我们定义了一个名为 print_decayed_type 的模板函数，它接受一个类型参数 T。我们使用 std::decay 来获取 T 的退化类型，并打印其类型信息。当我们传递数组和函数类型给这个函数时，可以看到它们分别被退化为指针类型。