递归可变参数模板,用于打印参数包的内容

时间:2011-08-19 17:02:38

标签: recursion c++11 variadic-templates typeid

如何创建递归可变参数模板以打印出参数包的内容? 我正在尝试这个,但它无法编译:

template <typename First, typename ...Args>
std::string type_name () {
    return std::string(typeid(First).name()) + " " + type_name<Args...>();
}
std::string type_name () {
    return "";
}

如何结束递归?

5 个答案:

答案 0 :(得分:39)

实际上有一种非常优雅的方式来结束递归:

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可以是零元素)。这个问题然后向我展示了最终的解决方案:Compilation Error on 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...>();
}

答案 1 :(得分:37)

您需要使用部分特化来结束递归,但由于您无法在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的第一个声明只是a workaround for a shortcoming in g++ 4.6(及以下)。一旦正确实现了可变参数模板,就没有必要了。

Check it out in action at ideone.com

答案 2 :(得分:13)

作为函数的不存在的部分特化的替代方法,您可以在typifier类上使用重载:

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

答案 3 :(得分:4)

作为替代方案,您可以就地解压缩参数包,如下例所示:

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

实际上不需要递归。

答案 4 :(得分:1)

C ++ 17的if 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...>();
  }
}