Wie verwende ich typedef und typedef enum in C?

In Betracht ziehen:

#define MAXROW 20
#define MAXCOL 60
typedef State Grid[MAXROW+2] [MAXCOL+2]
typedef enum state {DEAD,ALIVE} State

Wie verwende ich typedef und typedef enum in C? Was macht dieser Teil des Codes?

typedef enum state {DEAD,ALIVE} State;
|     | |                     | |   |^ terminating semicolon, required! 
|     | |   type specifier    | |   |
|     | |                     | ^^^^^  declarator (simple name)
|     | |                     |    
|     | ^^^^^^^^^^^^^^^^^^^^^^^  
|     |
^^^^^^^-- storage class specifier (in this case typedef)

Das typedef Schlüsselwort ist ein Pseudo-Speicherklassenbezeichner. Syntaktisch wird es an der gleichen Stelle verwendet wie ein Speicherklassenbezeichner extern oder static wird genutzt. Mit Lagerung hat das nichts zu tun. Das bedeutet, dass die Deklaration nicht die Existenz von einführt benannte Objektesondern führt Namen ein, die sind Geben Sie Aliase ein.

Nach der obigen Erklärung, die State Bezeichner wird zu einem Alias ​​für den Typ enum state {DEAD,ALIVE}. Die Deklaration stellt auch diesen Typ selbst bereit. Das ist es aber nicht typedef es tun. Irgendein Erklärung, in der enum state {DEAD,ALIVE} erscheint als Typbezeichner, der diesen Typ in den Gültigkeitsbereich einführt:

enum state {DEAD, ALIVE} stateVariable;

Wenn enum state wurde zuvor eingeführt typedef muss so geschrieben werden:

typedef enum state State;

ansonsten der enum wird neu definiert, was ein Fehler ist.

Wie andere Deklarationen (außer Deklarationen von Funktionsparametern) ist die typedef Deklaration kann mehrere Deklaratoren haben, getrennt durch ein Komma. Darüber hinaus können sie abgeleitete Deklaratoren sein, nicht nur einfache Namen:

typedef unsigned long ulong, *ulongptr;
|     | |           | |  1 | |   2   |
|     | |           | |    | ^^^^^^^^^--- "pointer to" declarator
|     | |           | ^^^^^^------------- simple declarator
|     | ^^^^^^^^^^^^^-------------------- specifier-qualifier list
^^^^^^^---------------------------------- storage class specifier

Dies typedef führt zwei Typnamen ein ulong und ulongptrbasierend auf unsigned long Typ, der in der Bezeichner-Qualifizierer-Liste angegeben ist. ulong ist nur ein direkter Alias ​​für diesen Typ. ulongptr wird als Zeiger auf deklariert unsigned longDanke an die * Syntax, die in dieser Rolle eine Art Typkonstruktionsoperator ist, der bewusst das Unäre nachahmt * für die Dereferenzierung von Zeigern, die in Ausdrücken verwendet werden. Mit anderen Worten ulongptr ist ein Alias ​​für den “Zeiger auf unsigned long” Typ.

Alias ​​bedeutet das ulongptr ist kein eigenständiger Typ aus unsigned long *. Dies ist ein gültiger Code, der keine Diagnose erfordert:

unsigned long *p = 0;
ulongptr q = p;

Die Variablen q und p habe genau den gleichen typ.

Das Aliasing von typedef ist nicht textlich. Zum Beispiel wenn user_id_t ist ein typedef Bezeichnung für den Typ intkönnen wir dies nicht einfach tun:

unsigned user_id_t uid;  // error! programmer hoped for "unsigned int uid". 

Dies ist eine Liste mit ungültigen Typbezeichnern, Kombination unsigned mit einem Typedef-Namen. Das Obige kann mit dem C-Präprozessor durchgeführt werden:

#define user_id_t int
unsigned user_id_t uid;

wodurch user_id_t wird zum Token makro-erweitert int vor Syntaxanalyse und Übersetzung. Während dies wie ein Vorteil erscheinen mag, ist es ein falscher; Vermeiden Sie dies in neuen Programmen.

Unter den Nachteilen, dass es für abgeleitete Typen nicht gut funktioniert:

 #define silly_macro int *

 silly_macro not, what, you, think;

Diese Deklaration deklariert nicht what, you und think als vom Typ “Zeiger auf int”, weil die Makroerweiterung ist:

 int * not, what, you, think;

Der Typbezeichner ist intund die Deklaratoren sind *not, what, you und think. So not hat den erwarteten Zeigertyp, die übrigen Bezeichner jedoch nicht.

Und das ist wahrscheinlich 99% von allem typedef und Typ-Aliasing in C.

typedef definiert einen neuen Datentyp. Sie können also haben:

typedef char* my_string;
typedef struct{
  int member1;
  int member2;
} my_struct;

Jetzt können Sie also Variablen mit diesen neuen Datentypen deklarieren

my_string s;
my_struct x;

s = "welcome";
x.member1 = 10;

Zum enumliegen die Dinge etwas anders – betrachten Sie die folgenden Beispiele:

enum Ranks {FIRST, SECOND};
int main()
{
   int data = 20;
   if (data == FIRST)
   {
      //do something
   }
}

verwenden typedef enum erstellt einen Alias ​​für einen Typ:

typedef enum Ranks {FIRST, SECOND} Order;
int main()
{
   Order data = (Order)20;  // Must cast to defined type to prevent error

   if (data == FIRST)
   {
      //do something
   }
}

EIN Typdefist nur ein Alias ​​-

• “typedef ist ein reserviertes Schlüsselwort in den Programmiersprachen C und C++. Es wird verwendet um einen zusätzlichen Namen zu erstellen (alias) für einen anderen Datentyp, erstellt aber keinen neuen Typ” (Wiki)

• “Die Typedef-Deklaration bietet einen Weg um einen Bezeichner als Typenalias zu deklarierensein verwendet, um zu ersetzen ein möglicherweise komplexer Typname” (cpReferenz)