如何在 C++ 编译时打印完整的模板参数

#include<iostream>
#include <type_traits>

template<typename T>
constexpr const char* type_name() {
    return "unknown";
}

template <>
constexpr const char* type_name<int>() {
    return "int";
}

template <>
constexpr const char* type_name<float>() {
    return "float";
}

template <>
constexpr const char* type_name<double>() {
    return "double";
}

template<typename T>
void print_type_name() {
    std::cout << "Type name: "<< type_name<T>() << std::endl;
}

template<typename T>
void print_template_parameters() {
    std::cout << "Template parameters: ";
    print_type_name<T>();
    static_assert(std::is_same<T, int>::value || std::is_same<T, float>::value || std::is_same<T, double>::value, "Only int, float and double are allowed.");
}

int main() {
    print_template_parameters<int>();
    print_template_parameters<float>();
    print_template_parameters<double>();
    //print_template_parameters<char>(); // This will cause a compilation error
    return 0;
}