C: Unterschiede zwischen Prototyp-Deklaration in der Kopf- und Funktionsdeklaration für die Implementierung?

Question

Ich wunderte mich über kleine Unterschiede zwischen der Deklaration von Funktionsprototypen in Kopfzeilen und in .c-Dateien. Ich habe einen Header mit einigen Prototyp-Funktionen und einigen C-Dateien mit echter Implementierung dieser Funktionen. Ich habe einige Änderungen in der Kopfzeile vorgenommen, nur hinzugefügt "__restrict" Qualifier (von gcc erkannt). Meine Frage ist, muss ich das "__restrict" Qualifikationsmerkmal in .c-Dateien zu setzen (zur Zeit der Code kompilieren, so denke ich, die Antwort ist nein, aber eine gewisse Präzision würde geschätzt werden).

Funktioniert dies für jeden C-Qualifier? Kann ich etwas "const" oder "volatile" im Header hinzufügen, ohne das Gleiche in .c-Dateien zu tun?

derzeit in Header:

int myfunc_gettype (const mytype *__restrict, int *__restrict); 

und in Implementierungsdatei:

int myfunc_gettype(const mytype *attr, int *type) 

Answer 1

Sie Muss. Das Mismatch ruft undefiniertes Verhalten auf. Gibt es einen Grund, warum Sie separate Deklarationen in der Kopfzeile und bei der Definition haben möchten?

Beachten Sie, dass das Schlüsselwort restrict im Gegensatz zu __restrict ist, die eine Erweiterung des Herstellers ist (Hinweis: Blick auf die _ ist vor dem Keyword-Namen). Sie sollten die Standardversion für die Portabilität beibehalten.

Answer 2

HINWEIS: Sie haben das Qualifikationsmerkmal "restrict" nicht hinzugefügt. Sie haben nur verschiedene (optionale) Variablennamen im Prototyp.

In Bezug auf Ihre Frage werden die meisten guten C-Compiler diesen Fehler abfangen und eine Warnung/einen Fehler ausgeben, wenn der nicht übereinstimmende Prototyp mit der Implementierung enthalten ist. Wenn Sie nicht übereinstimmende Prototypen haben, können Probleme vom subtilen bis zum sofortigen Absturz auftreten.

Answer 3

mit gcc 4.0.1, es hängt davon ab, ob die const sinnlos ist:

// Who cares, compiles fine, but irks the maintenance programmer. 

// f.h 
int f(const int i); 

// f.c 
int f(int i) { return i += 42; } 


// No no no no Your Types Conflict gcc will not stand for it 

// f.h 
int f(const int *pi); 

// f.c 
int f(int *pi) { return (*pi)+= 42; }