El preprocesador C opera con "tokens" y cada vez que existe la posibilidad de cambiar el significado o la ambigüedad, siempre agrega espacios en blanco para preservar el significado.

Considere su ejemplo,

 (B)

no hay ambigüedad o significado que altere si hay un espacio entre ( y ) agregado o no, independientemente del valor macro de B .

Pero no es el caso de

 |B|

Dependiendo de la macro B , esto de arriba podría ser || o |something| . Entonces, el preprocesador se ve obligado a agregar un espacio en blanco para mantener las reglas léxicas de C.

El mismo comportamiento se puede ver con cualquier otra ficha que pueda alterar el significado. Por ejemplo,

 #define B + B+

produciría

 + +

Opuesto a

 ++

por dicho motivo.

Sin embargo, este es solo el preprocesador que cumple con las reglas léxicas de C. GCC tiene y admite un preprocesador antiguo llamado procesador tradicional que no agregaría espacios en blanco adicionales. Por ejemplo, si llama al preprocesador en modo tradicional :

 gcc -E -traditional-cpp file.c

entonces

 #define B (B) |B|

producir (sin el espacio en blanco)

 () ||

La salida de gcc -E intencionalmente no coincide con las reglas exactas especificadas por el estándar C. El estándar C no describe ninguna forma en particular en la que el resultado del preprocesador deba ser visible, y ni siquiera requiere que exista tal forma.

La única vez que se requiere que algún tipo de salida del preprocesador sea visible es cuando se usa el operador # . Y si usa esto, puede ver que no hay espacio.

La respuesta de flaming.toaster señala correctamente que la razón por la que la salida gcc -E inserta un espacio es para evitar que los dos | s de ser analizados como un solo || simbólico. Se requiere el siguiente programa para dar un diagnóstico del error de sintaxis:

 #define EMPTY int main() { return 0 |EMPTY| 0; }

y el espacio está ahí para asegurarse de que el compilador aún tenga suficiente información para generar el error.

editar: vea la respuesta de hvd sobre la implementación del preprocesador de gcc

Esto puede ser para diferenciar entre los operadores OR lógicos y bit a bit.

Esta muestra:

 if (x | 4) printf("true\n"); // Bitwise OR, may or may not be true

Es diferente de:

 if (x || 4) printf("true\n"); // Always true

Dado que son operadores diferentes con funciones diferentes, es necesario que el preprocesador agregue espacios en blanco para evitar cambiar el significado previsto de la declaración.