C ++模板，用于区分静态数组、指针和结构体

以下是一个C++模板的示例，用于区分静态数组、指针和结构体：

#include <iostream>
#include <type_traits>

template <typename T>
struct TypeInfo {
    static std::string GetTypeName() {
        return "Unknown Type";
    }
};

template <typename T, size_t Size>
struct TypeInfo<T[Size]> {
    static std::string GetTypeName() {
        return "Static Array";
    }
};

template <typename T>
struct TypeInfo<T*> {
    static std::string GetTypeName() {
        return "Pointer";
    }
};

template <typename T>
struct TypeInfo<T*> {
    static std::string GetTypeName() {
        return "Pointer";
    }
};

template <typename T>
void PrintType() {
    std::cout << TypeInfo<T>::GetTypeName() << std::endl;
}

int main() {
    int arr[5];
    int* ptr = arr;

    PrintType<int>();           // Unknown Type
    PrintType<int[]>();         // Static Array
    PrintType<decltype(arr)>(); // Static Array
    PrintType<int*>();          // Pointer
    PrintType<decltype(ptr)>(); // Pointer

    return 0;
}

在这个示例中，我们定义了一个TypeInfo模板结构体，它包含一个GetTypeName静态函数，用于返回类型的名称。然后，我们针对不同的类型进行了特化：

• 对于静态数组，我们使用部分特化来定义一个新的TypeInfo结构体，将它标识为"Static Array"。
• 对于指针，我们也使用部分特化来定义另一个TypeInfo结构体，将它标识为"Pointer"。
• 对于其他类型，我们使用默认的TypeInfo结构体，将其标识为"Unknown Type"。

最后，在main函数中，我们使用PrintType模板函数来演示如何使用这些TypeInfo特化来打印不同类型的名称。

这个示例可以区分静态数组、指针和其他类型，并打印相应的类型名称。当然，你可以根据需要进行修改和扩展。