<![CDATA[Variadic Templates in eurem &quot;Überblick über C++09&quot; - Deklaration Fehler oder gewollt?]]>Hier wird ja das Template-Struct count_args mit einem Template-Parameter deklariert, das einen "Parameter-Pack" darstellt (...Args):

//count_args zählt, mit wie vielen Template-Parametern es instanziiert wird
template <typename ...Args>
struct count_args;

Hier kommt dann auf einmal noch ein Template-Parameter (T) ins Spiel, hat das so seine Richtigkeit?

template <typename T, typename ...Args>
struct count_args<T, Args...>
{
   static int const value = 1 + count_args<Args...>::value;
};

Hier wird doch T auch wieder nicht verwendet:

static int const value = 1 + count_args<Args...>::value;
]]>https://www.c-plusplus.net/forum/topic/271477/variadic-templates-in-eurem-quot-überblick-über-c-09-quot-deklaration-fehler-oder-gewolltRSS for NodeSat, 29 Aug 2026 13:41:49 GMTThu, 29 Jul 2010 06:50:53 GMT60<![CDATA[Reply to Variadic Templates in eurem &quot;Überblick über C++09&quot; - Deklaration Fehler oder gewollt? on Thu, 29 Jul 2010 06:50:53 GMT]]>Hier wird ja das Template-Struct count_args mit einem Template-Parameter deklariert, das einen "Parameter-Pack" darstellt (...Args):

//count_args zählt, mit wie vielen Template-Parametern es instanziiert wird
template <typename ...Args>
struct count_args;

Hier kommt dann auf einmal noch ein Template-Parameter (T) ins Spiel, hat das so seine Richtigkeit?

template <typename T, typename ...Args>
struct count_args<T, Args...>
{
   static int const value = 1 + count_args<Args...>::value;
};

Hier wird doch T auch wieder nicht verwendet:

static int const value = 1 + count_args<Args...>::value;
]]>https://www.c-plusplus.net/forum/post/1933393https://www.c-plusplus.net/forum/post/1933393Thu, 29 Jul 2010 06:50:53 GMT<![CDATA[Reply to Variadic Templates in eurem &quot;Überblick über C++09&quot; - Deklaration Fehler oder gewollt? on Thu, 29 Jul 2010 06:55:37 GMT]]>Achso ich glaub ich habs verstanden: Damit es nicht in einer endlosen Rekursion endet, wird noch ein "Dummy"-Parameter angegeben, der den ersten entpackten Typen aufnimmt. Dann macht alles Sinn 😃

Wäre schön, wenn das noch im Artikel erwähnt werden würde.

]]>https://www.c-plusplus.net/forum/post/1933395https://www.c-plusplus.net/forum/post/1933395Thu, 29 Jul 2010 06:55:37 GMT<![CDATA[Reply to Variadic Templates in eurem &quot;Überblick über C++09&quot; - Deklaration Fehler oder gewollt? on Thu, 29 Jul 2010 06:58:21 GMT]]>Abgesehen davon, dass man dieses Klassentemplate nicht braucht -- denn es gibt ja den sizeof...-Operator -- ja, das hat so seine Richtigkeit.

template<class...Args>
struct count_args {
  static int value = 0;
};

template<class T, class...Rest>
struct count_args<T, Rest...> {
  static int value = 1 + count_args<Rest...>::value;
}

Für count_args<> greift das "Mutter-Template" mit value=0.

Alles andere sind Fälle mit mindestens einem Typparameter, also <T,Mehr...> wobei Mehr ein leeres Argumentpack sein kann. Da greift also die partielle Spezialisierung.

]]>https://www.c-plusplus.net/forum/post/1933398https://www.c-plusplus.net/forum/post/1933398Thu, 29 Jul 2010 06:58:21 GMT