Ist das folgende Programm ein striktes C99-Programm?

Question

Der Titel sagt fast alles, aber ich werde die Frage wiederholen ...

Ist das folgende Programm ein "streng konformes Programm" unter dem C99-Standard?

#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

die bei Werfen wir einen Blick, was der C99-Standard dazu zu sagen hat:

7.1.3 Siehe § 1 Satz 5:

Jeder Bezeichner mit Rahmen-Datei in einen der aufgeführten Folgende Unterklauseln [...] sind reserviert für die Verwendung als Makroname und als Bezeichner mit Dateibereich im selben Namen Leerzeichen , wenn einer der zugehörigen Header enthalten ist.

Wie Sie stdlib.h umfassen, der Name malloc ist für den Einsatz als Makronamen reserviert.

Aber 7.1.4, § 1 ermöglicht #undef auf reservierten Namen mit:

Die Verwendung von #undef jede Makrodefinition zu entfernen, wird auch dafür sorgen, dass eine eigentliche Funktion bezeichnet wird.

Dies macht es möglich, #definemalloc, re-, die nach 7.1.3 in undefinierten Verhalten führt, §2:

Wenn das Programm [...] eine reservierte Kennung als ein definiert Makroname, das Verhalten ist nicht definiert.

Warum macht der Standard diese Einschränkung? Da andere Funktionen der Standardbibliothek als funktionsähnliche Makros in Bezug auf die ursprüngliche Funktion implementiert werden können, kann das Verbergen der Deklaration diese anderen Funktionen beeinträchtigen.

In der Praxis sollten Sie in Ordnung sein, solange Ihre Definition von malloc alle Bestimmungen erfüllt, die der Standard für die Bibliotheksfunktion vorsieht, was durch Umhüllen eines tatsächlichen Aufrufs mit malloc() erreicht werden kann.

Answer 2

Sie wollen journalling_malloc(...)void-void *, ändern, um die Kommentare ändern // (weil sie Ihre undef kommentieren out) und ein #endif in der Nähe der Spitze hinzufügen, aber ansonsten sieht es in Ordnung.

Answer 3

Funktioniert es: Ja.

Ist es konforme: Nein

Nach dem C Standard:

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

Alle Namen in der Standardbibliothek sind reserviert (einschließlich 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> 

Auch ein streng konformes Programm kann Namen nicht definieren, die für die Implementierung reserviert werden (d Diese reservierte Namen und idnetifiers enthalten, die für aktuelle Bibliotheken und die für die zukünftige Verwendung reserviert).

Also definitionsgemäß: Definieren malloc() ist nicht konform, weil es undefiniertes Verhalten (Illegal) ist.

Answer 4

Makrobezeichner sind Eigennamen, und allen Bibliotheksbezeichnern jeder Art ist es untersagt, auf Makros zu aliasieren, unabhängig vom linguistischen Status von Makros.

§6.10.3/7

Die Kennung sofort folgenden wird die Definition der Makroname genannt. Es gibt einen Namensraum für Makro Namen.

§7.1.3/1

Jeder Bezeichner mit Dateigültigkeitsbereich aufgelistet in einer der folgenden Subklauseln (einschließlich der künftigen Bibliothek Richtungen) für die Verwendung als Makroname ist reserviert und als eine Kennung mit Dateibereich im gleichen Namensraum, wenn einer der zugehörigen Header enthalten ist.

§7.1.3/2

Wenn das Programm erklärt oder definiert ein Identifikator in einem Kontext, in dem es reserviert ist (außer wie durch 7.1.4 erlaubt), oder definiert Ein reservierter Bezeichner als Makroname. Das Verhalten ist nicht definiert.