クラスのインスタンスから配列を確保したらスタックオーバーフローが起きます

Question

以下の関数を呼び出した際にエラーは起きないのですが

//Main.h
Class Main{
void A(){
unsigned char pixels[1024*1024];
}
}

以下のようなクラスを新しく作成し

//Sub.h
class Sub{

class hoge{
unsigned char pixels[1024*1024];
}

}

以下のようにした場合エラーがおきます

#include "Sub.h"
Class Main{
Sub::hoge H;
}

エラーは以下です
原因がわかりません。。

//chkstk 
 test    dword ptr [eax],eax     ; probe page.

Answer 1

どうやら、エラーがでた後、途中で強制終了したせいで、スタックに不具合が起き、前回のエラーを残したままデバックを続けていたようです
一度PCを終了し、サイズを小さくして再稼働したらうまくいきました。ありがとうございます！

Answer 2

こんにちは。

A();で起きなくてhoge獲得で起きるのが不思議なのでやってみました。
いくつか手を入れましたが、どちらもスタックオーバーフローは起きます。
ただし、A()の方はスタック・チェックされないようです。結果、hogeよりも少し大きめの配列を獲得することでtest dword ptr [eax],eaxではない形で異常終了します。
スタックオーバーフローが起きても顕在化してないだけですね。

回避するにはスタックサイズを大きくすればできます。
msvc 2015の場合はプロジェクトのプロパティ→リンカー→システムの「スタックのサイズの設定」です。
4,000,000なら起きないと思います。

Answer 3

以下の関数を呼び出した際にエラーは起きないのですが

本当にA()関数を呼びましたか？ 呼べば必ずエラーになるはずです。

おそらくMainクラスをローカル変数としてインスタンス化しただけだと思いますが、メンバ関数内で変数を定義してもクラスのサイズには影響しません。

以下のようにした場合エラーがおきます

Subクラスにメンバ変数として1MBのサイズの配列を記述し、そのSubクラスをMainクラスのメンバ変数にしているので、Mainクラスのサイズは1MBになります。

ローカル変数のインスタンスはスタック領域に確保されるので、サイズが1MBのクラスをインスタンス化しようとするならスタック領域はそれを超えるサイズでなくてはなりません。ところが、Visual C++は既定で1MBに設定されています。当然のことながら領域が足りずにスタックオーバーフローになります。

大きなサイズの配列を使いたいのであればvectorをお使いください。

Answer 4

関数内のローカル変数は、スタックというメモリ内の限られた領域に作られますが、このスタックはせいぜい数メガバイトしかないので、それを超えるような巨大なローカル変数を使おうとすると、スタックオーバーフローしてしまいます。

インスタンスごとにそれだけの領域が必要なら、newしてポインタだけ格納するしかなさそうです。