Phạm vi có thể được bao bọc trong dấu ngoặc đơn và trả về một giá trị trong C?

Question

Tôi nhìn lên định nghĩa của MIN trên Mac OS X và thấy điều này:

#define MIN(A,B) ({ __typeof__(A) __a = (A); __typeof__(B) __b = (B); __a < __b ? __a : __b; }) 

Nó không phải như vậy rõ ràng lúc đầu, nhưng khi nó mở rộng, nó biến thành cái gì đó trông vô cùng xa lạ với tôi:

int a = 1, b = 2; 
// int min = MIN(a, b); 
int min = ({ 
    int __a = (a); 
    int __b = (b); 
    __a < __b ? __a : __b; 
}); 

Đây thực sự là phạm vi được bao bọc thành một biểu thức "trả về" giá trị của biểu thức cuối cùng. Có vẻ như để làm việc, ít nhất là với kêu vang, với khá nhiều mã bất kỳ bên trong phạm vi:

int a = ({ 
    time_t x = time(NULL); 
    if (x % 3 == 1) 
     x++; 

    x % 10; 
}); 

tôi chưa bao giờ thấy điều này trước đây, và tôi đã tự hỏi nếu nó là tiêu chuẩn. Tôi biết một thực tế là Visual Studio sẽ không chấp nhận nó, nhưng sau đó một lần nữa, Visual Studio là mắc kẹt với C89, vì vậy đó không phải là rất nói.

Answer 1

Đây là phần mở rộng GCC đối với tiêu chuẩn C được gọi là Statement Expressions. Có, bạn có thể sử dụng nó nếu bạn chỉ cần hỗ trợ trình biên dịch GNU (và nó là nền tảng chéo). Nếu bạn cần phải dính vào tiêu chuẩn C, bạn sẽ không sử dụng ký hiệu.