GCC có xác nhận thời gian biên dịch tích hợp không?

Question

Việc triển khai xác nhận thời gian biên dịch hiện tại của chúng tôi dựa trên chỉ mục mảng âm và nó cung cấp đầu ra chẩn đoán kém trên GCC. C++ 0x's static_assert là một tính năng rất đẹp, và đầu ra chẩn đoán nó cung cấp tốt hơn nhiều. Tôi biết GCC đã triển khai một số tính năng C++ 0x. Có ai biết nếu static_assert là một trong số họ và nếu nó là sau đó kể từ khi phiên bản GCC?

Answer 1

Theo this page, gcc đã có static_assert kể từ 4.3.

Answer 2

Các mã sau đây làm việc như mong đợi với g ++ 4.4.0 khi biên soạn với -std=c++0x cờ:

int main() { 
    static_assert(false, "that was false"); 
} 

nó sẽ hiển thị:

x.cpp: In function 'int main()': 
x.cpp:2: error: static assertion failed: "that was false" 

Answer 3

Nếu bạn cần phải sử dụng một phiên bản gcc mà không làm hỗ trợ nó, bạn có thể sử dụng

#include <boost/static_assert.hpp> 

BOOST_STATIC_ASSERT(/* assertion */) 

Về cơ bản, tăng cường là gì:

Declare (nhưng không xác định!) Một

template< bool Condition > struct STATIC_ASSERTION_FAILURE; 

Xác định chuyên môn đối với trường hợp mà sự khẳng định nắm giữ:

template <> struct STATIC_ASSERTION_FAILURE<true> {}; 

Sau đó, bạn có thể định nghĩa STATIC_ASSERT như thế này:

#define STATIC_ASSERT(Condition) \ 
    enum { dummy = sizeof(STATIC_ASSERTION_FAILURE< (bool)(Condition) > } 

Bí quyết là nếu Điều kiện là sai trình biên dịch cần phải khởi tạo cấu trúc

STATIC_ASSERTION_FAILURE<false> 

để tính kích thước của nó và điều này không thành công do không được xác định.

Answer 4

Điều này không thực sự trả lời câu hỏi, nhưng tôi thích các xác nhận biên dịch dựa trên trường hợp chuyển đổi tốt hơn, ví dụ:

#define COMPILE_TIME_ASSERT(cond) do { switch(0) { case 0: case cond: ; } } while (0) 

Hoạt động trong C và không chỉ bằng C++.

Answer 5

Nếu bạn có một gcc cũ hoặc sử dụng một tiêu chuẩn cũ C++, hoặc sử dụng C, sau đó bạn có thể bắt chước static_assert như đã mô tả ở đây: http://www.pixelbeat.org/programming/gcc/static_assert.html

Answer 6

bạn luôn có thể chơi xung quanh với các mẫu và không tồn tại strutures qua mẫu -specialization. Đây là cách tăng cường hiện nó theo như tôi biết. Đây là những gì tôi sử dụng như một static_assert, nó khá thẳng về phía trước.

namespace Internal 
{ 
template<bool x> struct SASSERT_F; 
template<  > struct SASSERT_F <true> {}; 
template<int x> struct SASSERT_P  {}; 
#define STATIC_ASSERT(B)   \ 
    typedef Internal::SASSERT_P <(\ 
    sizeof (Internal::SASSERT_F <(\ 
     ((B)? true : false)) >) \ 
           )> \ 
     StaticAssert##__LINE__ () 
} 

ví dụ về Sử dụng

int main(int argc, char **argv) 
{ 
    static_assert(sizeof(int) == 1)   // Error 
    static_assert(sizeof(int) == sizeof(int)) // OK 
} 

Answer 7

NSPR làm:

#define PR_STATIC_ASSERT(condition) \ 
    extern void pr_static_assert(int arg[(condition) ? 1 : -1]) 

mà thất bại nếu condition là sai vì nó tuyên bố một mảng có độ dài tiêu cực.

Answer 8

Cả

BOOST_STATIC_ASSERT(x) 
    BOOST_STATIC_ASSERT_MSG(x, msg) 

sẽ sử dụng C++ 11 static_assert nếu trình biên dịch của bạn hỗ trợ nó