ローカルポインタの防止

Question

初心者の質問かもしれませんが、関数がローカル変数へのポインタを受け入れることを防ぐ方法がC/C++にありますか？コンパイラは、ポインタを返すことができないという警告が生成されます

int* fun(void) 
{ 
int a; 
return &a; 
} 

：

は、このコードを考えてみましょう。これを考慮してください：

int* g; 

void save(int* a) 
{ 
g = a; 
} 

void bad(void) 
{ 
int a; 
save(&a); 
} 

これは警告なしでコンパイラを通過しますが、これは悪いです。これが起こらないようにする属性や何かがありますか？私。次のようなものがあります：

void save(int __this_pointer_must_not_be_local__ * a) 
{ 
g = a; 
} 

誰かが答えを知っている場合は、事前に感謝します。

Answer 1

いいえ、ヒープオブジェクトへのポインタからローカルへのポインタを伝える信頼できる移植可能な方法はありません。宣言的にこれを防ぐ方法もありません。

特定のシステムのメモリレイアウトに依存するハックは、実行時に不特定の動作（例としてthis answerを参照）を呼び出すことによって動作しますが、試してみることにした場合は、あなた自身で行います。

Answer 2

デバッグヒープ（デフォルト）を使用して、デバッグビルドの少なくとも一つの方法があります：

//d:\Program Files\Microsoft Visual Studio ?\VC\crt\src\dbgint.h 
\#define nNoMansLandSize 4 
typedef struct _CrtMemBlockHeader 
{ 
    struct _CrtMemBlockHeader * pBlockHeaderNext; 
    struct _CrtMemBlockHeader * pBlockHeaderPrev; 
    char *      szFileName; 
    int       nLine; 
    size_t      nDataSize; 
    int       nBlockUse; 
    long      lRequest; 
    unsigned char    gap[nNoMansLandSize]; 
    /* followed by: 
    * unsigned char   data[nDataSize]; 
    * unsigned char   anotherGap[nNoMansLandSize]; 
    */ 
} _CrtMemBlockHeader; 
\#define pbData(pblock) ((unsigned char *)((_CrtMemBlockHeader *)pblock + 1)) 

ギャップで終わる割り当てヘッダは、ありますが、それほど大きく確率はありません前に0xFDFDFDFDがあるだろうポインタ - 完璧ではありませんが、手助けかもしれません...

if (\*((int\*)pointer-1) == 0xFDFDFD) { // stack pointer }