मैं abort() का उपयोग किये बिना() कैसे जोर दे सकता हूं?

Question

यदि मैं assert() का उपयोग करता हूं और दावा विफल रहता है तो assert()abort() पर कॉल करेगा, जो चल रहे प्रोग्राम को अचानक समाप्त कर देगा। मैं अपने उत्पादन कोड में बर्दाश्त नहीं कर सकता। क्या रनटाइम में जोर देने का कोई तरीका है, फिर भी असफल दावों को पकड़ने में सक्षम होने के लिए मुझे उनके पास शानदार तरीके से संभालने का मौका मिला है?

Answer 1

हां, वास्तव में ऐसा है। आपको कस्टम एक्टर्ट फ़ंक्शन स्वयं लिखना होगा, क्योंकि C++ के assert() वास्तव में abort() "फीचर" के साथ बंडल किया गया है। सौभाग्य से, यह आश्चर्यजनक रूप से सरल है।

Assert.hh

template <typename X, typename A> 
inline void Assert(A assertion) 
{ 
    if(!assertion) throw X(); 
} 

अगर एक विधेय नहीं रखता है ऊपर समारोह एक अपवाद फेंक देते हैं। इसके बाद आपको अपवाद पकड़ने का मौका मिलेगा। यदि आप अपवाद नहीं पकड़ते हैं, तो terminate() कहा जाएगा, जो प्रोग्राम को abort() के समान ही समाप्त कर देगा।

आप आश्चर्यचकित हो सकते हैं कि जब हम उत्पादन के लिए निर्माण कर रहे हैं तो दावा को दूर करने के बारे में क्या सोचते हैं। इस मामले में, आप स्थिरांक को परिभाषित कर सकते हैं जो दर्शाएगा कि आप उत्पादन के लिए निर्माण कर रहे हैं और फिर Assert() पर निरंतर संदर्भित करें।

debug.hh

#ifdef NDEBUG 
    const bool CHECK_WRONG = false; 
#else 
    const bool CHECK_WRONG = true; 
#endif 

main.cc

#include<iostream> 

struct Wrong { }; 

int main() 
{ 
    try { 
     Assert<Wrong>(!CHECK_WRONG || 2 + 2 == 5); 
     std::cout << "I can go to sleep now.\n"; 
    } 
    catch(Wrong e) { 
     std::cerr << "Someone is wrong on the internet!\n"; 
    } 

    return 0; 
} 

हैं CHECK_WRONG एक निरंतर तो Assert() करने के लिए कॉल उत्पादन में दूर संकलित किया जाएगा, दावा है, भले ही है निरंतर अभिव्यक्ति नहीं। CHECK_WRONG का जिक्र करते हुए इसमें थोड़ा सा नुकसान होता है, हम थोड़ा और टाइप करते हैं। लेकिन बदले में हम एक लाभ प्राप्त करते हैं कि हम विभिन्न समूहों के दावे को वर्गीकृत कर सकते हैं और उनमें से प्रत्येक को सक्षम और अक्षम कर सकते हैं जैसा कि हम फिट देखते हैं। इसलिए, उदाहरण के लिए हम ऐसे अनुमानों के समूह को परिभाषित कर सकते हैं जिन्हें हम उत्पादन कोड में भी सक्षम करना चाहते हैं, और फिर उन अनुमानों के समूह को परिभाषित करते हैं जिन्हें हम केवल विकास के निर्माण में देखना चाहते हैं।

Assert() समारोह

if(!assertion) throw X(); 

टाइपिंग के बराबर है, लेकिन यह स्पष्ट रूप से प्रोग्रामर के इरादे इंगित करता है: एक अभिकथन बनाते हैं। सादे assert() एस की तरह, इस दृष्टिकोण के साथ grep को भी सम्मिलित करना आसान है।

इस तकनीक के बारे में अधिक जानकारी के लिए Bjarne Stroustrup की सी ++ प्रोग्रामिंग भाषा 3e, खंड 24.3.7.2 देखें।

Answer 2

सी/सी ++ में आवेषण केवल डीबग बिल्ड में चलाए जाते हैं। तो यह रनटाइम पर नहीं होगा। सामान्य आवेषणों में चीजों को चिह्नित करना चाहिए कि यदि वे एक बग इंगित करते हैं, और आमतौर पर आपके कोड आदि में धारणाएं दिखाते हैं।

यदि आप कोड रखना चाहते हैं जो रनटाइम (रिलीज़ में) में त्रुटियों की जांच करता है तो आपको शायद अपवादों का उपयोग करना चाहिए इस तरह के रूप में दावा किया जाता है कि वे क्या करने के लिए डिजाइन किए गए हैं। आपका जवाब मूल रूप से वाक्यविन्यास पर जोर देने के लिए एक अपवाद फेंक देता है। हालांकि यह काम करेगा, इस पर कोई विशेष लाभ नहीं है कि मैं केवल अपवाद को पहले स्थान पर फेंकने पर देख सकता हूं।

