スタックの腐敗C++

Question

C++では、、スタックにあるが壊れる可能性があります。片思いを書き換えることでスタック変数にアクセスする配列を超えます。する他に方法はないことで破損?

Answer 1

1. きダ/未定義のポインタを終了するまで差しをスタックに書くものとのこと。
2. 組み立て機能が正しく設定/変更/復元のスタック
3. 宇宙波が切り替わりビットのスタックです。
4. 放射性元素のチップのケーシングがはじます。
5. 何らかのカーネルが間違っていて、誤って変更しスタック。

がないか、ということを、特にC++なうはずのスタックです。

Answer 2

一つの定義ルールの違反は、腐敗をスタックにつながることができます。次の例では、愚かに見えますが、私はそれを異なる構成でコンパイル異なるライブラリと時間のカップルを見てきました。

がheader.h

struct MyStruct
{
   int val;
#ifdef LARGEMYSTRUCT
   char padding[16];
#endif
}

file1.cpp

#define LARGEMYSTRUCT
#include "header.h"

//Here it looks like MyStruct is 20 bytes in size    

void func(MyStruct s)
{
   memset(s.padding, 0, 16); //corrupts the stack as below file2.cpp does not have LARGEMYSTRUCT declared and declares Mystruct with 4 bytes
   return; //Will probably crash here as the return pointer has been overwritten
}

file2.cpp

#include "header.h"
//Here it looks like MyStruct is only 4 bytes in size.
extern void func(MyStruct s);

void caller()
{
   MyStruct s;
   func(s); //push four bytes on to the stack
}

Answer 3

変数をスタックするポインタを取ることは良い方法です。

void foo()
{
  my_struct s;
  bar(&s);
}

バーは、ポインタのコピーを保持します。

なら、何が将来発生する可能性があります。

総括：スタックを指して浮遊ポインタがあるとき、スタックの破損が起こります。

。

Answer 4

C ++標準では、スタック/ヒープを定義していません。さらに、プログラムの中で未定義の動作を起動するには、いくつかの方法がある - すべてがのが破損する可能性があり、あなたのスタック（それは結局、UBです）。短い答えは - あなたの質問は意味のある答えを持っているにはあまりにも漠然としている。

。

Answer 5

間違った呼び出し規約で関数を呼び出します。

（これは技術的にはコンパイラ固有のではなく、C ++の質問ですが、すべてのC ++コンパイラはそれに対処する必要があります。）

Answer 6

デストラクタ内で例外をスローすることは良い候補です。それ台無しスタック巻き戻しをします。