Почему статическая переменная в классе имеет одинаковое значение во всех потоках?

Question

[simply_user]

Здравствуйте!
Если я правильно понимаю статическая переменная класса т.к она находиться на стеке, должна быть у каждого потока своя, и изменение этой переменной в одном потоке не должно изменять её значение в другом. Тогда почему работает представленный код? Смысл этого кода заключается в том, что при изменении статической переменной flag класса SomeClass на true, в других потоках происходит выход из цикла по условию. Но ведь изменение статической переменной в одном потоке не должно влиять на её значение в другом?
Заранее спасибо.

#include <thread>
#include <mutex>
#include <iostream>
#include <locale>

using namespace std;

mutex printMutex;

#define PRINT(text) { lock_guard<mutex> guardPrintMutex(printMutex); cout<<text<<endl;}

class SomeClass
{
public:
	static bool flag;
};

bool SomeClass::flag = false;

void main()
{
	setlocale(LC_ALL, "Russian");

	thread th1([]()
	{
		PRINT("Первый поток начат");
		for (int i = 0; i < 100000; i++)
		{
			if (i == 99999)
			{
				SomeClass::flag = true;
				PRINT("Первый поток завершён.");
			}
		}
	});

	thread th2([]()
	{
		PRINT("Второй поток начат");
		while (true)
		{
			if (SomeClass::flag)
			{
				PRINT("Второй поток завершён.");
				break;
			}
		}
	});

	thread th3([]()
	{
		PRINT("Третий поток начат");
		while (true)
		{
			if (SomeClass::flag)
			{
				PRINT("Третий поток завершён.");
				break;
			}
		}
	});

	th1.join();
	th2.join();
	th3.join();
	system("pause");
}

Answer 1

[Алексей Гусейнов]

Статические переменные располагаются не на стеке, а в области данных. Там же, где и глобальные переменные. Для того, чтобы объявлять потокоспецифичные переменные C++11 ввели спецификатор thread_local.

Answer 2

[Sergey Lagner]

Если я правильно понимаю статическая переменная класса т.к она находиться на стеке, должна быть у каждого потока своя

Неправильно

Comments

[simply_user]

У каждого потока свой стек. Соответственно своя копия переменной. Или она должна быть вне класса объявлена?

[Станислав Макаров]

> статическая переменная класса
> находиться на стеке
как уже было сказано, это утверждение неверно. Статические переменные (что объявленные в классе, что внутри функции) имеют время жизни, независимое от стека. Вот локальные да, они находятся на стеке. Перечитайте еще раз источник или приведите цитату из него.

[simply_user]

Т.е переменная только тогда будет своя для каждого потока, когда она объявлена внутри метода?

[MiiNiPaa]

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

Answer 3

[Владимир Мартьянов]

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

Answer 4

[AxisPod]

Теперь берем книжку C++ для чайников и читаем.

Ну и второе, использовать статическую переменную для остановки треда, это выстрел себе в ногу. При отимизиции и без вы словите разное поведение. Как минимум нужно пометить как volatile (при этом при использовании static переменная будет подвержена оптимизации, в итоге опять будет работать неправильно). А если использовать C++11, то уже лучше std::atomic_flag или std::atomic.