为什么某些预处理器宏不能扩展，除非它们是另一个宏的参数？

在某些情况下，某些令牌序列未得到充分预处理。例如：

#define EMPTY()
#define DELAY(x) x EMPTY()
#define PRAGMA(args) _Pragma(args)

#define WRAP( BODY ) { BODY }

#define LOOP_Good( body, i, LB, UB ) \
WRAP( \
    DELAY(PRAGMA)("omp parallel for") \
    for( i = LB; i < UB; ++i ){ \
        body \
    } \
)

#define LOOP_Bad( body, i, LB, UB ) \
{ \
    DELAY(PRAGMA)("omp parallel for") \
    for( i = LB; i < UB; ++i ){ \
        body \
    } \
}

#define LOOP_Good_Again( body, i, LB, UB ) \
{ \
    PRAGMA("omp parallel for") \
    for( i = LB; i < UB; ++i ){ \
        body \
    } \
}

// Good
int i;
int lower_i = 0;
int upper_i = 10;

LOOP_Good( printf("%d\n", i);, i, lower_i, upper_i )

// Bad
LOOP_Bad( printf("%d\n", i);, i, lower_i, upper_i )

// Good again
LOOP_Good_Again( printf("%d\n", i);, i, lower_i, upper_i )

哪个（使用-E -fopenmpgcc 9.1）扩展到以下内容（带有格式）：

int i;
int lower_i = 0;
int upper_i = 10;

// Good
{ 
  #pragma omp parallel for
  for( i = lower_i; i < upper_i; ++i ){ 
    printf("%d\n", i); 
  } 
}

// Bad
{ 
  PRAGMA ("omp parallel for") 
  for( i = lower_i; i < upper_i; ++i ){ 
    printf("%d\n", i); 
  } 
}

// Good again
{ 
  #pragma omp parallel for
  for( i = lower_i; i < upper_i; ++i ){ 
    printf("%d\n", i); 
  } 
}

在“好”情况下，将DELAY(PRAGMA)扩展到PRAGMA，然后再扩展（使用相邻的参数）为_Pragma(...)

在“不良”情况下，将DELAY(PRAGMA)扩展为，PRAGMA但处理停止并PRAGMA留在输出中。如果采用“不良”输出并对其进行预处理（使用所有先前定义的宏），则该输出会正确扩展。

唯一的区别是“好”情况DELAY(PRAGMA)是WRAP宏参数的一部分，而“坏”情况不会传递DELAY(PRAGMA)给任何宏。如果在“不好”的情况下，我们改为PRAGMA单独使用，则问题得到解决（如在“再次好”的情况下）。

在“好”和“坏”情况下，不同行为的原因是什么？