====== Les membres statiques d'une classe ======
Une classe peut définir des éléments dit //statiques//.
Les éléments pouvant être définis comme étant //statiques// sont :
* les fonctions membres ou les méthodes,
* les champs.
Ces éléments sont appelés membres statiques ou membres de classes du fait qu'ils sont accessibles sans qu'il soit nécessaire de construire l'objet. Ainsi la méthode ''execute()'' définie comme statique dans la classe ''A'' pourra être appelée sans qu'il soit nécessaire de créer un objet de type ''A'' mais simplement en faisant référence à la classe par un appel de type ''A::execute()''. De même, le champ ''const double Pi = 3.14'' défini comme statique dans la classe ''B'' pourrait être accéder en faisant référence non pas à une instance de l'objet mais simplement en faisant référence au nome de la classe ''A'', soit ''A::Pi''.
D'une certaine manière, les autres membres de la classe que sont :
* les déclarations de types,
* la définition d'alias de types,
sont par essence liés à la classe et non pas à l'instance de l'objet. D'une certaine manière, ces éléments sont déjà //statiques// par construction.
===== Les fonctions membres statiques =====
Une méthode (ou fonction membre) statique (aussi appelée méthode de classe) est une méthode définie au sein de la classe et préfixée par le mot clé ''static''.
class Complex
{
private:
double m_real;
double m_imaginary;
public:
Complex(double theRealPart, double theImaginaryPart):
m_real(theRealPart), m_imaginary(theImaginaryPart)
{}
static Complex createFromPolar(double rho, double theta)
{
return Complex(rho*cos(theta), rho*sin(theta);
}
};
int main()
{
Complex complex = Complex::createFromPolar(1.41, O.785);
// Create a complex number from its polar coordinate.
}
La méthode ''createFromPolar'' est appellée non pas en passant une référence à une objet mais simplement en la préfixant par le nom de la classe ''Complex::''. Cette méthode ne reçoit aucune référence à l'instance de l'objet. De ce fait, le pointeur [[in204:cpp:syntax:class:this|''this'']] n'est pas accesible et il n'est pas non plus possible d'appeller d'autres méthodes que les méthodes statiques et d'accéder à d'autres champs qu'aux champs statiques.
===== Les champs statiques =====
Un champ //statique// est un champ qui est associé non pas à l'objet instance de la classe mais à la classe elle-même. Ceci signifie que le champ n'est alloué qu'une seule fois et ce pour toutes les instances de la classe.
Le champ //statique// est déclaré comme un champ habituel d'une classe à la différence que la déclaration doit être précédée par le mot-clé ''static''.
==== La déclaration des champs statiques ====
#include
class RandomGenerator
{
private:
static std::random_device m_seed;
static std::mt19937 m_generator;
public:
static UniformGenerator getUniform(int theMinValue, int theMaxValue);
static PoissonGenerator getPoisson(double theMean);
static int get()
{
return m_generator();
}
};
// Classes dérivées
class UniformGenerator: public RandomGenerator
{
private:
sdt::uniform_int_distribution<> m_distribution;
public:
UniformGenerator(int theMinValue, int theMaxValue):
m_distribution(theMinValue, theMaxValue)
{}
int get()
{
return m_distribution(m_generator);
}
};
class PoissonGenerator: public RandomGenerator
{
private:
sdt::poisson_distribution<> m_distribution;
public:
PoissonGenerator(double theMean):
m_distribution(theMean)
{}
int get()
{
return m_distribution(m_generator);
}
};
// Initialisation des champs ''statiques'' qui s'effectue en
// dehors de la classe.
RandomGenerator::m_seed;
RandomGenerator::m_generator(m_seed());
// Définition des méthodes getUniform et
// getPoisson qui ne peuvent être définie
// qu'une fois la définition de ''UniformGenerator''
// et ''PoissonGenerator'' ont été réalisée.
UniformGenerator RandomGenerator::getUniform(int theMinValue, int theMaxValue)
{
return UniformGenerator(theMinValue, theMaxValue);
}
PoissonGenerator RandomGenerator::getPoisson(double theMean)
{
return PoissonGenerator(theMean);
}
L'exemple de code précédent montre comment déclarer les champs statiques :
static std::random_device m_seed;
static std::mt19937 m_generator;
Pour ce faire, il suffit d'ajouter ''static'' devant. Cependant cela ne veut pas dire que les champs statiques sont créés et initialisés. Ils ne sont en fait que déclarés. Il faut ensuite les créer en dehors de la classe.
C'est ce que fait le code un peu plus loin :
// Initialisation des champs ''statiques'' qui s'effectue en
// dehors de la classe.
RandomGenerator::m_seed;
RandomGenerator::m_generator(m_seed());
Les variables ''RandomGenerator::m_seed'' et ''RandomGenerator::m_generator'' sont crées et initialisées.
Maintenant, ces variables peuvent-être accédées soit par l'ensemble des fonctions membres définies dans ''RandomGenerator'' mais aussi dans les classes dérivées de ''RandomGenerator'', dans notre cas ''UniformGenerator'' et ''PoissonGenerator''. Cependant, ''PoissonGenerator'' et ''UniformGenerator'' vont utiliser la même insitance de ''RandomGenerator::m_generator'', l'élément statique ne sera pas dupliqué mais sera partagé entre toutes les instances de ''RandomGenerator'' mais aussi de ses descendants.
Enfin, la méthode ''get'' de ''RandomGenerator'' qui est marquée ''static'' peut elle aussi accédée au champ statique ''RandomGenerator::m_seed''.
En fait malheureusement la situation n'est pas si simple. En effet, si la classe ''RandomGenerator'' est déclarée dans un fichier ''.hpp'', la déclaration :
// Initialisation des champs ''statiques'' qui s'effectue en
// dehors de la classe.
RandomGenerator::m_seed;
RandomGenerator::m_generator(m_seed());
ne peut pas être présente dans le fichier ''.hpp'', puisque ce fichier pourrait être chargée plusieurs fois de suite et dans ce cas, il existerait plusieurs entrées correspond à ''RandomGenerator::m_seed;''. Pour garantir qu'il ne soit généré qu'une seule entrée, il faut donc déclarer les champs dans le fichier ''.cpp'' associé au fichier ''.hpp'' pour garantir l'unicité de la déclaration.
==== Autre syntaxe d'initialisation des champs statiques ====
Il est désormais possible de déclarer le champ statique comme étant ''inline''. Par exemple :
class Field
{
public:
inline static std::string message = "A Message"; // A partir de C++ 17
};
est équivalent à :
class Field
{
public:
static std::string message;
};
et soit dans le même fichier si la classe est déclarée dans un fichier ''.cpp'', soit dans le fichier ''.cpp'' associé au fichier ''.hpp'' dans lequel la classe est déclarée, vous ajoutez :
std::string Field::message = "A message";
Par contre, cette nouvelle syntaxe impose que le type du champ est défini avant la définition de la classe. Si ce n'est pas le cas et que le type est simplement annoncé mais non complètement défini, il sera nécessaire de procéder selon la méthode habituelle.
==== Les champs statiques désignant des constantes ====
Dans ce cas, plusieurs syntaxes d'initialisation sont supportées pour des champs statiques désignant des constantes :
class Integers
{
public:
const static int m_one = 1;
const static int m_two{2}; // à partir de C++11
const static int m_three;
};
const int Integers::m_three = 3;
==== Le problème de l'initialisation des champs statiques ====
L'initialisation des champs statiques est effectué unité de compilation par unité de compilation. Ceci signifie que tous les champs statiques présents dans une unité de compilation est effectivement initialisé avant d'être utilisé. Cependant, il se peut que si un code fait appel à un champ statique d'une classe défini dans une autre unité de compilation et que ce code est appelé avant, dans ce cas, le champ ne sera pas initialisé et donc une erreur se produira au moment du chargement.