¿El siguiente programa es un programa C99 estrictamente conforme?

Question

El título casi lo dice todo, pero voy a replantear la pregunta ...

¿El siguiente programa es un "programa estrictamente conforme" bajo el estándar C99?

#include <stdlib.h> 
/* Removing any pre-existing macro definition, in case one should exist in the implementation. 
* Seems to be allowed under 7.1.3 para 3, as malloc does not begin with _X where X is any capital letter. 
* And 7.1.4 para 1 explicitly permits #undef of such macros. 
*/ 
#ifdef malloc  
#undef malloc  
#endif    

/* Macro substitution has no impact on the external name malloc 
* which remains accessible, e.g., via "(malloc)(s)". Such use of 
* macro substitution seems enabled by 7.1.4 para 1, but not specifically 
* mentioned otherwise. 
*/ 
void * journalling_malloc(size_t size); 
#define malloc(s)  ((journalling_malloc)(s))  

int main(void) 
{ 
    return malloc(10) == NULL ? 1 : 0;  
    /* Just for the sake of expanding the 
    * macro one time, return as exit code 
    * whether the allocation was performed. 
    */ 
} 

Answer 1

Veamos cuál es el estándar C99 tiene que decir al respecto:

véase 7.1.3, § 1, cláusula 5:

Cada identificador con el ámbito de archivo que aparece en cualquiera de las las siguientes subcláusulas [...] están reservadas para su uso como macro nombre y como un identificador con alcance de archivo en el mismo espacio de nombre si se incluye cualquiera de sus encabezados asociados.

y cuando incluya stdlib.h, el nombre malloc está reservado para su uso como un nombre de macro.

Pero 7.1.4, § 1 permite el uso de nombres reservados #undef:

El uso de #undef para eliminar cualquier definición de la macro también se asegurará de que una función real se conoce.

Esto hace que sea posible para volver a #definemalloc, que se traduce en un comportamiento no definido de acuerdo con 7.1.3, § 2:

Si el programa [...] define un identificador reservado como una nombre de macro, el comportamiento no está definido.

¿Por qué el estándar establece esta restricción? Porque otras funciones de la biblioteca estándar pueden implementarse como macros funcionales en términos de la función original, por lo que ocultar la declaración podría romper estas otras funciones.

En la práctica, que debe estar bien, siempre y cuando su definición de malloc satisface todas las disposiciones de la norma prevé la función de la biblioteca, lo cual puede lograrse envolviendo una llamada real a malloc().

Answer 2

Usted tendrá que cambiar journalling_malloc(...)void-void *, cambiar los comentarios a // (porque están comentando su UNDEF) y añadir un #endif cerca de la parte superior, pero por lo demás se ve bien.

Answer 3

Funcionará: Sí.

¿Es conformes: Nº

De acuerdo con la Norma C:

http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1124.pdf

Todos los nombres de la biblioteca estándar están reservados (incluyendo malloc).

7.1.3 Reserved identifiers 
Specifically: 
    <quote>Each macro name in any of the following subclauses</quote> 
    <quote>All identifiers with external linkage in any of the 
    following subclauses</quote> 

también un programa estrictamente conformación voluntad no puede definir los nombres que están reservados para la ejecución (es decir Esto incluye nombres y idnetifiers reservadas, los de las bibliotecas actuales y los reservados para uso futuro).

7.1.3 (note 2) 
Specifically: 
    <quote>If the program declares or defines an identifier in a context in which 
    it is reserved or defines a reserved identifier as a macro name, 
    the behavior is undefined.</quote> 

Por definición: defining malloc() es no conforme porque es un comportamiento indefinido (Ilegal).

Answer 4

identificadores de macro son nombres propios, y todos los identificadores de la biblioteca de cualquier tipo están prohibidos de aliasing a una macro independientemente de la situación lingüística de las macros.

§6.10.3/7

El identificador inmediatamente después la definen se llama el nombre de macro. Hay un espacio de nombre para la macro nombres.

§7.1.3/1

Cada identificador con alcance de archivo enumerados en cualquiera de las siguientes subcláusulas (incluyendo la futura biblioteca direcciones) está reservado para uso como un nombre de macro y como un identificador con ámbito de archivo en el mismo espacio de nombres si cualquiera de sus cabeceras asociada es incluido.

§7.1.3/2

Si el programa declara o define un identificador en un contexto en el que es reservados (que no sea permitida por 7.1.4), o define un identificador reservado como nombre de macro, el comportamiento no está definido.