Bibliothèques dynamiques / gcc-4.6.3

Version imprimable

10/05/2012, 15h40
debutant100

Bibliothèques dynamiques / gcc-4.6.3

Bonjour,

Je tente de compiler un programme c++ avec le compilateur gcc-4.6.3 installé par défaut dans ubuntu 12.04.

A l'édition de liens je lie le programme avec des
bibliothèques dynamiques qui sont construites par ailleurs.
Certaines de ces bibliothèques ont pour role de faire des
initilisations.
Il se trouve que lorque je lance le programme, certaines
ne sont pas chargées et des initialisations ne sont pas
faites.

Ce probleme est apparu avec gcc-4.6.3.

Y a t-il des options à utiliser à l'édition de liens ou
lors de la création de bibliothèques dynamiques pour être
sur que toutes les bibliothèques sont chargées (dans un certain
ordre éventuellement) à l'exécution ?

Merci

J'ai un petit exemple qui montre ce que je veux dire.

Code:

1
2
3
4
5
6
7
8
9
10
 
// integer_vector.h
 
#ifndef integer_vector_h
#define integer_vector_h 
 
void set(int ipos, int ival);
int  get(int ipos);
 
#endif

Code:

1
2
3
4
5
6
7
8
9
10
 
// integer_vector.cpp
 
#include "integer_vector.h"
#include <vector>
 
std::vector<int> int_vec(100,0);
 
void set(int ipos, int ival) { int_vec[ipos] = ival;}
int  get(int ipos)           { return int_vec[ipos];}

Code:

1
2
3
4
5
6
7
8
9
10
11
12
 
// init_vector.cpp
 
#include "integer_vector.h"
 
bool init_vector()
{
  set(0,20);
	return true;
}
 
bool is_init = init_vector();

Code:

1
2
3
4
5
6
7
8
9
10
 
// main.cpp
 
#include "integer_vector.h"
#include<iostream>
 
int main()
{
	std::cout<<"vec [0]:  "<<get(0)<<"\n";
}

Code:

1
2
3
4
5
6
7
8
9
 
// Makefile
exec:
	g++ -c integer_vector.h integer_vector.cpp 
	g++ -c integer_vector.h init_vector.cpp
	g++ -c integer_vector.h main.cpp
	g++ -shared integer_vector.o -o lib_integer_vector.so
	g++ -shared init_vector.o    -o lib_init_vector.so lib_integer_vector.so
	g++ main.o -o main lib_integer_vector.so lib_init_vector.so

Tout se passe comme si lib_init_vector.so n'était jamais chargée
et donc l'initialisation jamais faite. Le print dans main.cpp donne 0
au lieu de 20.
Avec certains compilateur ca passe avec d'autres non.

11/05/2012, 12h36
Ekleog

Il me semble que la norme n'oblige pas le compilateur à effectuer les effets de bord, si il peut optimiser.
La solution serait sûrement quelque chose comme : bool init() { set(20); return check(20); } ; avec check qui renvoie true ou false selon si l'initialisation a bien marché.
Sinon, sous GCC, il y a __attribute__((constructor)).
Enfin, il me semble qu'il est plus propre de déclarer une classe dont le ctor fait tout le boulot (et le dtor la désinitialisation), et de placer une variable globale ayant pour type la classe.