स्थानीय पॉइंटर्स को रोकना

Question

शायद यह एक नौसिखिया प्रश्न है, लेकिन क्या एक फ़ंक्शन को स्थानीय चर में पॉइंटर स्वीकार करने से रोकने के लिए सी/सी ++ में कोई तरीका है?

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 }