web-dev-qa-db-ja.com

パラメータパックの内容を出力する再帰的可変テンプレート

再帰的可変長テンプレートを作成して、パラメータパックの内容を印刷する方法はありますか。私はこれを試していますが、コンパイルできません：

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

再帰を終了するにはどうすればよいですか？

recursionc++11variadic-templatestypeid
40
Gabor Marton

再帰を終了するには部分的な特殊化を使用する必要がありますが、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の欠点の回避策 （およびそれ以下）です。可変個のテンプレートを正しく実装すれば必要ありません。

ideone.comで実際に確認してください

39
Peter Alexander

再帰を終了するには、実際には非常にエレガントな方法があります。

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はゼロ要素になる可能性があります）。次に、この質問は私に決定的な解決策を示しました： 再帰的可変テンプレート関数のコンパイルエラー

少しコードの重複を避けるために、次のことも実行できます。

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...>();
}
42
Aberrant

関数の存在しない部分的な特殊化の代わりに、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;
}
13
Kerrek SB

別の方法として、次の例のようにパラメーターパックをインパックで展開できます。

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

実際には、再帰は必要ありません。

6
skypjack

C++ 17のif constexprを使用すると、これを1つのテンプレート宣言で行うことができます。これは、多くの古いソリューションとは異なり、非常に理解しやすいものです。

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...>();
  }
}
3
user862857