Có thể xác định macro giống chức năng với một thân biến?

Question

Tôi đã xem GCC docs để xác định macro và có vẻ như những gì tôi muốn là không thể, nhưng tôi đoán nếu có, ai đó ở đây sẽ biết.

Những gì tôi muốn làm là xác định macro này:

synchronized(x) { 
    do_thing(); 
} 

nào mở rộng để:

{ 
    pthread_mutex_lock(&x); 
    do_thing(); 
    pthread_mutex_unlock(&x); 
} 

Trong C++ Tôi chỉ có thể làm cho một đối tượng SynchronizedBlock mà được các khóa trong constructor và mở khóa của nó trong destructor, nhưng tôi không có ý tưởng làm thế nào để làm điều đó trong C.

Tôi nhận ra tôi có thể sử dụng một con trỏ hàm trong biểu mẫu synchronized(x, &myfunction);, nhưng của tôi mục đích là làm cho một số mã C trông giống Java nhiều nhất có thể. Và vâng, tôi biết đây là điều ác.

Answer 1

EDIT: Đã thay đổi thành phiên bản của nategoose

#define synchronized(lock) \ 
for (pthread_mutex_t * i_#lock = &lock; i_#lock; \ 
    i_#lock = NULL, pthread_mutex_unlock(i_#lock)) \ 
    for (pthread_mutex_lock(i_#lock); i_#lock; i_#lock = NULL) 

Và bạn có thể sử dụng nó như này:

synchronized(x) { 
    do_thing(x); 
} 

Hoặc thậm chí không có dấu ngoặc

synchronized(x) 
    do_thing(); 

Answer 2

Dưới đây là một sự khởi đầu, nhưng bạn có thể cần phải tinh chỉnh nó:

#define synchronized(lock, func, args...) do { \ 
    pthread_mutex_lock(&(lock)); \ 
    func(##args); \ 
    pthread_mutex_unlock(&(lock)); \ 
} while (0) 

Sử dụng như thế này (không may, không phải là cú pháp Java như bạn muốn):

synchronized(x, do_thing, arg1, arg2); 

Answer 3

Đây là tốt nhất mà tôi đã đưa ra:

#define synchronized(x, things) \ 
     do { \ 
      pthread_mutex_t * _lp = &(x); \ 
      pthread_mutex_lock(_lp);  \ 
      (things);      \ 
      pthread_mutex_unlock(_lp); \ 
     } while (0) 

... 

     synchronized(x,(
          printf("hey buddy\n"), 
          a += b, 
          printf("bye buddy\n") 
         )); 

Lưu ý rằng bạn phải sử dụng toán tử dấu phẩy hiếm khi được sử dụng và có các hạn chế đối với mã nào có thể nằm trong danh sách mã đồng bộ hóa (không hoàn toàn giống như java).

Answer 4

Câu hỏi rất thú vị!

Tôi đã xem các câu trả lời khác và thích câu trả lời bằng cách sử dụng for. Tôi có một sự cải tiến, nếu tôi có thể! GCC 4.3 giới thiệu mẫu COUNTER mà chúng tôi có thể sử dụng để tạo các tên biến duy nhất.

#define CONCAT(X, Y) X##__##Y 
#define CONCATWRAP(X, Y) CONCAT(X, Y) 
#define UNIQUE_COUNTER(prefix) CONCATWRAP(prefix, __COUNTER__) 

#define DO_MUTEX(m, counter) char counter; \ 
for (counter = 1, lock(m); counter == 1; --counter, unlock(m)) 

#define mutex(m) DO_MUTEX(m, UNIQUE_COUNTER(m)) 

Sử dụng những macro, mã này ...

mutex(my_mutex) { 
    foo(); 
} 

... sẽ mở rộng để ...

char my_mutex__0; 
for (my_mutex__0 = 1, lock(my_mutex); my_mutex__0 == 1; --my_mutex__0, unlock(m)) { 
    foo(); 
} 

Với my_mutex__n bắt đầu từ 0 và tạo ra một tên mới mỗi thời gian sử dụng của nó! Bạn có thể sử dụng kỹ thuật tương tự để tạo các phần mã giống như màn hình, với một tên duy nhất nhưng không rõ cho mutex.