Discussion :

[vandamme]

Je pensais que lorsqu'on instanciais une classe template, toutes les fonctions membres (et non membres) de cette classe etaient alors declarees.
Mais cela n'est visiblement pas le cas avec le code suivant ou la fonction membre "constraints" de la classe "IsDerivedFrom" comporte une erreur qui n'est pas vue a la compil alors qu'un objet de type "IsDerivedFrom" est bien cree :

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
 
class Base {};
class Derivee : public Base {};
 
template <typename D, typename B>
class IsDerivedFrom
{
	private:
		void constraints(D* p);
 
	protected:		
		IsDerivedFrom() {}
};
 
template <typename D, typename B>
void IsDerivedFrom<D, B>::constraints(D* p)
{
		B* pb(p);
		pb = 1;  // erreur non detectee a la compil ...
}
 
template <typename T>
class Widget : public IsDerivedFrom<T, Base>
{};
 
int main()
{
	Widget<Derivee> w;
}

Voila, ma question est simple, pourquoi l'erreur dans la fonction constraints n'est pas detectee a la compil alors qu'un objet de type Widget (qui derive de IsDerivedFrom) est bien instancie ?

[Montag]

Salut,

Une fonction membre d'une classe template n'est instanciée que si elle est utilisée. C'est pourquoi la compilation de ton code se déroule correctement.

[Médinoc]

Donc, tu auras sans doute de meilleurs résultats en plaçant ça dans le constructeur.

[screetch]

visual c++ ne parse meme pas le template, il est possible que tu te retrouves avec du code qui n'est meme pas du code. je crois qu'il y a des options pour forcer la compil des membres d'un template.

il y a aussi une syntaxe pour instancier explicitement une classe mais je ne me rappelle plus.

oui c'est tres utile et precis, je sais

[vandamme]

Oui, en appelant la methode dans le constructeur ca marche

[Montag]

visual c++ ne parse meme pas le template, il est possible que tu te retrouves avec du code qui n'est meme pas du code. je crois qu'il y a des options pour forcer la compil des membres d'un template.

Je ne savais pas. Mais c'est vrai que le code ci-dessous n'a pas le même comportement sous gcc et sous visual C++. C'est quand même assez génant surtout que l'idée de parser les templates est, si je ne m'abuses, relativement "vieille".

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
#include <iostream>
 
#ifdef _WIN32
#define __PRETTY_FUNCTION__ __FUNCSIG__
#endif
 
void f(short)
{
  std::cout << __PRETTY_FUNCTION__ << std::endl;
}
 
template<typename T>
void foo()
{
  f(12);
}
 
void f(int)
{
  std::cout << __PRETTY_FUNCTION__ << std::endl;
}
 
int main(void)
{
  foo<char>();
  return 0;
}

[nicroman]

il y a aussi une syntaxe pour instancier explicitement une classe mais je ne me rappelle plus.

Je crois que c'est simplement un truc genre:

Code c++ :

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

1
2
 
template  t_Ptr<rw::core::Namespace::Node>;

Très utile pour 'exporter' une instanciation de template dans une DLL.

Code c++ :

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

1
2
 
template __declspec(dllexport) t_Ptr<rw::core::Namespace::Node>;

[JolyLoic]

A noter que quand on fait une instanciation explicite, toutes les fonctions membre sont créées, contrairement à une instanciation implicite où seul ce qui sert est créé.

[vandamme]

j'aurais plutot dit :

Code :

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

template class t_Ptr<rw::core::Namespace::Node>;

[nicroman]

j'aurais plutot dit :

Code :

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

template class t_Ptr<rw::core::Namespace::Node>;

Ah oui tiens !
J'ai oublié de recopier les mots-clefs "class"