预处理器无效的预处理器令牌错误

Question

我正在读书学习C。 该书中的以下示例代码给出了gcc（Debian 4.7.2-4）4.7.2的预处理器错误。 错误是：

file.c：在函数“ main”中：
file.c：16：14：错误：令牌““我知道C语言。\\ n”“在预处理程序表达式中无效
file.c：20：14：错误：令牌““我知道BASIC。\\ n”“在预处理程序表达式中无效

代码是：

#include <stdio.h>

#define C_LANG    'C'
#define B_LANG    'B'
#define NO_ERROR  0

int main(void)
{
   #if C_LANG == 'C' && B_LANG == 'B'
     #undef C_LANG
     #define C_LANG "I know the C language.\n"
     #undef B_LANG
     #define B_LANG "I know BASIC.\n"
     printf("%s%s", C_LANG, B_LANG);
   #elif C_LANG == 'C'
     #undef C_LANG
     #define C_LANG "I only know C language.\n"
     printf("%s", C_LANG);
   #elif B_LANG == 'B'
     #undef B_LANG
     #define B_LANG "I only know BASIC.\n"
     printf("%s", B_LANG);
   #else
     printf("I don't know C or BASIC.\n");
   #endif

   return NO_ERROR;
}

gcc预处理器不能正确执行此操作吗？还是需要更改的代码有问题？

Answer 1

正如@cebarth所指出的那样，问题在于，在第一个#if重新定义C_LANG和B_LANG之后， #elif子句失败，因为扩展是：

   #elif "I know the C language.\n" == 'C'
   /*...*/
   #elif "I know BASIC.\n" == 'B'

C标准对#if和#elif （C99 6.10.1）进行了说明：

表单的预处理指令
# if constant-expression new-line groupopt
# elif constant-expression new-line groupopt
检查控制常量表达式的计算结果是否为非零。

没有提到由于较早的检查成功而没有对表达式求值。

解决此问题的一种方法是在printf()之后重新定义它们。

     #undef C_LANG
     #define C_LANG "I know the C language.\n"
     #undef B_LANG
     #define B_LANG "I know BASIC.\n"
     printf("%s%s", C_LANG, B_LANG);
     #undef C_LANG
     #define C_LANG 'C'
     #undef B_LANG
     #define B_LANG 'B'

解决此问题的另一种方法是显式使用#else而不是#elif 。

   #if C_LANG == 'C' && B_LANG == 'B'
     #undef C_LANG
     #define C_LANG "I know the C language.\n"
     #undef B_LANG
     #define B_LANG "I know BASIC.\n"
     fprintf(stdout, "%s%s", C_LANG, B_LANG);
   #else
     #if C_LANG == 'C'
       #undef C_LANG
       #define C_LANG "I only know C language.\n"
       printf("%s", C_LANG);
     #elif B_LANG == 'B'
       #undef B_LANG
       #define B_LANG "I only know BASIC.\n"
       printf("%s", B_LANG);
     #else
       printf("I don't know C or BASIC.\n");
     #endif
   #endif

Answer 2

#include <stdio.h>

#define C_LANG    'C'
#define B_LANG    'B'
#define NO_ERROR  0

int main(void)
{
   #if C_LANG == 'C' && B_LANG == 'B'
     #define C_LANG_VALUE "I know the C language.\n"
     #define B_LANG_VALUE "I know BASIC.\n"
     printf("%s%s", C_LANG_VALUE, B_LANG_VALUE);
   #elif C_LANG == 'C'
     #define C_LANG_VALUE "I only know C language.\n"
     printf("%s", C_LANG_VALUE);
   #elif B_LANG == 'B'
     #define B_LANG_VALUE "I only know BASIC.\n"
     printf("%s", B_LANG_VALUE);
   #else
     printf("I don't know C or BASIC.\n");
   #endif

   return NO_ERROR;
}

Answer 3

通常，混合预处理程序代码和非预处理程序代码不是一个好主意，因为很难遵循执行路径（大多数情况下）。

对于您的特定示例，您可以采取一些措施来简化操作：

#define C_LANG 
#define B_LANG  
#define NO_ERROR

#if defined(C_LANG) || defined (B_LANG)
   #if defined(C_LANG)
       printf ("I know the C language.\n");
   #else
       printf ("I know the BASIC language.\n");
   #endif
#else
   printf("I don't know C or BASIC.\n");
#endif

无需使用宏定义。 您只需在C_LANG或B_LANG中添加一个字符即可更改打印出的内容：

#define C_LANGn
#define B_LANGn 

这样，代码更具可读性。