C99, "A pesar del nombre, una directiva no es una directiva de preprocesamiento".

Question

¿Qué significa la nota al pie citada en el título? Es una nota adjunta a 6.10.3p11

Si hay secuencias de fichas de pre-procesamiento dentro de la lista de argumentos que de otro modo actuar como directivas de preprocesamiento, ¹⁴⁷⁾ el comportamiento no está definido.

yo nos registramos y se encontró

Una directiva de preprocesamiento consiste en una secuencia de fichas de pre-procesamiento que se inicia con un token # preprocesamiento que ...

y no he encontrado el no terminal non-directive que coincide con esa sintaxis. Puede, pero no tiene que hacerlo, comenzar con un token de preprocesamiento #. Entonces, ¿no tendríamos que decir lo siguiente?

"A pesar del nombre, una directiva de preprocesamiento no es directiva."

Además, ¿cuál es el propósito de esa nota al pie?

Answer 1

Ver http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_250.htm Es de aclarar que

#define nothing(x) // Nothing /* Case 1 */ 
nothing (
#nonstandard 
) 

es UB.

Answer 2

Mi copia de C99 no tiene que la nota (que es el original -? Qué tienes uno con correcciones TR aplica), pero creo que la idea es que si usted tiene

# non-directive 

dentro de un argumento macro lista, ese es un comportamiento indefinido.

Hubiera sido mejor hacer la < no directiva > producción incluye el #, creo, sería simplificar 6.10p3,4, así como la eliminación de esta confusión.