Discussion :

[lichman]

Bonjour,

J'ai une fonction:

Code :

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

1
2
3
4
5
template<int val>
void P() 
{
 //...
}

et je l'utilise ainsi:

Code :

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

1
2
3
4
5
6
7
int main()
{
 //...
 int i=2;
 P<i>();
 //...
}

Il m'affiche le message d'erreur suivant: 'i' cannot appear in a constant-expression

Comment regler l'erreur?

Merci

[fumidu]

Le but de ton code n'est pas très clair.
Tu veux faire une fonction template P sans argument ?
Es-tu sur d'avoir besoin de template dans ce cas ?

je te propose deux solutions :
1) pas de template, et P prend un argument:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
void P(int val) 
{
 //...
}
 
//..
 
int main() 
{
  //...
  int i=2;
  P(i);
  //... 
}

ou un seul paramètre de type variable dans P :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template<typename T>
void P(T val) 
{
 //...
}
 
//..
 
int main() 
{
  //...
  int i=2;
  P<int>(i);
  //... 
}

[roulious]

Il m'affiche le message d'erreur suivant: 'i' cannot appear in a constant-expression

Un paramètre non-type de template doit être une constante. Pour rêgler ton problème, il te faut :

Code :

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

1
2
 
int const i=2;

[lichman]

en fait, j'ai une fonction recursif et j'aimerai ne pas metre de parametre qui ne changera de tout facon pas...
J'ai aussi un autre probleme qui est tres similaire:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
template<int val, void (*fct)(int)>
void P() 
{
 //...
}
 
int main()
{
  //...
  void (*f)(int) = fct;
  P<i, f>();
  //...
}

Il refuse egalement.
Il dit: `f' is not a valid template argument.

[Laurent Gomila]

Ce qu'il faut bien assimiler, c'est que les paramètres templates doivent être connus à la compilation. Tu ne peux donc pas passer des variables.

[lichman]

Ce qu'il faut bien assimiler, c'est que les paramètres templates doivent être connus à la compilation. Tu ne peux donc pas passer des variables.

Ok, merci.

Mais consernant le probleme avec la fonction, vois-tu une erreur?

A+

[Nemehy]

Tu n'as pas le droit de mettre des variables entre <>, tu ne peux mettre que des types, c'est-à-dire "int", "char".... Les <> ne servent pas à passer des paramètres, ce que tu essayes de faire à chaque fois : i et f sont des variables et non pas des types.
Fumidu t'a donné un très bon exemple d'utilisation des templates.

Je ne pense pas que dans ton exemple tu aies besoin des templates.
Pour faire un fonction récursive, tu es quasi-obligé de mettre des paramètres. L'autre solution est d'utiliser des variables globales.

[Laurent Gomila]

Tu n'as pas le droit de mettre des variables entre <>, tu ne peux mettre que des types, c'est-à-dire "int", "char".... Les <> ne servent pas à passer des paramètres, ce que tu essayes de faire à chaque fois : i et f sont des variables et non pas des types.
Fumidu t'a donné un très bon exemple d'utilisation des templates.

On peut très bien passer des constantes. Donc notamment des entiers, et des pointeurs.

[lichman]

On peut très bien passer des constantes. Donc notamment des entiers, et des pointeurs.

Tu pourrais me dire où est mon erreur avec le passage de fonction comme parametre du template?

[Laurent Gomila]

Tu pourrais me dire où est mon erreur avec le passage de fonction comme parametre du template?

Tu lui passes une variable. Passe lui directement l'adresse de ta fonction.

[lichman]

En fesant P<i, &f>();
Il m'ecrit:
missing `>' to terminate the template argument list
expected `;' before "f"

Et en fesant ceci: P<i, f>();
Il m'ecrit:
`fct' is not a valid template argument
it must be the address of a function with external linkage

Je supose qu'on ne passe pas l'adresse d'une fonction avec &
Donc, comment avoir l'adresse de la fonction? Ou alors, mon erreur est ailleur?

Merci de vos reponces

[Jean-Marc.Bourguet]

A nouveau f est une variable, passe-lui directement le pointeur vers la fonction.