samedi 19 janvier 2019

c++ variadic templates and template template arguments: error: type/value mismatch at argument 1 in template parameter list

I get error: type/value mismatch at argument 1 in template parameter list... when I compile the following code. The compiler is gcc version 8.2.0.

template<typename>
struct t1 {};

template<typename ...>
struct t2 {};

template<typename, typename ...>
struct t3 {};

template<template<typename> class>
struct tt1 {};

template<template<typename ...> class>
struct tt2{};

template<template<typename, typename ...> class>
struct tt3{};


tt1<t2> _1; // error
tt1<t3> _2; // error
tt2<t1> _3;
tt2<t3> _4;
tt3<t1> _5;
tt3<t2> _6; // error

Question: Why _3, _4, _5 are allowed and _1, _2, _6 are wrong?

Aucun commentaire:

Enregistrer un commentaire