可以用变量体定义类似函数的宏吗？

Question

我一直在查看用于定义宏的 GCC docs，看起来我想要的东西是不可能的，但我想如果是的话，这里有人会知道。

我要做的是定义这个宏：

synchronized(x) {
  do_thing();
}

扩展为：

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

在 C++ 中，我可以创建一个 SynchronizedBlock 对象，该对象在其构造函数中获取锁并在析构函数中解锁，但我不知道如何在 C 中执行此操作。

我意识到我可以使用 synchronized(x, &myfunction); 形式的函数指针，但我的目标是让一些 C 代码看起来尽可能像 Java。是的，我知道这是邪恶的。

Answer 1

编辑：更改为 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)

你可以这样使用它：

synchronized(x) {
    do_thing(x);
}

甚至不用大括号

synchronized(x)
    do_thing();

Answer 2

这是一个开始，但您可能需要对其进行调整：

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

像这样使用（不幸的是，不是你想要的类似 Java 的语法）：

synchronized(x, do_thing, arg1, arg2);

Answer 3

这是我想出的最好的：

#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")
                        ));

请注意，您必须使用很少使用的逗号运算符，并且对哪些代码可以存在于（不太类似于 java）同步代码列表中存在限制。

Answer 4

非常有趣的问题！

我查看了其他答案并喜欢使用for 的答案。如果可以的话，我有一个改进！ GCC 4.3 引入了 COUNTER 宏，我们可以使用它来生成唯一的变量名。

#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))

使用这些宏，这段代码...

mutex(my_mutex) {
    foo();
}

...将扩展为...

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

my_mutex__n 从 0 开始，每次使用时都会生成一个新名称！您可以使用相同的技术来创建类似于监视器的代码体，并为互斥体使用唯一但未知的名称。