4

我在 Linux (include/linux/list.h) 中遇到了以下代码。我对第 713 行感到困惑。特别是，我不明白 ({ n = pos->member.next; 1; })。

花括号在做什么？为什么这个语句中有一个“1”？

如果有人可以解释这一特定行，将不胜感激。注意，我不需要解释链接列表和#defines 是如何工作的，等等。

704 /**
705  * hlist_for_each_entry_safe - iterate over list of given type safe against removal of list entry
706  * @pos:        the type * to use as a loop cursor.
707  * @n:          another &struct hlist_node to use as temporary storage
708  * @head:       the head for your list.
709  * @member:     the name of the hlist_node within the struct.
710  */
711 #define hlist_for_each_entry_safe(pos, n, head, member)                 \
712         for (pos = hlist_entry_safe((head)->first, typeof(*pos), member);\
713              pos && ({ n = pos->member.next; 1; });                     \
714              pos = hlist_entry_safe(n, typeof(*pos), member))
715
4

2 回答 2

6

这是一个语句表达式。它是gcc 扩展，根据文档6.1 Statements and Declarations in Expressions：

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

在这种情况下，对于代码：

({ n = pos->member.next; 1; })

值将是1。根据文档：

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

它给出了这个例子，没有使用语句表达式：

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

与这个安全版本相比，需要注意的是您知道操作数的类型：

#define maxint(a,b) \
   ({int _a = (a), _b = (b); _a > _b ? _a : _b; })

这是Linux 内核中使用的众多gcc 扩展之一。

于 2013-06-10T00:04:56.100 回答
1

这是一个称为语句表达式的 GNU 语言扩展；这不是标准 C.

于 2013-06-09T23:59:13.160 回答