Rỗng "phát hành" ASSERT macro tai nạn chương trình?

Question

Hãy nhìn vào mã này:

#include <cassert> 

#ifdef DEBUG 
#define ASSERT(expr) assert(expr) 
#else 
#define ASSERT(expr) 
#endif /* DEBUG */ 

Chương trình sẽ chỉ chạy nếu tôi có DEBUG xác định, nếu không nó sẽ treo và chấm dứt không có kết quả. Tôi đang sử dụng MinGW trong Eclipse Indigo CDT. Lời khuyên được đánh giá cao!

Answer 1

Bạn gần như chắc chắn lạm dụng các xác nhận. Biểu thức xác nhận không được có tác dụng phụ.

Khi bạn nói, assert(initialize_critical_space_technology()); và sau đó bạn bỏ qua toàn bộ dòng này trong bản dựng, bạn có thể tưởng tượng cho chính mình điều gì sẽ xảy ra.

Cách duy nhất an toàn và lành mạnh để sử dụng khẳng định là trên các giá trị:

const bool space_init = initialize_critical_space_technology(); 
assert(space_init); 

Một số người giới thiệu một macro VERIFY kiếm cái gì đó luôn luôn thực thi mã:

#define VERIFY(x) (x)   // release 
#define VERIFY(x) (assert(x)) // debug 

Answer 2

Thật khó để nói mà không xem mã thực tế đang gây ra sự cố. Đoán của tôi: bạn đang đánh giá một biểu thức với các tác dụng phụ trong một ASSERT(). Ví dụ: ASSERT(++i < someotherthing) whithin một vòng lặp. Bạn có thể xác nhận bằng cách tạm thời sửa đổi định nghĩa macro thành chỉ expr trên số NDEBUG bản dựng. Sau khi xác nhận đây là nguyên nhân, hãy truy cập vào mỗi và mọi yêu cầu ASSERT mà bạn đang phát hành để đảm bảo rằng các biểu thức là các tác dụng phụ miễn phí.