具有可变模板的函数

Functions with variadic templates

本文关键字：函数      更新时间：2023-10-16

我想写一个函数模板，它可以接受可变数量的模板参数，只需打印出类型参数的typeid（）.name（）。我可以在类模板中使用静态函数来做类似的事情，如下所示：

template<typename...>
struct foo;
template<typename H, typename... T>
struct foo<H, T...> {
  static void print() {
    std::cout << typeid(H).name() << ", ";
    foo<T...>::print();
  }
};
template<typename H>
struct foo<H> {
  static void print() {
    std::cout << typeid(H).name() << "n";
  }
};
int main(void)
{
  foo<int, float>::print();
  return 0;
}

然而，我无法做到以下几点：

template<typename H, typename... T>
void print() {
  std::cout << typeid(H).name() << ", ";
  print<T...>();
}
int main(void)
{
  print<int, float>();
  return 0;
}

我尝试添加以下"基本"案例：

template<typename H>
void print();

和

void print();

两者都不起作用。如何编写这样的函数模板？

FWIW，我可以使用Clang 3.1和GCC 4.5.1编译以下代码：

#include <typeinfo>
#include <iostream>
template<class T>
void print(){
  std::cout << typeid(T).name();
}
template<typename H, typename T, typename... R>
void print(){
  std::cout << typeid(H).name() << ", ";
  print<T, R...>();
}
int main(){
  print<int, float>();
}

template<typename H>
void print();

这不起作用，因为它与可变重载不明确：两者都可以用单个模板参数调用。

void print();

这不起作用，因为在可变print中，您调用的print<T...>只能匹配print模板，而不能匹配常规函数（即使T...扩展到空参数列表，调用也将是print<>()，而不是print()。）

一种解决方案是将你的变体情况更改为只接受至少两个论点：

template<typename H, typename T1, typename... TRest>
void print() {
  std::cout << typeid(H).name() << ", ";
  print<T1, T...>();
}

现在，应该在递归的底部正确选择一个参数print模板。

我认为以下内容应该在C++11中作为零参数的基本情况使用，但我无法让gcc 4.6接受它：

template<> void print();

您也可以这样做：

void print() {/*...*/} 
template<typename X>   void print() {/*...*/} 
template<typename X, typename Y>   void print() {/*...*/} 
int main()
{
  print();
  print<int>();
  print<int,double>();
  return 0;
}
相关文章：