Статические переменные в методах экземпляра

Question

Скажем, у меня есть эта программа:

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

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

(Конечно, этот пример не имеет смысла, так как я бы явно объявить «счетчик» в качестве частного атрибута, но это только для иллюстрации проблема).

Я хотел бы знать, как C++ ведет себя в подобной ситуации: будет ли переменная «counter» в методе bar() быть одинаковой для каждого экземпляра?

Answer 1

Да, counter будет использоваться во всех экземплярах объектов типа Foo в вашем исполняемом файле. До тех пор, пока вы находитесь в однопотоковой среде, он будет работать как ожидаемый, как общий счетчик.

В многопоточной среде у вас будут интересные условия гонки для отладки :).

Answer 2

«Будь то же для каждого экземпляра», вы имеете в виду, что будет один экземпляр этой переменной, общий для каждого экземпляра класса, тогда да, это правильно. Все экземпляры класса будут использовать тот же экземпляр переменной.

Но имейте в виду, что с переменными класса вы во многих случаях должны учитывать такие вещи, как многопоточность, что является совершенно другой темой.

Answer 3

От программирования C++ Language (второе издание), стр 200, Бьярне Страуструп:

Не используйте статическую за исключением внутри [гладкие] функции (§7.1.2) и классы (§10.2.4).

Answer 4

Вам просто нужно понять две вещи:

1. Статические переменные хранятся в статической области выполняющейся программы (которая совпадает с глобальной переменной).
2. Область применения ограничена общими правилами круглых скобок. Кроме того, статические переменные имеют внутреннюю связь.

Answer 5

Ваш пример был пару строк далеко от того, что вы могли бы составить и тест:

#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; 
} 

Результат выглядит следующим образом:

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 

Так что да, счетчик распределяется между все экземпляры.