C 宏编译器警告

Question

我定义了一个宏，使用来自我之前问过here 的问题的输入。该宏旨在设置、清除或检查 GPIO 引脚状态。 宏按预期工作，但编译时出现问题。我在任何使用它的地方都会收到编译器警告：

警告逗号表达式的右手操作数无效

当我像这样使用宏时：

#define ON  1
#define OFF 2
#define ENA 3
#define OUT_3(x) (x==ON) ? (PORTJ.OUTSET=PIN2_bm) : (x==OFF) ? (PORTJ.OUTCLR=PIN2_bm) : (x==ENA) ? (PORTJ.DIRSET=PIN2_bm) : (PORTJ.DIRCLR=PIN2_bm)
#include <avr/io.h>

if (something) OUT_3(ENA);

但是，如果我这样做：

if (something) {OUT_3(ENA);}

我不再收到警告。

为什么会有差异？我应该如何更改宏来防止这种情况发生？

另外，这会引发警告：

int i=0;
if (something) i=1, OUT_3(ENA);

但事实并非如此：

int i=0;
if (something) OUT_3(ENA), i=1;

我对逗号分隔表达式的理解显然有点偏离。编译器如何看到这个？我查看了其他几个与此类似的问题，但仍然不完全理解其中的区别。

Answer 1

这个宏很讨厌有几个原因：

1. 宏参数应始终用括号括起来，以避免潜在的运算符优先级问题。将(x==ON) 更改为((x)==ON)。
2. 嵌套的三元运算应该用括号括起来，以使执行顺序清晰。将a ? b : c ? d : e 更改为a ? b : (c ? d : e)。
3. 完整的宏应该用括号#define MACRO (...) 或do-while-zero 循环#define MACRO do {...} while(0) 括起来，以避免可能出现的运算符优先级问题。更多内容如下。

4. 三元运算符在这里并不是很有用，因为您没有使用它的返回值。您应该使用常规的 if 或 switch 语句。这就是前面提到的 do-while-zero 循环变得方便的地方：

   #define OUT_3(x) \
       do { \
           if((x) == ON)       { PORTJ.OUTSET = PIN2_bm; } \
           else if((x) == OFF) { PORTJ.OUTCLR = PIN2_bm; } \
           else if((x) == ENA) { PORTJ.DIRSET = PIN2_bm; } \
           else                { PORTJ.DIRCLR = PIN2_bm; } \
       } while(0)
   

5. 但是宏真的有必要吗？您可以改用内联函数，并摆脱所有宏的怪异：

   static inline void OUT_3(x_type x) {
       if(x == ON)       { PORTJ.OUTSET = PIN2_bm; }
       else if(x == OFF) { PORTJ.OUTCLR = PIN2_bm; }
       else if(x == ENA) { PORTJ.DIRSET = PIN2_bm; }
       else              { PORTJ.DIRCLR = PIN2_bm; }
   }
   

通过这些更改，您的错误可能会消失，并且您的代码更易于阅读。

Answer 2

我无法重现您的问题。这段代码没有任何问题

main.cpp

#include <stdio.h>
enum type{ON, OFF, ENA};

#define OUT_3(x) (x==ON) ? (printf("ON\n")) : (x==OFF) ? (printf("OFF\n")) : (x==ENA) ? (printf("ENA\n")) : (printf("OTHER\n"))

int main(){
  int a = 2;
  if(a == 1) OUT_3(ON);
  if(a == 2) OUT_3(OFF);
  if(a == 3) OUT_3(ENA);

  return 0;
}

编译

gcc -Wall -O0 -g -o main main.c

您能否展示一下 ON、OFF、ENA 和端口定义的定义？