Discussion :

[mangeclous]

bonjour,

J'ai vu dans une librairie des fonctions déclarées avec le mot
clé static.
Quel est l'intérêt, mais d'abord le sens, d'une fonction static INDéPENDANTE(j'entends qui n'est pas une fonction membre d'une classe) ?

Code :

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

1
2
3
4
static returnType uneFonction(...)
{
    // instructions
}

Merci

[gl]

bonjour,

J'ai vu dans une librairie des fonctions déclarées avec le mot
clé static.
Quel est l'intérêt, mais d'abord le sens, d'une fonction static INDéPENDANTE(j'entends qui n'est pas une fonction membre d'une classe) ?

static returnType uneFonction(...)
{
// instructions
}

Merci

Cette utilisation du mot clé static limite la visibilité de la fonction à l'unité de compilation (i.e. pour faire simple le fichier source) courant. Cette fonction n'est donc pas appelable depuis une fonction située dans un autre fichier source.

[mangeclous]

Cette utilisation du mot clé static limite la visibilité de la fonction à l'unité de compilation (i.e. pour faire simple le fichier source) courant. Cette fonction n'est donc pas appelable depuis une fonction située dans un autre fichier source.

Donc cela limite son utilisation seulement, aucune amélioration de performance ou autre ?

Edit:
En fait je ne suis plus sûr d'avoir compris, j'ai l'exemple d'un projet où
une fonction static indépendante(pour reprendre mon vocabulaire ci-dessus)
qui est appelée dans un autre fichier source(et ça compile bien sûr).

[gl]

En fait je ne suis plus sûr d'avoir compris, j'ai l'exemple d'un projet où
une fonction static indépendante(pour reprendre mon vocabulaire ci-dessus)
qui est appelée dans un autre fichier source(et ça compile bien sûr).

Montres le code concerné.

[mangeclous]

je fais un stage dans une entreprise, je ne peux pas filer le code...

mais l'idée c'est dans un fichier toto.h, j'ai une fonction déclarée static et inline
static inline typeRetour laFonction(...){...}

elle est utilisé dans un autre fichier source machin.cpp
mais le toto.h est included bien sûr.
Si je lis tes explications et celles de msdn
http://msdn.microsoft.com/en-us/library/s1sb61xd.aspx
je ne comprends pas le sens de "static" dans ce cas.

[ram-0000]

le mot clé "inline" sert à indiquer au compilateur que le code de la fonction doit être copié dans le code de l'appelant, il ne doit pas essayer de faire un "call fonction" mais il copie/colle le code. Cela permet d'optimiser le temps d'exécution puisqu'il n'y a plus la sequence call/ret. inline ne devrait être utilisé que pour des toutes petites fonctions (1 seule ligne de code dans la fonction) sinon, cela n'a pas trop de sens et le gain n'est plus intéressant.

Le mot clé static a 2 rôles en C++.
Tout d'abord, en C comme en C++, il permet de définir une fonction dont la visibilité naturelle est limitée au module courant (le .c dans lequelle elle est déclarée). Ainsi, si la fonction mon_print() est déclarée static dans le fichier toto.c, elle ne pourra être appelée que par une des fonctions du fichier toto.tc. Elle ne pourra pas être appelée par la fonction main() dans le fichier main.c par exemple, le linker va émettre une erreur.

Si j'ai parlé de visibilité "naturelle", c'est qu'il est possible par des moyen détournés (pointeur de fonctions) de "violer" cette contrainte, mais ceci est une autre histoire.

Le 2 eme rôle est uniquement valable en C++. Il permet de définir une fonction membre de classe qui peut s'exécuter sans instanciation de la classe. En effet, les fonction static membres de classe ne possède pas de paramètre "this".

Code :

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

1
2
3
4
5
6
7
8
9
10
11
class exemple
{
public:
   inline exemple(void) { nb_instance++; }
   inline ~exemple(void) { nb_instance--; }
 
   inline static int GetNbInstance(void) { return m_nb_instance; }
 
private:
   static int m_nb_instance;
};

Cette classe pourra être utilisée de la manière suivante:

Code :

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

1
2
3
4
5
6
7
8
9
void main(void)
{
   printf("Il y a %d instances actives de la classe exemple\n", exemple::GetNbInstance());
 
   // crée 10 instances de la classe exemple
exemple * tableau = new exemple[10];
 
   printf("Il y a %d instances actives de la classe exemple\n", exemple::GetNbInstance());
}

[gl]

mais l'idée c'est dans un fichier toto.h, j'ai une fonction déclarée static et inline
static inline typeRetour laFonction(...){...}

elle est utilisé dans un autre fichier source machin.cpp
mais le toto.h est included bien sûr.

C'est bien le cas que j'explique plus haut.

