User Tools

Site Tools


cpp:syntax:class:static

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 ''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<random>
 
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";

</code>

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.

cpp/syntax/class/static.txt · Last modified: 2022/11/18 10:47 (external edit)