В нескольких ARM-серверах Linux я вижу в файлах clkdev.h
это определение макроса:
#define __clk_get(clk) ({ 1; })
См. например ./arch/arm/mach-versatile/include/mach/clkdev.h
Этот макрос использует расширение GCC Заявления и декларации в выражениях
Позже этот макрос используется в файле ./drivers/clk/clkdev.c, в функции clk_get_sys()
if (cl && !__clk_get(cl->clk))
cl = NULL;
Мне интересно, почему бы не использовать здесь простой макрос:
#define __clk_get(clk) (1)
EDIT:
Я нашел другое использование этой конструкции в источниках ядра, используя следующий шаблон 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 там комментарий использования of ({ 0; })
. Это то же самое ответ AndreyT.
Действительно, нельзя использовать ((void)0)
, так как он не будет использоваться в качестве r-значения.
({ 0; })
работает в каждом случае.
Итак, если у вас есть макрос, который может использоваться как функция, возвращающая значение, которое может быть использовано или нет, составной оператор кажется вашим единственным вариантом.
Но __clkget()
никогда не используется как что-либо еще, как r-значение
Некоторые ссылки
- http://www.toofishes.net/blog/gcc-compound-statement-expressions/
- Неисправный макроС#define, обнаруженный в источнике ядра Linux
- macro: does #define a (b) ({... c;}) означает, что a (b) возвращает c?
- Зачем нам нужны скобки вокруг блочного макроса?
- Являются ли составные выражения (блоки) окруженными выражениями parens в ANSI C?