Discussion :

[robosara]

Bonjour,

J'ai le code suivant :

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
template<typename T>
T FromString(const std::string & Str, bool & Res)
{
   T Dest = T();
   std::istringstream iss( Str );
   Res = iss >> Dest != 0;
   return Dest;
}
 
template<>
bool FromString<bool>(const std::string & Str, bool & Res) 
{
	bool Dest = false;
// Trucs differents
	return Dest;
}

Pb, vraisemblablement à cause de la signature, j'obtiens des pbs au link (code déjà défini).
Comment faire dans une situation pareille lorsque le type de template n'apparait pas en passage de paramètres ?

Je veux pouvoir faire des
int toto = FromString<int>(...);
bool toto = FromString<bool>(...);
La bonne fonction étant automatiquement appelée...

Merci pour vos remarques

[Emmanuel Deloget]

Il faut rajouter le mot clef inline si je ne m'abuse.

[3DArchi]

Il faut rajouter le mot clef inline si je ne m'abuse.

Tu ne t'abuses pas.

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
template<typename T>
inline T FromString(const std::string & Str, bool & Res)
{
   T Dest = T();
   std::istringstream iss( Str );
   Res = iss >> Dest != 0;
   return Dest;
}
 
template<>
inline bool FromString<bool>(const std::string & Str, bool & Res) 
{
	bool Dest = false;
// Trucs differents
	return Dest;
}

[screetch]

hmmm j'aurait dit static au lieu de inline
disons pour être pedantic (comme GCC) que l'effet recherché s'obtient avec static, et que inline marche aussi, avec l'effet supplémentaire d'inliner la fonction

or l'effet demandé a l'origine c'est "static" non?

de toutes facons j'aurais mis static inline si le code est assuez court =)

[koala01]

Salut,

hmmm j'aurait dit static au lieu de inline
disons pour être pedantic (comme GCC) que l'effet recherché s'obtient avec static, et que inline marche aussi, avec l'effet supplémentaire d'inliner la fonction

or l'effet demandé a l'origine c'est "static" non?

de toutes facons j'aurais mis static inline si le code est assuez court =)

Non... l'effet demandé est bel et bien celui de inline!

Le mot clé static ne déroge pas au respect de l'ODR (One Definition Rule), et son effet dépend des circonstances.

Dans le plus complexe des cas, tu l'utilise sur une fonction membre d'une classe template sous la forme de

Code :

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

1
2
3
4
5
6
7
8
9
template <typename T>
class MyClass
{
    public:
         static void foo(MyClass const &)
         {
              /*...*/
         }
};

qui va te permettre d'utiliser la fonction sans avoir besoin d'en créer une instance (c'est le but de static ) mais qui, surtout, sera implicitement déclarée inline parce que définie au sein meme de la définition de la classe en question!

Si tu voulais d'ailleurs sortir la définition de la fonction de la classe, tu devrais avoir un code proche de

Code :

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

1
2
3
4
5
6
7
8
9
10
11
template <typename T>
class MyClass
{
    public:
         static void foo(MyClass const &);
};
 
inline void MyClass::foo(MyClass const &)
{
    /*...*/
}

C'est en effet le seul moyen pour que l'éditeur de liens ne s'étonne pas de trouver plusieurs implémentations de fonctions représentées par le même symbole, car, en dehors de toute instanciation explicite, il ne faut pas oublier que le compilateur ne pourra créer le code binaire correspondant à la fonction que... lorsqu'il saura par quel type effectif remplacer T !!!

Il est donc tout à fait possible que tu te retrouve, le compilateur travaillant comme il le fait, dans une situation où tu auras une implementation de MyClass<int>::foo dans XXX.cpp et une autre dans YYY.cpp, simplement pare que le compilateur "oublie" ce qu'il a pu faire entre XXX.cpp et YYY.cpp, à charge pour l'éditeur de liens de "remettre de l'ordre".

Il n'est pas exclus, si la fonction n'est pas effectivement inlinée, que l'éditeur de liens ne corrige les symboles appelés et ne fasse en sorte qu'il n'y ait pour finir qu'un code binaire de la fonction correspondante, mais seul le mot clé pourra le prévenir qu'il doit agir de la sorte

[PhilIvey]

Bonjour,



Pb, vraisemblablement à cause de la signature, j'obtiens des pbs au link (code déjà défini).
Comment faire dans une situation pareille lorsque le type de template n'apparait pas en passage de paramètres ?

Je veux pouvoir faire des
int toto = FromString<int>(...);
bool toto = FromString<bool>(...);
La bonne fonction étant automatiquement appelée...

Merci pour vos remarques

J'ai l'impression, que tu dois inclure ta spécialisation ( et sa définition...) dans de multiples fichiers sources, et elle doit se retrouver dans de multiples fichiers objets.

Parce que ton code compile sans problème de link.

Essaies en déclarant uniquement ( ta spécialisation) dans ton fichier header, et la définissant dans un fichier source unique.

[robosara]

Merci à tous pour vos réponses.

Ca fonctionne bien en mettant le "inline" au bon endroit

[screetch]

je suis pas d'accord avec toi pour le coup;
on parlait de fonctions libres, pas de fonctions de classe, donc je parlais de la version "C" de static.

[gl]

je suis pas d'accord avec toi pour le coup;
on parlait de fonctions libres, pas de fonctions de classe, donc je parlais de la version "C" de static.

Avec inline, le compilateur accepte de voir plusieurs définition identique de la fonction mais celle ci n'est réellement présente qu'une seule fois dans l’exécutable (voir aucun si c'est inliné à chaque fois).

Avec static, la fonction n'est visible que de l'unité de compilation courante, elle peut donc être visible plusieurs fois par le compilateur sans souci. Par contre il existera potentiellement plusieurs exemplaire du code de cette fonction dans l'exécutable final.

Dans les deux cas, sauf réglage particulier du compilateur, la fonction sera inlinée ou non en fonction des critères de décision du compilateur (il n'a pas l'obligation d'inlinée une fonction inline ni l'interdiction de le faire sur d'autres fonctions).
En C++ on utilise un namespace anonyme plutôt que static.

[screetch]

je veux bien un lien ou une preuve =)

[koala01]

je veux bien un lien ou une preuve =)

lix.polytechnique.fr :

static functions are functions that are only visable to other functions in the same file.

Le problème avec les fonctions template, c'est que le compilateur a impérativement besoin du code C++ pour générer le code binaire correspondant car chaque fois qu'il va utiliser T, il devra prévoir plus ou moins de place si T est un char, un int ou n'importe quel type personnel

Du coups, la définition de la fonction se trouvant dans le fichier d'en-tête, la dite fonction serait visible partout où le fichier est inclus, de manière directe ou indirecte...

Le bénéfice du mot clé static (dans son acception C du terme) est donc nul, ou peut s'en faut

En outre, il faut vraiment que ni le compilateur ni l'éditeur de liens ne s'étonne de trouver potentiellement plusieurs (ou aucune) fois la définition de la fonction