variabili statiche a metodi di istanza

Question

Diciamo che ho questo programma:

class Foo { 
public: 
    unsigned int bar() { 
     static unsigned int counter = 0; 
     return counter++; 
    } 
}; 

int main() 
{ 
    Foo a; 
    Foo b; 
} 

(Naturalmente questo esempio non ha senso dato che avevo, ovviamente, dichiaro "contro" come attributo privato, ma è solo per illustrare il problema).

Mi piacerebbe sapere come si comporta C++ in questo tipo di situazione: la variabile "contatore" nel metodo bar() sarà la stessa per ogni istanza?

Answer 1

Sì, verrà condiviso tra tutte le istanze di oggetti di tipo nell'eseguibile. Finché ti trovi in ​​un ambiente singleton, funzionerà come previsto da un contatore condiviso.

In un ambiente con multithreading, si avranno condizioni di gara interessanti per eseguire il debug :).

Answer 2

Per "essere lo stesso per ogni istanza" si intende che ci sarà un'istanza di questa variabile condivisa tra ogni istanza di classe, quindi sì, è corretto. Tutte le istanze della classe utilizzeranno la stessa istanza variabile.

Ma tieni presente che con le variabili di classe devi prendere in considerazione le cose come il multi-threading in molti casi, che è un argomento completamente diverso.

Answer 3

Da Il C++ Programming Language (2a edizione), pagina 200, da Bjarne Stroustrup:

Non utilizzare statica eccezione all'interno delle funzioni [semplici] (§7.1.2) e le classi (§10.2.4).

Answer 4

Hai solo bisogno di capire due cose:

1. variabili statiche vengono memorizzati in un'area statica del programma in esecuzione (che è uguale a quello della variabile globale).
2. L'ambito è limitato dalle regole generali delle parentesi. Inoltre le variabili statiche hanno un collegamento interno.

Answer 5

Il vostro esempio è stato un paio di linee a partire da essere qualcosa che si potrebbe compilare e prova:

#include <iostream> 
using namespace std; 
class Foo { 
public: 
    unsigned int bar() { 
     static unsigned int counter = 0; 
     return counter++; 
    } 
}; 

int main() 
{ 
    Foo a; 
    Foo b; 

    for (int i=0; i < 10; i++) 
     cout<<i<<". "<<a.bar()<<"/"<<b.bar()<<endl; 
} 

L'output è simile al seguente:

0. 1/0 
1. 3/2 
2. 5/4 
3. 7/6 
4. 9/8 
5. 11/10 
6. 13/12 
7. 15/14 
8. 17/16 
9. 19/18 

Quindi sì, il contatore è condiviso in tutta tutte le istanze