6

我偶然发现了似乎无效的代码，但显然是因为它在Mono 代码库中已经存在 2 年了。下面是小摘录。如何将宏“mono_atomic_load_acquire”的结果分配给unload_data_unref (..) 中的变量“count” 我假设 __tmp 是分配的内容，但我找不到在 C 中以这种方式使用范围界定的任何信息。任何人都可以解释或给一些有用的链接？

#define mono_atomic_load_acquire(target) ({ \
    typeof (*target) __tmp = *target;   \
    LOAD_ACQUIRE_FENCE; \
    __tmp; })

#define LOAD_ACQUIRE_FENCE MEMORY_BARRIER
#define MEMORY_BARRIER mono_memory_barrier ()

static inline void mono_memory_barrier (void)
{
    // platform specific code
}

unload_data_unref (unload_data *data)
{
    gint32 count;
    do {
        count = mono_atomic_load_acquire (&data->refcount);
        g_assert (count >= 1 && count <= 2);
        if (count == 1) {
            g_free (data);
            return;
        }
    } while (InterlockedCompareExchange (&data->refcount, count, count - 1) != count);
}
4

2 回答 2

5

这是一个 GNU 扩展，它们被称为语句表达式（不要与称为“表达式语句”的标准 C 语言结构混淆）。事实上，这是__tmp分配的。文档在这里。

于 2013-07-01T16:37:33.780 回答
0

所以这是一个statement expression. 它是一个 gcc extension并且根据文档6.1 Statements and Declarations in Expressions：

复合语句中的最后一件事应该是一个后跟分号的表达式；此子表达式的值用作整个构造的值。

在这种情况下，它会是__tmp。根据文档：

此功能在使宏定义“安全”方面特别有用（以便它们对每个操作数只计算一次）。

它给出了这个例子而不使用statement expressions：

#define max(a,b) ((a) > (b) ? (a) : (b))

与此safe版本相比，需要注意的是您知道操作数的类型：

#define maxint(a,b) \
   ({int _a = (a), _b = (b); _a > _b ? _a : _b; })
于 2013-07-01T21:35:41.103 回答