Question

我正在尝试从/include/linux/syscall.h中理解一大堆代码，其中的宏定义似乎具有多个值，并用分号分隔了每个值：

 235 #define __SYSCALL_DEFINEx(x, name, ...)                                 \
 236         __diag_push();                                                  \
 237         __diag_ignore(GCC, 8, "-Wattribute-alias",                      \
 238                       "Type aliasing is used to sanitize syscall arguments");\
 239         asmlinkage long sys##name(__MAP(x,__SC_DECL,__VA_ARGS__))       \
 240                 __attribute__((alias(__stringify(__se_sys##name))));    \
 241         ALLOW_ERROR_INJECTION(sys##name, ERRNO);                        \
 242         static inline long __do_sys##name(__MAP(x,__SC_DECL,__VA_ARGS__));\
 243         asmlinkage long __se_sys##name(__MAP(x,__SC_LONG,__VA_ARGS__)); \
 244         asmlinkage long __se_sys##name(__MAP(x,__SC_LONG,__VA_ARGS__))  \
 245         {                                                               \
 246                 long ret = __do_sys##name(__MAP(x,__SC_CAST,__VA_ARGS__));\
 247                 __MAP(x,__SC_TEST,__VA_ARGS__);                         \
 248                 __PROTECT(x, ret,__MAP(x,__SC_ARGS,__VA_ARGS__));       \
 249                 return ret;                                             \
 250         }                                                               \
 251         __diag_pop();                                                   \
 252         static inline long __do_sys##name(__MAP(x,__SC_DECL,__VA_ARGS__))

我以前没有看过此书，也找不到对此的任何参考。以这种方式定义时，__SYSCALL_DEFINEx(x, name, ...)会做什么？

Answer 1

宏定义似乎具有多个值

宏没有任何值。宏是令牌操纵构造。当预处理器扩展它时，它将（零个或多个）输入令牌转换为输出令牌。输出令牌只需要是有效的令牌，它们甚至不需要是有效的C代码。例如：

#define foo(t) 1 > 0 t 0 : 1

那是一个非常有效的类似于函数的宏定义。当我们写foo(;)或foo(3)时，预处理器将自变量替换为它发出的令牌序列。当然，对于我们提供的参数，结果在语法上是无效的C。但是foo(?) 将导致有效的C。

该序言的目的是解释那些分号没有做任何特别的事情。它们只是宏吐出的令牌序列的一部分。该宏旨在通过实现系统调用的一系列声明和函数定义来替换自身。函数主体中的声明和语句必须以;结尾。没什么了。

Answer 2

在这种情况下，您看不到具有多个值的宏定义，而是看到了跨越多行的宏定义。因此，基本上，__ SYSCALL_DEFINEx（x，name，...）将被其下面的整个代码块替换（请注意，该行末尾的\用于跨越多行，当然，每一行代码都应以;）结尾。

使用__SYSCALL_DEFINEx在单个宏定义中包含多个值

2 个答案: