Discussion :

[Meseira]

Bonjour à tous,

je suis en train d'essayer de mettre en place une classe d'énumération comme expliquée dans "When enum just isn't enough" et je pense avoir un problème avec l'initialisation d'un membre statique dans une classe template (m_instances dans Enum<T>).

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
/* Enum.hpp */
#ifndef ENUM_HPP
#define ENUM_HPP
 
#include <set>
 
template<typename T>
class Enum
{
  protected:
    explicit Enum(int value) : m_value(value) { m_instances.insert(this); }
  public:
    typedef std::set<const Enum<T> *> instances_set;
    int GetValue() const { return m_value; }
  private:
    int m_value;
    static instances_set m_instances;
};
 
template<typename T>
typename Enum<T>::instances_set Enum<T>::m_instances;
 
#endif

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
/* EnumTest.hpp */
#ifndef ENUMTEST_HPP
#define ENUMTEST_HPP
 
#include "Enum.hpp"
 
class EnumTest : public  Enum<EnumTest>
{
  private:
    explicit EnumTest(int value) : Enum<EnumTest>(value)  {}
  public:
    static const EnumTest E11;
    static const EnumTest E12;
};
 
#endif

Code :

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

1
2
3
4
5
/* EnumTest.cpp */
#include "EnumTest.hpp"
 
const EnumTest EnumTest::E11(11);
const EnumTest EnumTest::E12(12);

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
/* main.cpp */
#include "EnumTest.hpp"
#include <iostream>
 
int main()
{
  EnumTest e(EnumTest::E11);
  std::cout << "Value of E11 : " << e.GetValue() << std::endl;
  e = EnumTest::E12;
  std::cout << "Value of E12 : " << e.GetValue() << std::endl;
  return 0;
}

J'en viens maintenant au problème en lui-même: pour fonctionner, ce bout de code dépend étrangement de l'ordre des fichiers passés au compilateur

Code :

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

1
2
3
4
5
6
7
$ g++ main.cpp EnumTest.cpp
$ ./a.out
Value of E11 : 11
Value of E12 : 12
$ g++ EnumTest.cpp main.cpp
$ ./a.out
Erreur de segmentation (core dumped)

Bien entendu, je n'aime pas beaucoup que le bon fonctionnement du code dépende de l'ordre de compilation. Si quelqu'un pouvait m'aider à démêler ce problème, je lui en serais reconnaissant

Bonne journée à tous!

[koala01]

Salut,

En fait c'est "simplement" à cause de ta procédure de compilation...

Il faut, pour que cela fonctionne correctement :

1. compiler EnumTest.cpp seul
2. compiler main.cpp seul
3. effectuer l'édition de liens des deux fichiers *.o obtenus en [1] et [2]

Au final, tes commandes devraient ressembler à quelque chose comme

Code :

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

1
2
3
4
 g++ -c EnumTest.cpp -o EnumTest.o -I.
g++ -c main.cpp -o main.o -I.
g+ main.o EnumTest.o
./a.out

[Emmanuel Deloget]

Je pense surtout que ça a quelque chose à voir avec un problème sur l'ordre de création des variables statiques (ordre d'évaluation des constructeurs) et sur leur durée de vie.

La norme C++ est assez stricte la dessus.

Ceci dit, le code devrait marcher, donc je penche aussi pour un problème sur gcc (enfin, g++).

C'est peut-être quelque chose à reporter sur leur mailing list, histoire d'avoir une réponse plus claire.

[Jean-Marc.Bourguet]

Je pense surtout que ça a quelque chose à voir avec un problème sur l'ordre de création des variables statiques (ordre d'évaluation des constructeurs) et sur leur durée de vie.

La norme C++ est assez stricte la dessus.

Ceci dit, le code devrait marcher, donc je penche aussi pour un problème sur gcc (enfin, g++).

C'est peut-être quelque chose à reporter sur leur mailing list, histoire d'avoir une réponse plus claire.

Je ne vois pas de problème dans le comportement de g++. L'initialisation des membres statiques de de spécialisations non explicites de templates de classes est non ordonnée et pour que le code fonctionne, il faudrait que l'intialisation de typename Enum<EnumTest>::instances_set Enum<EnumTest>::m_instances soit ordonnée avant les initialisations de EnumTest::E11 et EnumTest::E12.

[koala01]

Je ne sais en fait pas si gcc est sensé créer tous les fichiers objets lorsqu'on lui passe une série de fichiers sources...

Mais, une chose est sure, c'est que si l'on prend effectivement la peine de compiler tous les fichiers les uns après les autres et d'effectuer l'édition de liens sur base des fichiers objets obtenus, il n'y a plus de problème

Et, ce qui est sur aussi, c'est que, lorsque l'on fournit directement l'ensemble des fichiers source avec la commande indiquée par Meseira, il n'y a aucun fichier objet généré

De là à dire qu'il y a effectivement un problème dans le pipe de Gcc... Qu'en penses tu

[Meseira]

Bonsoir à tous,

merci pour vos réponses. Si comme le suggère Koala01, il s'agit d'un problème de pipe de g++, alors pourquoi ai-je toujours le même problème avec l'ordre des fichiers dans l'édition des liens?

Code :

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

1
2
3
4
5
6
7
8
9
$ g++ -c EnumTest.cpp -o EnumTest.o -I.
$ g++ -c main.cpp -o main.o -I.
$ g++ main.o EnumTest.o
$ ./a.out 
Value of E11 : 11
Value of E12 : 12
$ g++ EnumTest.o main.o
$ ./a.out 
Erreur de segmentation (core dumped)

Si je comprends l'explication de Jean-Marc, le problème viendrait du fait que les deux variables statiques E11 et E12 partagent la même variable statique Enum<EnumTest>::m_instances. Or, rien ne nous assure que l'ordre de création des variables statiques E11, E12 et m_instances se fasse de façon à ce que m_instances soit créée avant E11 et E12. Ai-je bien compris l'explication? Si oui, y a-t-il une manière de gérer cet ordre d'initialisation ou bien est-ce que ce pattern de classe d'énumération est "moisi"?

[Emmanuel Deloget]

Je ne vois pas de problème dans le comportement de g++. L'initialisation des membres statiques de de spécialisations non explicites de templates de classes est non ordonnée et pour que le code fonctionne, il faudrait que l'intialisation de typename Enum<EnumTest>::instances_set Enum<EnumTest>::m_instances soit ordonnée avant les initialisations de EnumTest::E11 et EnumTest::E12.

Pétard, je ne fais plus assez de C++. Il faut que je remédie à ça...

[ternel]

tu peux utiliser une fonction avec une variable statique dedans, comme il arrive de le voir pour les singletons.

Regarde dans la faq la section fiasco des statiques et les suivantes.

[Jean-Marc.Bourguet]

Je ne sais en fait pas si gcc est sensé créer tous les fichiers objets lorsqu'on lui passe une série de fichiers sources...

Oui.

Mais, une chose est sure, c'est que si l'on prend effectivement la peine de compiler tous les fichiers les uns après les autres et d'effectuer l'édition de liens sur base des fichiers objets obtenus, il n'y a plus de problème

Non. Ca depend de l'ordre des fichiers dans la ligne de commande, exactement comme quand tu specifies les fichiers .cpp Et si avec des variables globales normales, tu peux eventuellement utiliser le fait que le comportement de gcc et du linker sont definis pour savoir quel ordre utilise, dans le cas des templates, tu ne sais pas avec quel fichier sont associes les membres statiques.

Et, ce qui est sur aussi, c'est que, lorsque l'on fournit directement l'ensemble des fichiers source avec la commande indiquée par Meseira, il n'y a aucun fichier objet généré

Si l'executable est genere, je ne vois pas le probleme.

[Meseira]

tu peux utiliser une fonction avec une variable statique dedans, comme il arrive de le voir pour les singletons.

Merci pour ce conseil, cela règle effectivement le problème. Le fichier Enum.hpp est le seul à changer et devient:

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
#ifndef ENUM_HPP
#define ENUM_HPP
 
#include <set>
 
template<typename T>
class Enum
{
  protected:
    explicit Enum(int value) : m_value(value) { GetInstSet().insert(this); }
  public:
    typedef std::set<const Enum<T> *> instances_set;
    int GetValue() const { return m_value; }
  private:
    int m_value;
    static instances_set & GetInstSet()
    {
      static instances_set set;
      return set;
    }
};
 
#endif

Ainsi, il n'y a plus la variable statique m_instances qui posait problème dans l'ordre aléatoire d'initialisation:

Code :

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

1
2
3
4
5
6
7
8
$ g++ main.cpp EnumTest.cpp 
$ ./a.out 
Value of E11 : 11
Value of E12 : 12
$ g++ EnumTest.cpp main.cpp
$ ./a.out 
Value of E11 : 11
Value of E12 : 12

Merci pour les commentaires et pour votre aide! Je passe en résolu