"do {...} trong khi (0)" làm gì chính xác trong mã hạt nhân?

Question

Bản sao có thể xảy ra:
What’s the use of do while(0) when we define a macro?
Why are there sometimes meaningless do/while and if/else statements in C/C++ macros?
C multi-line macro: do/while(0) vs scope block

Tôi đã thấy rất nhiều tập quán như thế này, trước đây tôi dù rằng các lập trình viên muốn thoát ra khỏi một khối mã dễ dàng. Tại sao chúng ta cần một vòng lặp {...} trong khi (0) ở đây? Có phải chúng ta đang cố nói cho trình biên dịch một cái gì đó?

Ví dụ trong Linux kernel 2.6.25, bao gồm/asm-ia64/system.h

/* 
* - clearing psr.i is implicitly serialized (visible by next insn) 
* - setting psr.i requires data serialization 
* - we need a stop-bit before reading PSR because we sometimes 
* write a floating-point register right before reading the PSR 
* and that writes to PSR.mfl 
*/ 
#define __local_irq_save(x)   \ 
do {     \ 
    ia64_stop();    \ 
    (x) = ia64_getreg(_IA64_REG_PSR); \ 
    ia64_stop();    \ 
    ia64_rsm(IA64_PSR_I);   \ 
} while (0) 

Answer 1

Hình như nó ở đó chỉ dành riêng cho Phạm vi. Nó tương tự như:

if (true) 
{ 
    // Do stuff. 
} 

chỉnh sửa

Tôi không nhìn thấy nó trong ví dụ của bạn, nhưng nó có thể là một trong những chức năng cuộc gọi thực sự là một vĩ mô, trong trường hợp này có một sự khác biệt quan trọng giữa do/while (0) và if (true), cái mà trước đây cho phép continue và break.

Answer 2

Luôn được sử dụng trong các macro để dấu chấm phẩy được yêu cầu sau khi gọi, giống như khi gọi một hàm thông thường.

Trong ví dụ của bạn, bạn phải viết

__local_irq_save(1); 

khi

__local_irq_save(1) 

sẽ cho kết quả trong một lỗi về dấu chấm phẩy thiếu. Điều này sẽ không xảy ra nếu không có thời gian ở đó. Nếu nó chỉ là về phạm vi, một cặp ngoặc nhọn đơn giản sẽ đủ.

Answer 3

Nó cho phép mã để xuất hiện ở đây:

if(a) __local_irq_save(x); else ...; 

// -> if(a) do { .. } while(0); else ...; 

Nếu họ chỉ đơn giản là sử dụng một { .. } bạn sẽ nhận được

if(a) { ... }; else ...; 

Các khác sẽ không thuộc về bất kỳ if nữa, bởi vì dấu chấm phẩy sẽ là tuyên bố tiếp theo và tách riêng số else khỏi tiền tố if. Một lỗi biên dịch sẽ xảy ra.

Answer 4

Mục đích của việc xây dựng do{ ... } while(0) là chuyển một nhóm câu lệnh thành một câu lệnh ghép nối đơn lẻ có thể được chấm dứt bằng ;. Bạn thấy đấy, trong ngôn ngữ C, cấu trúc do/while có một thuộc tính kỳ lạ và bất thường: mặc dù nó "hoạt động" như một câu lệnh ghép, nó mong đợi một kết quả là ; ở cuối. Không có cấu trúc hợp chất nào khác trong C có thuộc tính này.

Bởi vì tài sản này, bạn có thể sử dụng do/while để viết macro đa tuyên bố, có thể được an toàn sử dụng như chức năng "bình thường" mà không lo lắng gì bên trong vĩ mô, như trong ví dụ sau

if (/* some condition */) 
    __local_irq_save(x); /* <- we can safely put `;` here */ 
else 
    /* whatever */; 

Answer 5

Các câu trả lời đã được đưa ra (vì vậy macro bắt buộc một số ; khi được gọi), nhưng sử dụng loại câu lệnh mà tôi đã thấy: nó cho phép ngắt được gọi ở bất kỳ đâu trong "vòng lặp", kết thúc sớm nếu cần. Về cơ bản một "goto" mà các lập trình viên của bạn sẽ không giết bạn.

do { 
    int i = do_something(); 
    if(i == 0) { break; } // Skips the remainder of the logic 
    do_something_else(); 
} while(0); 

Lưu ý rằng điều này vẫn còn khá khó hiểu, vì vậy tôi không khuyến khích việc sử dụng nó.

Answer 6

Nó sử dụng hành vi macro như lệnh thực hoặc lệnh gọi hàm.

Một tuyên bố được một trong hai { expression-list } hoặc expression; để đặt ra một vấn đề khi định nghĩa các macro mà cần nhiều hơn một biểu hiện, bởi vì nếu bạn sử dụng { } sau đó một lỗi cú pháp sẽ xảy ra nếu người gọi của vĩ mô khá hợp lý cho biết thêm một ; trước một người khác.

if(whatever) 
    f(x); 
else 
    f(y); 

Nếu một vĩ mô đơn lẻ, tiền phạt, nhưng nếu vĩ mô và điều gì đó phức tạp thì sao? Bạn kết thúc với if(...) { s1; s2; }; else ... và điều đó không hoạt động.

Vì vậy, người viết macro phải sau đó biến nó thành một hàm thực, quấn cấu trúc trong một câu lệnh đơn lẻ hoặc sử dụng phần mở rộng gnu.

Mẫu do .. while(0) là phương pháp "bọc cấu trúc".