Làm cách nào tôi có thể khẳng định() mà không sử dụng hủy bỏ()?

Question

Nếu tôi sử dụng assert() và xác nhận không thành công thì assert() sẽ gọi số abort(), kết thúc chương trình đang chạy đột ngột. Tôi không đủ khả năng trong mã sản xuất của mình. Có cách nào để khẳng định trong thời gian chạy nhưng có thể nắm bắt các xác nhận không thành công vì vậy tôi có cơ hội để xử lý chúng một cách duyên dáng?

Answer 1

Vâng, thực tế là có. Bạn sẽ cần phải viết một hàm xác nhận tùy chỉnh cho mình, như là assert() của C++ chính xác là C assert(), với tính năng "abort()" được gộp vào. May mắn thay, điều này thật đơn giản một cách đáng ngạc nhiên.

Assert.hh

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

Chức năng trên sẽ ném một ngoại lệ nếu một vị không giữ. Sau đó, bạn sẽ có cơ hội để bắt ngoại lệ. Nếu bạn không nắm bắt được ngoại lệ, terminate() sẽ được gọi, sẽ kết thúc chương trình tương tự như abort().

Bạn có thể thắc mắc về việc tối ưu hóa xác nhận khi chúng tôi đang xây dựng để sản xuất. Trong trường hợp này, bạn có thể xác định các hằng số sẽ biểu thị rằng bạn đang xây dựng để sản xuất và sau đó tham chiếu đến hằng số khi bạn 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; 
} 

Nếu CHECK_WRONG là một hằng số thì cuộc gọi đến Assert() sẽ được biên dịch đi vào sản xuất, ngay cả khi khẳng định là không phải là một biểu thức liên tục. Có một bất lợi nhỏ trong đó bằng cách tham khảo CHECK_WRONG chúng tôi gõ thêm một chút. Nhưng đổi lại, chúng ta có được một lợi thế ở chỗ chúng ta có thể phân loại các nhóm xác nhận khác nhau và kích hoạt và vô hiệu hóa từng nhóm chúng như chúng ta thấy phù hợp. Vì vậy, ví dụ chúng ta có thể định nghĩa một nhóm các xác nhận mà chúng ta muốn kích hoạt ngay cả trong mã sản xuất, và sau đó xác định một nhóm các xác nhận mà chúng ta chỉ muốn thấy trong các bản xây dựng phát triển.

Chức năng Assert() tương đương với cách gõ

if(!assertion) throw X(); 

nhưng nó cho thấy rõ ràng mục đích của các lập trình viên: làm cho một sự khẳng định. Các xác nhận cũng dễ dàng hơn để grep với phương pháp này, giống như đồng bằng assert() s.

Để biết thêm chi tiết về kỹ thuật này, hãy xem Bjarne Stroustrup's Ngôn ngữ lập trình C++ 3e, phần 24.3.7.2.

Answer 2

Các xác nhận trong C/C++ chỉ chạy trong bản dựng gỡ lỗi. Vì vậy, điều này sẽ không xảy ra trong thời gian chạy. Nói chung, các xác nhận sẽ đánh dấu những điều nếu chúng xảy ra cho thấy lỗi và thường hiển thị các giả định trong mã của bạn, v.v.

Nếu bạn muốn có mã kiểm tra lỗi trong thời gian chạy (trong bản phát hành), bạn nên sử dụng ngoại lệ khẳng định đây là những gì chúng được thiết kế để làm. Câu trả lời của bạn về cơ bản kết thúc tốt đẹp một cú ném ngoại lệ trong cú pháp khẳng định. Trong khi điều này sẽ làm việc, không có lợi thế cụ thể để điều này mà tôi có thể xem qua chỉ ném ngoại lệ ở nơi đầu tiên.

Answer 3

glib's error reporting functions sử dụng phương pháp tiếp tục sau khi xác nhận. glib là thư viện độc lập nền tảng cơ bản mà Gnome (thông qua GTK) sử dụng. Đây là một macro kiểm tra điều kiện tiên quyết và in dấu vết ngăn xếp nếu điều kiện tiên quyết không thành công.

#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) 

Đây là chức năng mà in stack trace, viết cho một môi trường có sử dụng các toolchain gnu (gcc):

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

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

Đây là cách bạn muốn sử dụng các macro:

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); 
} 

Answer 4

Đây là những gì tôi có trong "assert.h" (Mac OS 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) 

Dựa vào đó, thay thế cuộc gọi để hủy bỏ() bằng cách ném (ngoại lệ). Và thay vì printf bạn có thể định dạng chuỗi thành thông báo lỗi của ngoại lệ. Cuối cùng, bạn nhận được một cái gì đó như thế này:

#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)) 

Tôi chưa cố gắng biên dịch nó, nhưng bạn hiểu ý nghĩa.

Lưu ý: bạn cần phải đảm bảo rằng tiêu đề "ngoại lệ" luôn được bao gồm, cũng như tiêu đề (nếu bạn quyết định sử dụng nó để định dạng thông báo lỗi). Nhưng bạn cũng có thể làm cho "my_assert" một hàm và chỉ khai báo nguyên mẫu của nó. Một cái gì đó như:

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

Và thực hiện nó ở đâu đó mà bạn có thể tự do bao gồm tất cả các tiêu đề bạn yêu cầu.

Bọc nó vào một số #ifdef DEBUG nếu bạn cần, hoặc không nếu bạn luôn muốn chạy các kiểm tra đó.

Answer 5

_set_error_mode(_OUT_TO_MSGBOX); 

hãy tin tôi, chức năng này có thể giúp bạn.

Answer 6

Nếu bạn muốn ném một chuỗi ký tự với thông tin về sự khẳng định: http://xll8.codeplex.com/SourceControl/latest#xll/ensure.h