Paramètre non-type de modèle de modèle

Question

Je ne suis pas vraiment sûr s'il y a une telle fonctionnalité en C++, et s'il y a je ne peux pas sembler le faire fonctionner, ainsi j'ai décidé de demander. Puis-je avoir un paramètre non-type de modèle de modèle. Quelque chose comme ceci:

template<template<int> class A, int num> 
class C 
{ 
private: 
    A<num> obj; 
}; 

Mon problème principal est que je veux avoir une classe C qui accepte 2 classes comme paramètres de modèle. Ces deux classes se spécialisent sur un paramètre non-type - disons A < 5>, B < 5> et je veux les passer à la classe C qui accepte deux classes comme paramètres de modèle. Je dois m'assurer cependant que ces deux classes se spécialisent sur le même paramètre non-type - par exemple A < 3>, B < 4> ne devrait pas être autorisé en tant qu'arguments à la classe C.

Answer 1

Vous pouvez simplifier votre code avec un « makeC »:

#include <iostream> 

template <template<int> class A, template<int> class B, int N> 
class C { 
    A<N> a; 
    B<N> b; 
}; 

using namespace std; 

template <template<int> class A, template<int> class B, int N> 
C<A,B,N> makeC(A<N> a, B<N> b) { 
    return C<A, B, N>{}; 
} 

template<int N> 
class AImpl { 

}; 

template<int N> 
class BImpl { 

}; 


int main() { 
    auto c = makeC(AImpl<2>{}, BImpl<2>{}); 
    //auto error = makeC(AImpl<1>{}, BImpl<2>{}); 

    return 0; 
}