Discussion :

[YéTeeh]

Bonjour,

j'ai une fonction du genre :

Code :

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

1
2
3
4
5
6
7
8
9
10
template< class A >
void f( A& a )
{
    if (...)
    {
      traiter(a);
      B<A> b(a);
      f(b);
    }
}

Je trouve ça super élégant mais, cependant, le compilateur boucle à cause de l'imbrication des types.

Y-aurait-il un moyen de le faire s'arrêter à, disons, dix imbrications ?

Merci

[Matthieu Brucher]

Non, il ne pourrait jamais trouver le code qui va bien
C'est quoi B ? Il est défini comment ?
Il te faut normalement surcharger f() avec le type de fin, comme toute récurrence.

[Pragmateek]

Il te faut normalement surcharger f() avec le type de fin, comme toute récurrence.

C'est un principe de la métaprogrammation:
http://loulou.developpez.com/tutoriels/cpp/metaprog/

[Laurent Gomila]

Ou alors passer le nombre d'itérations, mais ça demandera un peu de bidouille puisque tu ne peux pas spécialiser partiellement une fonction.

[Laurent Gomila]

Simple curiosité, elle fait quoi cette fonction ?

[YéTeeh]

la fonction réduit un problème en variables binaires, un problème de sac à dos plus précisément (on cherche des variables que l'on peut fixer à 1 ou à 0 avant de lancer un branch and bound).

A est un problème, B un sous problème (et donc un problème), contenant les variables de A qui n'ont pas été fixées. On peut quelquefois améliorer la réduction et réitérant sur le sous problème.

Bon, c'est vrai que la réduction est rarement améliorée (du moins, dans mes tests, elle ne l'est jamais). Mais je trouve l'approche assez classe.

Donc si je voulais arrêter la recursivité, il faudrait que je spécialise pour B<B<B<B<B<B<B<B<B<A> > > > > > > > > ? terrible...