Ordre d'initialisation des variables statiques de la classe

Question

J'ai une classe A qui possède deux variables statiques. J'aimerais initialiser l'une d'entre elles avec une autre variable statique sans rapport, comme ceci :

#include <iostream>
class A
{
public:
    static int a;
    static int b;
};

int A::a = 200;
int a = 100;
int A::b = a;
int main(int argc, char* argv[])
{
    std::cout << A::b << std::endl;

    return 0;
}

La sortie est de 200. Alors, quelqu'un peut-il me dire pourquoi ?

Answer 1

C'est correct selon les règles de recherche. [basic.lookup.unqual]/13 dit :

Un nom utilisé dans la définition d'un membre de données statiques de la classe X (après l'identifiant qualifié du membre statique) est recherché comme si le nom était utilisé dans une fonction membre de X. [Note : [class.static.data]. nom était utilisé dans une fonction membre de X. [Note : [class.static.data]. décrit plus en détail les restrictions sur l'utilisation des noms dans la définition d'un membre de données statiques. définition d'un membre statique. -fin de la note]

Étant donné que les a est recherché comme si vous êtes à l'intérieur d'une fonction membre, elle doit trouver le membre A::a premier. L'ordre d'initialisation de A::a y A::b n'affecte pas la recherche, bien qu'elle affecte la qualité du résultat.

Answer 2

Alors, quelqu'un pourrait-il me dire pourquoi ?

Ceci est clairement indiqué dans basic.scope.class/4 C'est moi qui souligne :

Le site portée potentielle d'une déclaration qui s'étend jusqu'à la fin ou au-delà de celle-ci d'une définition de classe également s'étend aux régions défini par son même si les membres sont définis lexicalement. en dehors de la classe (cette inclut des définitions de membres de données statiques les définitions de classes imbriquées et des définitions de fonctions membres, y compris le corps de la fonction membre membre et toute partie de la partie déclarante de ces définitions. qui suit le declarator-id, y compris un clause de déclaration de paramètre et tout argument par défaut).

Ainsi, lorsque vous avez

int A::a = 200;
int a = 100;
int A::b = a; // note the '::' scope resolution operator
              // OUTPUT: 200

a se réfère en fait à A::a parce que le portée de la classe es étendu por A::b .

Contrairement à ce que vous avez :

int A::a = 200;
int a = 100;
int b = a; // note b is not A::b
           // i.e. without the '::', scope resolution operator
           // OUTPUT: 100

a se référerait à l'interface (globale) ::a depuis b ici n'est pas un membre de class A ,
c'est-à-dire aucune extension de la portée de la classe.

Answer 3

c++draft/class.static

Si un identifiant non qualifié est utilisé dans la définition d'un membre statique à la suite de l'identifiant du déclarant du membre , et la recherche par nom ([basic.lookup.unqual]) trouve que l'identifiant non qualifié fait référence à un membre statique La classe du membre, l'énumérateur ou le type imbriqué de la classe du membre (ou d'une classe de base de la classe du membre), l'identifiant non qualifié est transformé en une expression d'identifiant qualifié dans lequel le spécificateur nested-name nomme la portée de la classe à partir de laquelle le membre est référencé. [Note : Voir [expr.prim.id] pour les restrictions sur l'utilisation des membres de données non statiques et des fonctions membres non statiques. -fin de la note]

Il est dit que l'expression unqualified-id est transformée en une expression qualified-id dans votre situation.

int A::b = a;

Vous pouvez définir qualified-id mais n'a pas de nested-name-specifier comme ceci.

int A::b = ::a;

Answer 4

Parce que la recherche de nom résout le a como A::a . Si vous voulez faire cela, vous devrez résoudre l'étendue manuellement :

int A::b = ::a;
        // ^ Global scope resolution

Exemple en direct