Discussion :

[Trademark]

Bonjour à tous,

Je me demandais pourquoi on ne pouvait pas faire ça en C++ :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
template <int v1>
struct weight_policy
{
  typedef typename boost::mpl::vector_c<int, v1> weight;
};
 
template <int v1, int v2>
struct weight_policy
{
  typedef typename boost::mpl::vector_c<int, v1, v2> weight;
};

Il s'agirait juste d'un overloading de paramètres template d'une structure.

Si c'est effectivement impossible, pourquoi ? Et quelles seraient les solutions alternatives ?

Merci de votre aide.

[Trademark]

J'ai pu avoir la solution par d'autres moyens. Il faut faire une "forward declaration" de la structure avec X arguments initialisés par défaut à une valeur invalide et puis on spécialise. Voici le code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
template<int weight0, int weight1 = invalid_weight, int weight2 = invalid_weight,  /* repeat some pp
constant # of times, e.g., BOOST_CHECK_LIMIT_WEIGHTS times */, int weight_n = invalid_weight >
struct weight_policy;
 
template< int weight0 >
struct weight_policy< weight0 >
{ /* definition */ };
 
template< int weight0, int weight 1 >
struct weight_policy< weight0, weight1 >
{ /* definition */ };
 
// Use Boost PP repeat to generate the N differents specialisation.

J'espère que ça pourra en aider certains

A bientôt

[Emmanuel Deloget]

C'est la base de la spécialisation de templates : il y a deux choses à savoir : la syntaxe qui doit être utilisée, et le fait qu'on ne peut pas spécialiser quelque chose qui n'a pas été déclaré.