Question

我想知道运算符如何传入宏中。它们是来自glib源（glib/testutils.h）的宏。

在代码中，您使用assert作为g_assert_cmpint(1, ==, 2);，因此运算符只是按原样传递。这个怎么运作？ #令牌在此宏中意味着什么？

#define g_assert_cmpint(n1, cmp, n2)                  \
  G_STMT_START {                                      \
    gint64 __n1 = (n1), __n2 = (n2);                  \
    if (__n1 cmp __n2) ;                              \
    else                                              \
      g_assertion_message_cmpnum(                     \
        G_LOG_DOMAIN, __FILE__, __LINE__, G_STRFUNC,  \
        #n1 " " #cmp " " #n2, __n1, #cmp, __n2, 'i'); \
  } G_STMT_END

和g_assert_message_cmpnum有这样的界面：

void g_assertion_message_cmpnum(const char *domain, \
                                 const char *file,\
                                 int line,\
                                 const char func,\
                                 const char *expr,\
                                 long double arg1, \
                                 const char *cmp,\
                                 long double arg2,\
                                 char numtype);

这是否意味着#将cmp运算符转换为字符串？

但是如何从宏中理解这一行#n1 " " #cmp " " #n2？

Answer 1

因为宏在编译时（预处理器阶段）之前被处理。所以它会简单地用传递的运算符“替换”cmp。使用“宏”是没有用的，因为它没有执行类型检查。

示例：

#define DOUBLE(x) x << 1 /// shift 1 bit left = multiple by 2

cout << DOUBLE(5) << endl; /// result "51" instead of "10" 
/// because the result of processed code is:
cout << 5 << 1 << endl;

Answer 2

预处理器中的#是“字符串化”。

然后，在预处理后的后期阶段，所有相邻的字符串文字都连接成一个大字符串。

带有运算符说明的C宏

2 个答案: