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
#include 

template
void print_decayed_type() {
    using decayed_type = typename std::decay::type;
    std::cout<< typeid(decayed_type).name()<< std::endl;
}

int main() {
    int arr[5];
    void func() {}

    print_decayed_type(); // 输出: int*
    print_decayed_type(); // 输出: void (*)()

    return 0;
}

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