Ta fonction est définie dans un header. Elle est donc visible dans tous les fichiers sources qui incluent cet header (directement ou via d'autre header). L'inclusion ne fait que copier le contenu d'un fichier dans un autre avant la compilation.

Tu utilises donc bel et bien la fonction dans l'unité de compilation [1] dans lequel elle est définie.



[1] L'explication que j'ai donnée sur l'unité de compilation dans mon précédent message est effectivement floue. Je ne me souviens plus de la définition précise mais elle comprends le fichier source ainsi que les fichiers inclus par celui-ci

[mangeclous]

@ram-0000:
en fait j'aurai du enlever le "inline" c'est venu un peu en plus du static qui était le fond de mon problème.
J'ai cru comprendre que quand on met inline, en fait c'est le compilo qui optimise si il faut vraiment mettre la fonction inline ou pas.

@both:
Maintenant je pense avoir cerné la notion mais je ne vois toujours pas l'intérêt en fait. Si j'inclus le header j'aurai accès à la fonction ailleurs, comme d'hab quoi. C'est pour empêcher de l'appeler dans une autre librairie, en utilisant extern?

[Steph_ng8]

Déclarer une fonction « static » dans un fichier d'en-tête a en effet un intérêt très limité.
En revanche, le faire dans un fichier d'implémentation, c'est beaucoup plus utile.

C'est d'ailleurs ce que pointent du doigt gl et ram-0000, si l'on fait attention…

Le mot clé static a 2 rôles en C++.
Tout d'abord, en C comme en C++, il permet de définir une fonction dont la visibilité naturelle est limitée au module courant (le .c dans lequelle elle est déclarée). Ainsi, si la fonction mon_print() est déclarée static dans le fichier toto.c, elle ne pourra être appelée que par une des fonctions du fichier toto.tc. Elle ne pourra pas être appelée par la fonction main() dans le fichier main.c par exemple, le linker va émettre une erreur.

Il faut juste faire abstraction de la faute de frappe : le fichier « toto.tc » n'est pas censé exister dans cette explication.

[Nudger]

Déclarer une fonction « static » dans un fichier d'en-tête a en effet un intérêt très limité.

D'un autre côté, dans ce cas, si la fonction n'est pas static, le link plantera car la même méthode sera présente dans chaque unité de compilation qui inclue le header.

[gl]

D'un autre côté, dans ce cas, si la fonction n'est pas static, le link plantera car la même méthode sera présente dans chaque unité de compilation qui inclue le header.

Sauf si la fonction est inline.

[nowahn]

Bonjour,

Vous oubliez une troisième utilisation du mot clé static, la déclaration d’une variable statique dans une fonction (j’explique pas ce que c’est, je pense que vous savez, sinon, voir la FAQ C).

Une chose qui se passe quand une fonction est déclarée static dans un en-tête, c’est que chaque fichier source dans lequel l’en-tête est inclus possède sa propre fonction, qui porte certe le même nom que celle des autres fichiers sources, mais qui est bien une autre fonction.
Pour s’en convaincre, il suffit de mettre une donnée statique dans ces fonctions :
Fichier EnTete.hpp :

Code C++ :

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

1
2
3
4
5
6
7
8
#ifndef _ENTETE_HPP_
#define _ENTETE_HPP_
 
static int StaticFunction();
 
int CallOtherStaticFunction(); // Cette fonction n’est pas statique.
 
#endif

Fichier Second.cpp :

Code C++ :

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

1
2
3
4
5
6
7
8
9
10
11
12
#include "EnTete.hpp"
 
int StaticFunction() // Version utilisée uniquement dans ce fichier source.
{
   static int StaticData(0);
   return ++StaticData;
}
 
int CallOtherStaticFunction()
{
   return StaticFunction(); // Utilise celle de ce fichier source.
}

Fichier Main.cpp :

Code C++ :

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
#include "EnTete.hpp"
#include <iostream>
 
int StaticFunction() // Version utilisée uniquement dans ce fichier source.
{
   static int StaticData(0);
   return ++StaticData;
}
 
int main()
{
   std::cout << StaticFunction() << '\n'; // Affiche 1
   std::cout << StaticFunction() << '\n'; // Affiche 2
   std::cout << StaticFunction() << '\n'; // Affiche 3
   std::cout << CallOtherStaticFunction() << '\n'; // Affiche 1
   std::cout << StaticFunction() << '\n'; // Affiche 4
 
   return 0;
}

Ce programme affiche la sortie suivante :

Code :

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

1
2
3
4
5
1
2
3
1
4

Ceci peut éventuellement être un comportement désiré.

À propos, l’utilisation du mot clé static pour limiter la portée d’une fonction ou d’une donnée à un fichier source est dépréciée en C++, on préfère utiliser les espaces de noms anonymes. Voir la FAQ ici et là.

[gl]

Une chose qui se passe quand une fonction est déclarée static dans un en-tête, c’est que chaque fichier source dans lequel l’en-tête est inclus possède sa propre fonction, qui porte certe le même nom que celle des autres fichiers sources, mais qui est bien une autre fonction.
Pour s’en convaincre, il suffit de mettre une donnée statique dans ces fonctions :

J'avais songé à le préciser avant de me demander si le compilateur n'était pas en droit de supprimer les doublons lorsque cela ne change pas le comportement (ce qui n'est donc pas le cas avec ton exemple).

Ceci étant, quelque soit la manière dont s'est effectivement implémentée, la remarque est utile. Le code se comporte comme s'il y avait plusieurs fonctions différentes avec le même nom.

À propos, l’utilisation du mot clé static pour limiter la portée d’une fonction ou d’une donnée à un fichier source est dépréciée en C++, on préfère utiliser les espaces de noms anonymes. Voir la FAQ ici et là.

+1.

Mais il n'en reste pas moins qu'il est utile de comprendre le fonctionnement de static vu la quantité de code qui l'utilise (ce qui semble être le cas de la question initiale).

[mangeclous]

merci à tous