Answer 3

glib's error reporting functions एक जोर के बाद जारी रखने का दृष्टिकोण ले लो। ग्लिब अंतर्निहित प्लेटफॉर्म आजादी लाइब्रेरी है जो जीनोम (जीटीके के माध्यम से) का उपयोग करता है। यहां एक मैक्रो है जो पूर्व शर्त की जांच करता है और पूर्व शर्त विफल होने पर एक स्टैक ट्रेस प्रिंट करता है।

char *doSomething(char *ptr) 
{ 
    RETURN_VAL_IF_FAIL(ptr != NULL, NULL); // same as assert(ptr != NULL), but returns NULL if it fails. 

    if(ptr != NULL)  // Necessary if you want to define the macro only for debug builds 
    { 
     ... 
    } 

    return ptr; 
} 

void doSomethingElse(char *ptr) 
{ 
    RETURN_IF_FAIL(ptr != NULL); 
} 

:

void print_stack_trace(int fd) 
{ 
    void *array[256]; 
    size_t size; 

    size = backtrace (array, 256); 
    backtrace_symbols_fd(array, size, fd); 
} 

इस तरह आप मैक्रो का उपयोग होता है:

#define RETURN_IF_FAIL(expr)  do {     \ 
if (!(expr))           \ 
{              \ 
     fprintf(stderr,        \ 
       "file %s: line %d (%s): precondition `%s' failed.", \ 
       __FILE__,           \ 
       __LINE__,           \ 
       __PRETTY_FUNCTION__,        \ 
       #expr);            \ 
     print_stack_trace(2);          \ 
     return;             \ 
};    } while(0) 
#define RETURN_VAL_IF_FAIL(expr, val) do {       \ 
if (!(expr))              \ 
{                 \ 
     fprintf(stderr,            \ 
       "file %s: line %d (%s): precondition `%s' failed.",  \ 
       __FILE__,            \ 
       __LINE__,            \ 
       __PRETTY_FUNCTION__,         \ 
       #expr);             \ 
     print_stack_trace(2);           \ 
     return val;             \ 
};    } while(0) 

यहाँ समारोह है कि स्टैक ट्रेस प्रिंट, एक वातावरण के लिए लिखा जीएनयू toolchain (जीसीसी) का उपयोग करता है है

Answer 4

यहाँ क्या मैं अपने में "assert.h" है है (मैक ओएस 10.4):

#define assert(e) ((void) ((e) ? 0 : __assert (#e, __FILE__, __LINE__))) 
#define __assert(e, file, line) ((void)printf ("%s:%u: failed assertion `%s'\n", file, line, e), abort(), 0) 

उस पर आधारित, कॉल को एक फेंक (अपवाद) द्वारा abort() को प्रतिस्थापित करें। और printf के बजाय आप स्ट्रिंग को अपवाद के त्रुटि संदेश में प्रारूपित कर सकते हैं। अंत में, आपको कुछ ऐसा मिलता है:

#define assert(e) ((void) ((e) ? 0 : my_assert (#e, __FILE__, __LINE__))) 
#define my_assert(e, file, line) (throw std::runtime_error(\ 
    std::string(file:)+boost::lexical_cast<std::string>(line)+": failed assertion "+e)) 

मैंने इसे संकलित करने की कोशिश नहीं की है, लेकिन आपको इसका अर्थ मिल गया है।

नोट: आपको यह सुनिश्चित करना होगा कि "अपवाद" हेडर हमेशा शामिल है, साथ ही बूस्ट (यदि आप त्रुटि संदेश स्वरूपण के लिए इसका उपयोग करने का निर्णय लेते हैं)। लेकिन आप "my_assert" को एक फ़ंक्शन भी बना सकते हैं और केवल इसके प्रोटोटाइप की घोषणा कर सकते हैं। की तरह कुछ:

void my_assert(const char* e, const char* file, int line); 

और यह कहीं न कहीं लागू जहां आप स्वतंत्र रूप से सभी हेडर की आवश्यकता शामिल कर सकते हैं।

अगर आपको इसकी आवश्यकता है तो इसे #ifdef DEBUG में लपेटें, या नहीं, यदि आप हमेशा उन चेक को चलाने के लिए चाहते हैं।

Answer 5

_set_error_mode(_OUT_TO_MSGBOX); 

मेरा मानना ​​है कि यह कार्य आपकी मदद कर सकता है।

Answer 6

आप दावे के बारे में जानकारी के साथ एक चरित्र स्ट्रिंग फेंक करना चाहते हैं: http://xll8.codeplex.com/SourceControl/latest#xll/ensure.h