einen opaken Zeiger auf einen nicht-Typen struct

Question

In meiner C-Programmierung mit, I opaque-Zeiger verwende als eine Möglichkeit struct Abstraktion und Einkapselung von meinem Code zu erzwingen, in dieser Weise:

interface_header.h:

typedef struct s_mytype t_mytype; 

defs_header.h:

struct s_mytype 
{ 
/* Actual definition of the struct */ 
}; 

Mein Problem ich eine einfache Art, wie t_mytype (char zum Beispiel) verwenden möchten, aber nicht informieren die interfa ce darüber. Ich kann nicht einfach typedef char t_mytype verwenden, da das die Interna des Typs freilegen würde. Ich könnte einfach Void-Zeiger verwenden, aber auf Kosten der Typprüfung, und das würde ich lieber vermeiden.

Doing zwei typedef wird auch nicht arbeiten, seit dem eine typedef redefinition with different types aus dem Compiler werfen.

Ich überlege auch, eine Struktur mit nur einem Mitglied zu machen, was mein einfacher Typ sein wird, aber wäre das ein Overkill?

Vielen Dank für Ihre Antworten.

Answer 1

Sie müssen eine Entscheidung treffen. Mit Code wie folgt:

typedef char myHandle; 

frobnicate(myHandle *obj); 

Sie bereits dokumentieren die Absicht, dass Client-Code nur Zeiger auf myHandle verwenden sollte und nie etwas über den zugrunde liegenden Typ übernehmen, so sollten Sie in der Lage sein, die typedef später zu ändern - es sei denn, gibt es "schlampig" Client-Code, der Annahmen macht, sollte es nicht.

---

Wenn Sie vollständig verstecken wollen, was hinter myHandle ist, ein struct ist Ihre einzige Option in C:

typedef struct myHandle myHandle; 

frobnicate(myHandle *obj); 

und nur in einem privaten Kopf- oder Implementierungsdatei, werden Sie setzen

struct myHandle 
{ 
    char val; 
}; 

---

Die erste Option ist einfacher, weil innerhalb der Implementierung von frobnicate() können Sie auf Ihren Wert zugreifen, indem Sie einfach *obj verwenden, während die zweite Option obj->val schreiben muss. Was Sie mit der zweiten Version gewinnen, ist, dass Sie Force Client-Code korrekt geschrieben werden.

In Bezug auf die resultierende ausführbare Datei sind beide Versionen gleichwertig.