Xác nhận thời gian biên dịch trong C++?

Question

Gần đây tôi đã đến khi cần có các xác nhận biên dịch trong C++ để kiểm tra xem các kích thước của hai loại có bằng nhau hay không.

tôi thấy macro sau trên web (tuyên bố có nguồn gốc từ hạt nhân Linux):

#define X_ASSERT(condition) ((void)sizeof(char[1 - 2*!!(condition)])) 

mà tôi sử dụng như vậy:

X_ASSERT(sizeof(Botan::byte) != sizeof(char)); 

này được tôi tò mò - mặc dù điều này hoạt động, có cách nào hiệu quả hơn không? (rõ ràng là có nhiều hơn một cách, vì nó là) Có lợi thế hay bất lợi cho các phương pháp nhất định?

Answer 1

Bạn có thể muốn xem Boost StaticAssert. Các internals không chính xác sạch (hoặc không phải là lần cuối cùng tôi nhìn) nhưng ít nhất nó dễ nhận biết hơn, vì vậy hầu hết mọi người biết những gì nó có nghĩa là. Nó cũng đi đến một số cơn đau để sản xuất các thông báo lỗi có ý nghĩa hơn nếu bộ nhớ phục vụ.

Answer 2

Trong C++ 0x, có một tính năng ngôn ngữ mới, static_assert, cung cấp cách thức tiêu chuẩn để tạo xác nhận biên dịch. Ví dụ:

static_assert(sizeof(Botan::byte) != 1, "byte type has wrong size"); 

Visual C++ 2010 hỗ trợ static_assert, như g ++ 4.3 (và lớn hơn) và Intel C++ 11.0.

Answer 3

Có một chỉ thị tiền xử lý xuất sắc #error (xem here để có một bài viết tốt về nó), nhưng tôi tin rằng nó cần phải nằm trong một số #if trái ngược với việc sử dụng trong "tự do" như trong ví dụ của bạn.

Answer 4

Một số tùy chọn thú vị khác đang ở đây: http://www.jaggersoft.com/pubs/CVu11_3.html

đọc Neat là tác giả đi C (không phải C++) spec tìm kiếm cú pháp có thể được thừa hưởng như khẳng định thời gian biên dịch.

Answer 5

Để làm điều đó ngay bạn cần trình biên dịch thân thiện C++ 0x, xem câu trả lời của James McNellis 'và Jerry Coffins.

Bạn không thể làm được nhiều với tiêu chuẩn C++ 1998 hoặc 2003. Hãy nhìn vào những liên kết này cho ví dụ:

http://en.wikipedia.org/wiki/Assertion_(computing)#Static_assertions http://ksvanhorn.com/Articles/ctassert.html