switchのネスト下での複数のrandom_deviceでのstack overflow

Question

前提・実現したいこと

かなり変な設計ではありますが以下のようなコードでstack overflowの警告が出ます.
switchのネスト下で複数のMersenneTwister(std::mt19937_64)を使用することでおきます.
これはネストが問題でしょか
MTの複数宣言が問題でしょうか
以下のような同一アルゴリズムならstd::random_device seed_gen;の位置を変更することで解決すると思いますがdistributionの範囲を変えたりとしてこの形を変更できない場合どのような解決策があるのでしょうか

発生している問題・エラーメッセージ

C6262
関数はスタックの '30228' バイトを使用します: /analyze:stacksize '16384' を超えています。
データの一部をヒープに移動することを考慮してください。

実際のソースコード

#include <iostream>
#include <random>

int hoge(int, int, int, int);

int main()
{
	hoge(2, 5, 5, 5);

	return 0;
}

int hoge(int s, int x, int y, int z)
{
	int a = 0;
	
	switch (s)
	{
	case 1:
	{
		switch (s)
		{
		case 1:
		{
			std::random_device seed_gen;
			std::mt19937_64 engine(seed_gen());
			std::uniform_int_distribution<> dist(0, 1);

			for (int i = 0; i < z; i++)
			{
				for (int j = 0; j < y; j++)
				{
					for (int k = 0; k < x; k++)
					{
						a = dist(engine);
					}
				}
			}
		}
		break;

		case 2:
		{
			std::random_device seed_gen;
			std::mt19937_64 engine(seed_gen());
			std::uniform_int_distribution<> dist(0, 1);

			for (int i = 0; i < z; i++)
			{
				for (int j = 0; j < y; j++)
				{
					for (int k = 0; k < x; k++)
					{
						int a = dist(engine);
					}
				}
			}
		}
		break;

		case 3:
		{
			std::random_device seed_gen;
			std::mt19937_64 engine(seed_gen());
			std::uniform_int_distribution<> dist(0, 1);

			for (int i = 0; i < z; i++)
			{
				for (int j = 0; j < y; j++)
				{
					for (int k = 0; k < x; k++)
					{
						int a = dist(engine);
					}
				}
			}
		}
		break;

		default:
			break;
		}
	}
	break;

	case 2:
	{
		switch (s)
		{
		case 1:
		{
			std::random_device seed_gen;
			std::mt19937_64 engine(seed_gen());
			std::uniform_int_distribution<> dist(0, 1);

			for (int i = 0; i < z; i++)
			{
				for (int j = 0; j < y; j++)
				{
					for (int k = 0; k < x; k++)
					{
						a = dist(engine);
					}
				}
			}
		}
		break;

		case 2:
		{
			std::random_device seed_gen;
			std::mt19937_64 engine(seed_gen());
			std::uniform_int_distribution<> dist(0, 1);

			for (int i = 0; i < z; i++)
			{
				for (int j = 0; j < y; j++)
				{
					for (int k = 0; k < x; k++)
					{
						int a = dist(engine);
					}
				}
			}
		}
		break;

		case 3:
		{
			std::random_device seed_gen;
			std::mt19937_64 engine(seed_gen());
			std::uniform_int_distribution<> dist(0, 1);

			for (int i = 0; i < z; i++)
			{
				for (int j = 0; j < y; j++)
				{
					for (int k = 0; k < x; k++)
					{
						int a = dist(engine);
					}
				}
			}
		}
		break;

		default:
			break;
		}
	}

	break;

	default:
		break;

	}
	

	return 0;
}

補足情報

Windows10 Pro
VisualStudio2019 Community

Answer 1

ブロックを抜ければ開放されますし、コード分析の誤検知でしょう。
switchのネストは関係ありません。外側のswitchを除去してもC6262は検知されます。
また、C6262が検知されたからといって即スタックオーバーフローが起きるというわけではありません。
/analyze:stacksize '16384' を超えていますとありますが、VisualC++のスタックサイズ既定値は1MBです。

/F (Set Stack Size)
Without this option the stack size defaults to 1 MB

Comments

[Weapon]

確認ですがコード分析だけでコンパイラは適切に処理してくれますよね?

Answer 2

ご自身で「かなり変な設計ではありますが」と書いていますが本当に変な設計です。

真の乱数を提供するrandom_deviceは擬似乱数エンジンを初期化するときのみ必要です。
擬似乱数エンジンはスレッドに一つあれば事足ります。
量産するべきはdistributionだけです。

random_device - cpprefjp C++日本語リファレンス
にほぼ同じ例を示してありますが、thread_localを使って擬似乱数エンジンを保持し、その参照を持ち回すといいと思います。

#include <iostream>
#include <array>
#include <functional>
#include <algorithm>
using seed_v_t = std::array<std::random_device::result_type, sizeof(std::mt19937)/sizeof(std::random_device::result_type)>;
seed_v_t create_seed_v()
{
  std::random_device rnd;
  seed_v_t sed_v;
  std::generate(sed_v.begin(), sed_v.end(), std::ref(rnd));
  return sed_v;
}
std::mt19937 create_random_engine()
{
  const auto sed_v = create_seed_v();
  std::seed_seq seq(sed_v.begin(), sed_v.end());
  return std::mt19937(seq);
}
std::mt19937& random_engine()
{
  static thread_local std::mt19937 engine = create_random_engine();
  return engine;
}
int main()
{
  std::mt19937& engine = random_engine();
  std::uniform_int_distribution<int> dist(1, 32);
  for(int i = 0; i < 10; ++i) std::cout << dist(engine) << std::endl;
}