Discussion :

[deubelte]

Bonjour

Je ne vois pas du tout pourquoi le code suivant ne peut pas fonctionner:

Code :

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

1
2
3
template< class T > T check( T );
template< class S > void watch( S (*)(S) );
watch( check );     //error

Autant je comprendrais pourquoi ce code ne peut pas fonctionner:

Code :

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

1
2
3
template< class T > T check( T );
template< class S > void watch( int (*)(S) );
watch( check );     //error

car dans ce cas, on a une fonction qui renvoie un int et qui prend un argument de type S, alors que check renvoie et prend un argument de même type (et encore, le compilateur pourrait automatiquement transformer S en int).
Le compilateur renvoie comme erreur:
no instance of function template matches the argument list.


Mais je ne vois pas du tout pourquoi.

Merci

[bruno_pages]

il y a une erreur parce qu'il faut indiquer les actuals à utiliser, et donc par exemple

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
void f1()
{
  watch<int>( check<int> );
}
 
template < class S>
void f2() 
{ 
  watch<S>( check<S> ); 
}

[Invité]

check n'est pas une fonction, c'est un modèle de fonction; pour avoir une fonction tu peux faire quelque chose du genre :

Code :

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

1
2
 
watch( &check<int> ); // ou char,long,MonType, ...

[deubelte]

C'est quoi les actuals?
C'est la liste des paramètres templates?

[bruno_pages]

C'est quoi les actuals?

les paramètre actuels sont aux paramètres formels ce que les arguments de fonction/operation sont aux paramètres de fonction/operation

Code :

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

1
2
3
template<typename formel1, ..., typename formeln> class C { ... }
 
C<actual1, ...actualn> c;

[deubelte]

Autre question sur les template.
Existe t il des spécialisations de fonctions template, comme il existe de spécialisation de template, mais pour les classes?
merci

[bruno_pages]

cette discussion récente

[Goten]

Autre question sur les template.
Existe t il des spécialisations de fonctions template, comme il existe de spécialisation de template, mais pour les classes?
merci

Non, pas en C++03 tout du moins. (note que les paramètres template par défaut ne sont pas non plus admis sur les fonctions templates)

[3DArchi]

Non, pas en C++03 tout du moins. (note que les paramètres template par défaut ne sont pas non plus admis sur les fonctions templates)

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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#include <iostream>
 
 
template<typename T>
void fonction(T const&)
{
    std::cout<<"generique\n";
}
template<>
void fonction<int>(int const&)
{
    std::cout<<"specialisation\n";
} // --> OK.
 
/*
template<typename T>
void fonction<T*>(T*)
{
    std::cout<<"specialisation partielle\n";
}
--> Erreur
*/
 
int main()
{
    fonction(1);
    fonction("tutu");
    return 0;
}

Ceci dit avant de faire de la spécialisation sur une fonction libre générique, on peut se poser la question de la surcharge.

[Goten]

Autant pour moi, me semblait bien qu'il manquait un petit mot pour que ça soit juste ce que je disais :').