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

在 C++ 编译时打印完整的模板参数，可以使用编译器的特性来实现。以下是一个示例代码，它使用了 C++11 的 constexpr 和 static_assert 特性来在编译时打印模板参数。

#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;
}

在这个示例中，我们定义了一个 type_name 函数，它返回一个字符串，表示模板参数的类型。然后，我们定义了一个 print_type_name 函数，它使用 type_name 函数来打印模板参数的类型。最后，我们定义了一个 print_template_parameters 函数，它使用 print_type_name 函数来打印模板参数的类型，并使用 static_assert 来确保模板参数只能是 int、float 或 double。

在 main 函数中，我们调用了 print_template_parameters 函数，并传递了 int、float 和 double 类型作为模板参数。如果我们尝试传递其他类型作为模板参数，例如 char，那么编译器将会报错。

这个示例代码可以在 C++11 或更高版本的编译器中编译和运行。