Question

在Linux的多个ARM后端，我在文件clkdev.h中看到了这个宏定义：

#define __clk_get(clk) ({ 1; })

参见例如./arch/arm/mach-versatile/include/mach/clkdev.h

此宏正在使用GCC扩展名 Statements and Declarations in Expressions

稍后这个宏在函数clk_get_sys()

中的文件./drivers/clk/clkdev.c中使用

 if (cl && !__clk_get(cl->clk))
         cl = NULL;

我想知道为什么不在这里使用一个简单的宏：

#define __clk_get(clk) (1)

修改

我使用以下grep模式在整个内核源代码中找到了此构造的一些其他用法：

grep -R '({[[:space:]]*[a-zA-Z0-9_()+=/!&*>., ?:-]\+[[:space:]]*;[[:space:]]*})' .

以下是一些比赛：

./kernel/trace/trace_selftest.c:# define trace_selftest_startup_dynamic_tracing(trace, tr, func) ({ 0; })
./kernel/profile.c:#define create_hash_tables()         ({ 0; })
./include/asm-generic/bug.h: * Use of ({0;}) because WARN_ON_SMP(x) may be used either as
./include/asm-generic/bug.h:# define WARN_ON_SMP(x)         ({0;})
./include/linux/key.h:#define key_get(k)            ({ NULL; })
./include/linux/key.h:#define key_get(k)            ({ NULL; })
./include/linux/audit.h:#define audit_alloc(t) ({ 0; })
./include/linux/audit.h:#define audit_bprm(p) ({ 0; })
./include/linux/audit.h:#define audit_sockaddr(len, addr) ({ 0; })
./include/linux/audit.h:#define audit_log_bprm_fcaps(b, ncr, ocr) ({ 0; })
./include/linux/audit.h:#define audit_log_start(c,g,t) ({ NULL; })
./include/linux/atalk.h:#define atalk_proc_init()   ({ 0; })
./include/linux/ftrace.h:#define register_ftrace_function(ops) ({ 0; })
./include/linux/ftrace.h:#define unregister_ftrace_function(ops) ({ 0; })
./include/linux/ftrace.h:#define ftrace_regex_open(ops, flag, inod, file) ({ -ENODEV; })
./include/linux/ftrace.h:#define ftrace_set_filter(ops, buf, len, reset) ({ -ENODEV; })
./include/linux/ftrace.h:#define ftrace_set_notrace(ops, buf, len, reset) ({ -ENODEV; })
./include/linux/cpu.h:#define unregister_hotcpu_notifier(nb)    ({ (void)(nb); })
./include/linux/proc_fs.h:#define proc_net_fops_create(net, name, mode, fops)  ({ (void)(mode), NULL; })
./arch/powerpc/include/asm/pgtable-ppc64.h:#define pgd_set(pgdp, pudp)  ({pgd_val(*(pgdp)) = (unsigned long)(pudp);})
./arch/sh/math-emu/math.c:#define WRITE(d,a)    ({if(put_user(d, (typeof (d)*)a)) return -EFAULT;})
./arch/sh/math-emu/math.c:#define READ(d,a) ({if(get_user(d, (typeof (d)*)a)) return -EFAULT;})
[...]

注意：构造({if(put_user(d, (typeof (d)*)a)) return -EFAULT;})似乎是复合语句的一个很好的用法。但这也可以用更典型的do { if(put_user(d, (typeof (d)*)a)) return -EFAULT; } while(0)

取代

grep返回的一个匹配很有意思：./include/asm-generic/bug.h中有({ 0; })的使用评论。这与answer的AndreyT完全相同。

实际上，人们不能使用((void)0)，因为它不能用作r值。 ({ 0; })正在处理每种情况。

因此，如果你有一个宏可以像函数一样使用返回一个可以使用或不使用的值，那么复合语句似乎是你唯一的选择。

但__clkget()从未被用作其他任何东西作为r值

一些链接

Answer 1

我注意到在-Wall模式下，独立的(1);表达式语句生成“无效语句”警告，而独立的({ 1; });表达式语句不会产生警告。

也许在代码中的某个地方，它们最终会以忽略结果的独立__clk_get调用结束。 (1)定义会导致此类调用的警告，而({ 1; })会使其保持安静，同时在其他上下文中产生相同的效果。

Answer 2

为什么这个宏被定义为（{1;}）？

这一切都取决于程序员的编码风格。它只是返回值1.例如，在“x86”的include/asm-generic/clkdev.h拱门上，__clk_get被定义为

static inline int __clk_get(struct clk *clk) { return 1; }

同样在linux / arch / c6x / include / asm / clkdev.h

static inline int __clk_get(struct clk *clk)
{
        return 1;
}

为什么这个宏被定义为（{1;}）？

一些链接

2 个答案: