c - 使用 ## 运算符扩展宏

Question

大家好，问题是我在这个宏中有问题

 #define ADD_COMP(s1,s2,type)({\
  int _x=0;\
  for(int i=0;i<n_addrs;i++){\
    if(memcmp(s1,&(s2->##type),6)!=0){\
      _x=-1;\
    }else{\
      break;\
    }\
  }\
  _x;\
})

s1 是一个简单的数组，s2 是一个有 4 个 vector 作为成员的结构

typedef struct example{
 char[6] one,
 char[6] two,
 char[6] three
}example;

现在出于自己的原因，我需要创建一个函数来比较大小为 6 字节的 s1 数组与示例中的一个成员，因此为此我使用 ## 运算符编写了 ADD_CMP 以使其尽可能更通用 所以我定义:

#define one
#define two
#define three

我以这种方式多次使用函数，希望宏扩展成功

ADD_COMP(some_array,example1,one)
ADD_COMP(some_array,example1,two)
ADD_COMP(some_array,example1,three)

但编译器返回错误:

error: pasting "->" and "one" does not give a valid preprocessing token
error: pasting "->" and "two" does not give a valid preprocessing token
error: pasting "->" and "three" does not give a valid preprocessing token

如何在不为每个结构成员编写相同函数的情况下修复它？

Answer 1

如错误所示，从来不需要 ##，因为它用于粘贴两个预处理标记以形成一个标记。

#define VAR(name, num) name##num
int VAR(foo, 1);  // foo and 1 must be pasted together as foo1, instead of foo 1

宏应该编译并修复几个语法错误和丢失的声明

 #include<stdlib.h>
 #include<string.h>

 int n_addrs = 6;

 #define ADD_COMP(s1,s2,type) {\
  int _x=0;\
  for(int i=0;i<n_addrs;i++){\
    if(memcmp(s1,&(s2->type),6)!=0){\
      _x=-1;\
    }else{\
      break;\
    }\
  }\
  _x;\
}

typedef struct example{
 char one[6];
 char two[6];
 char three[6];
}example;

void foo(void)
{
    example* example1 = malloc(sizeof(example));
    char some_array[6];
    ADD_COMP(some_array,example1,one)
    ADD_COMP(some_array,example1,two)
    ADD_COMP(some_array,example1,three)
}

注意一个compound statement { ... } 不是表达式，不能这样使用。通过在其周围添加额外的括号，您正在使用 gnu's extension并且不是标准 C。

相反，您应该编写一个函数来执行此操作。然后您将能够返回 _x 并且使用现代优化器，应该可以忽略不计的开销。