Discussion :

[scheme]

Bonjour à tous,

Aujourd'hui je me suis rendu compte que gcc permettait la compilation d'un code qui comporte une erreur au runtime. J'aimerais savoir comment le compilateur interprète ce code et pourquoi il laisse passer cette erreur.

J'ai deux classes QValues et PQuanta:

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
 template<typename PDT>
  class QValues{
 
  public:
 
    //la fonction est bidon, je montre juste un fragment du code intéressant
    void append(const vector<vector<vector<PDT> > >& vvv, pair<PDT,PDT> p_ab){
        int n = 0;
        for(unsigned int nc=1; nc<vvv_val_[n].size(); nc++) {
            //la ligne suivate ne devrait pas compiler car j'essaie de multiplier un vector<PDT> par un PDT, ce qui n'est pas permis il me semble
	    vvv[n][nc] *= p_ab.first;
	}
    }
 
//Voici ma deuxieme classe:
 
   class PQuanta : public QValues<double> {
 
    }

J'ai enlevé beaucoup de code mais l'important est que chez moi cela compile et je ne comprend pas pourquoi, je pensais que gcc remplaçait PDT par double et donc ça revient à faire le même calcul que:

Code :

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

1
2
vector<double> v(10, 5.0);
v *= 2;

Or cette opération ne compile pas car l'opérateur *= n'est pas défini pour cette opération, alors pourquoi gcc accepte de compiler l'opération dans le code précédent ? Est-du au paramètre template ?

Merci d'avance de vos réponses

[screetch]

sous GCC les templates sont créés partiellement, seules les fonctions appelées sont instanciées. le code n'est pas compilé tant que tu n'appelles pas donc pas d'erreur.
Sous visual studio, le code n'est même pas vérifié tant que le template n'est pas instancié, si tu ecris n'importe quoi dans un template qui n'est pas utilisé ca compilera quand même. Par contre des qu'une classe template est instancié, toute ses méthodes sont instanciées au contraire de GCC. D'où l'erreur.

[Goten]

Par contre des qu'une classe template est instancié, toute ses méthodes sont instanciées au contraire de GCC.

T'as des sources pour ça? Parce que c'est pas standard comme comportement... (imagine le bloat... :' )

[scheme]

Bonjour et merci de ta réponse
Pourrais-tu développer un peu cette phrase "sous GCC les templates sont créés partiellement" ?

Est-ce que ça veut dire que quand on utilise des containers gcc se limite au type du container et ne se préoccupe du type contenu qu'a l'instanciation ?

Par exemple pour un vector<ObjetLambda> comment cela se passe ?

[screetch]

oui apparemment j'ai menti, elles sont juste compilées, apparemment juste pour le plaisir puisqu'elles ne finissent pas dans le fichier compilé.

[screetch]

ce que je voulais dire par la, c'est que tant qu'on appelle pas push_back, la méthode push_back n'est pas instanciée.
Sous GCC, si elle ne compile pas, c'est même pas grave.
En revanche, sous visual studio, si elle ne compile pas, c'est plus grave.

[scheme]

Peut-on m'expliquer la création "partielle" des templates sous gcc ?

[screetch]

c'est en fait presque la même sous GCC et Visual Studio, sauf que visual studio pousse la compilation un peu plus loin.

Lorsque tu as une classe template avec, mettons, deux methodes dedans, la "classe" est instanciée, mais pas ses méthodes (pas tout de suite). Le compilateur génère donc le stockage.
Toute les méthodes virtuelles sont instanciées immédiatement, celles la on ne peut pas y couper

donc dans une classe:

Code :

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

1
2
3
4
5
6
7
8
template< typename Pouet > class Ptr
{
  Pouet* m_ptr;
public:
  Ptr() { m_ptr = nullptr; }
  Ptr(Pouet* p) { m_ptr = p; }
  virtual ~Ptr(); // c'est pour l'exemple, faites pas ca chez vous
};

lorsque le compilateur voit:

Code :

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

Ptr<Pouet> p;

il va:
- générer (instancier) la classe Ptr (dans le sens, son stockage, la taille de Pouet*)
- générer la méthode virtuelle ~Ptr (pas le choix)
dans un deuxieme temps, puisqu'on fait appel au constructeur par défaut, il va instancier Ptr<Pouet>:tr() puisqu'il en a besoin

comme on a pas besoin de la troisième méthode, il s'en fout.