如何创建一个递归可变参数模板来打印出参数包的内容?我正在尝试这个,但它无法编译:
template <typename First, typename ...Args>
std::string type_name () {
return std::string(typeid(First).name()) + " " + type_name<Args...>();
}
std::string type_name () {
return "";
}
我该如何结束递归?
如何创建一个递归可变参数模板来打印出参数包的内容?我正在尝试这个,但它无法编译:
template <typename First, typename ...Args>
std::string type_name () {
return std::string(typeid(First).name()) + " " + type_name<Args...>();
}
std::string type_name () {
return "";
}
我该如何结束递归?
实际上有一种非常优雅的方式来结束递归:
template <typename Last>
std::string type_name () {
return std::string(typeid(Last).name());
}
template <typename First, typename Second, typename ...Rest>
std::string type_name () {
return std::string(typeid(First).name()) + " " + type_name<Second, Rest...>();
}
我最初尝试过template <typename Last>
,template <typename First, typename ...Rest>
但这被认为是模棱两可的(Rest 可以是零元素)。然后这个问题向我展示了最终的解决方案:Recursive Variadic Template Function 上的编译错误
请注意,为避免一些代码重复,您还可以执行以下操作:
template <typename Last>
std::string type_name () {
return std::string(typeid(Last).name());
}
template <typename First, typename Second, typename ...Rest>
std::string type_name () {
return type_name<First>() + " " + type_name<Second, Rest...>();
}
您需要使用部分特化来结束递归,但是由于您不能在 C++ 中部分特化自由函数,因此您需要创建一个具有静态成员函数的实现类。
template <typename... Args>
struct Impl;
template <typename First, typename... Args>
struct Impl<First, Args...>
{
static std::string name()
{
return std::string(typeid(First).name()) + " " + Impl<Args...>::name();
}
};
template <>
struct Impl<>
{
static std::string name()
{
return "";
}
};
template <typename... Args>
std::string type_name()
{
return Impl<Args...>::name();
}
int main()
{
std::cout << type_name<int, bool, char, double>() << std::endl; // "i b c d"
return 0;
}
的第一个声明Impl
只是g++ 4.6 (及以下)中的一个缺点的解决方法。一旦正确实现可变参数模板,就没有必要了。
C++17if constexpr
允许您在一个模板声明中执行此操作,与许多旧的解决方案不同,这很容易理解:
template <typename T, typename ...Args>
std::string type_name() {
if constexpr (!sizeof...(Args)) {
return std::string(typeid(T).name());
} else {
return std::string(typeid(T).name()) + " " + type_name<Args...>();
}
}
作为不存在的函数部分特化的替代方法,您可以在类型符类上使用重载:
#include <string>
#include <iostream>
#include <typeinfo>
template <unsigned int N> struct NumberToType { };
template <typename T>
std::string my_type_name(NumberToType<0> = NumberToType<0>())
{
return std::string(typeid(T).name());
}
template <typename T, typename ...Args>
std::string my_type_name(NumberToType<sizeof...(Args)> = NumberToType<sizeof...(Args)>())
{
return std::string(typeid(T).name()) + " " + my_type_name<Args...>(NumberToType<sizeof...(Args)-1>());
}
int main()
{
std::cout << my_type_name<int, double, char>() << std::endl;
}
作为替代方案,您可以就地解压缩参数包,如下例所示:
#include<string>
#include<iostream>
#include<typeinfo>
template <typename T, typename ...Args>
std::string type_name () {
std::string str = typeid(T).name();
int arr[] = { 0, (str += std::string{" "} + typeid(Args).name(), 0)... };
(void)arr;
return str;
}
int main() {
auto str = type_name<int, double, char>();
std::cout << str << std::endl;
}
实际上不需要递归来做到这一点。