Was bedeutet {0} beim Initialisieren eines Objekts?

Wenn {0}verwendet wird , um ein Objekt zu initialisieren, was bedeutet es? Ich kann {0}nirgendwo Verweise finden und wegen der geschweiften Klammern ist die Google-Suche nicht hilfreich.

Beispielcode:

SHELLEXECUTEINFO sexi = {0}; // what does this do?
sexi.cbSize = sizeof(SHELLEXECUTEINFO);
sexi.hwnd = NULL;
sexi.fMask = SEE_MASK_NOCLOSEPROCESS;
sexi.lpFile = lpFile.c_str();
sexi.lpParameters = args;
sexi.nShow = nShow;

if(ShellExecuteEx(&sexi))
{
    DWORD wait = WaitForSingleObject(sexi.hProcess, INFINITE);
    if(wait == WAIT_OBJECT_0)
        GetExitCodeProcess(sexi.hProcess, &returnCode);
}

Ohne diesen Absturz stürzt der obige Code zur Laufzeit ab.

Was hier passiert, wird als aggregierte Initialisierung bezeichnet. Hier ist die (abgekürzte) Definition eines Aggregats aus Abschnitt 8.5.1 der ISO-Spezifikation:

Ein Aggregat ist ein Array oder eine Klasse ohne vom Benutzer deklarierte Konstruktoren, ohne private oder geschützte nicht statische Datenelemente, ohne Basisklassen und ohne virtuelle Funktionen.

Die {0}Initialisierung eines 0solchen Aggregats ist im Grunde genommen ein Trick für die gesamte Sache. Dies liegt daran, dass Sie bei Verwendung der Aggregatinitialisierung nicht alle Mitglieder angeben müssen und die Spezifikation erfordert, dass alle nicht angegebenen Mitglieder standardmäßig initialisiert werden, was bedeutet, dass sie 0für einfache Typen festgelegt sind.

Hier ist das relevante Zitat aus der Spezifikation:

Wenn die Liste weniger Initialisierer enthält als Mitglieder im Aggregat, wird jedes nicht explizit initialisierte Mitglied standardmäßig initialisiert. Beispiel:

struct S { int a; char* b; int c; };
S ss = { 1, "asdf" };

initialisiert ss.amit 1, ss.bmit "asdf"und ss.cmit dem Wert eines Ausdrucks der Form int(), d. h 0.

Die vollständige Spezifikation zu diesem Thema finden Sie hier

Eine Sache, die Sie beachten sollten, ist, dass diese Technik die Füllbytes nicht auf Null setzt. Beispielsweise:

struct foo
{
    char c;
    int  i;
};

foo a = {0};

Ist nicht dasselbe wie:

foo a;
memset(&a,0,sizeof(a));

Im ersten Fall werden Pad-Bytes zwischen c und i nicht initialisiert. Warum sollte es dich interessieren? Wenn Sie diese Daten auf der Festplatte speichern oder über ein Netzwerk oder was auch immer senden, liegt möglicherweise ein Sicherheitsproblem vor.

Beachten Sie, dass ein leerer Aggregatinitialisierer auch funktioniert:

SHELLEXECUTEINFO sexi = {};
char mytext[100] = {};

Als Antwort darauf, warum ShellExecuteEx()es abstürzt: Ihre SHELLEXECUTEINFO"sexi" -Struktur hat viele Mitglieder und Sie initialisieren nur einige von ihnen.

Das Mitglied sexi.lpDirectorykönnte beispielsweise auf eine beliebige Stelle zeigen, versucht jedoch ShellExecuteEx()weiterhin, sie zu verwenden, sodass eine Speicherzugriffsverletzung auftritt.

Wenn Sie die Zeile einfügen:

SHELLEXECUTEINFO sexi = {0};

Vor dem Rest Ihrer Struktureinrichtung weisen Sie den Compiler an, alle Strukturelemente auf Null zu setzen, bevor Sie die spezifischen Elemente initialisieren, an denen Sie interessiert sind. ShellExecuteEx()Wenn sexi.lpDirectoryNull ist, sollte er diese ignorieren.

Ich benutze es auch, um Strings zu initialisieren, z.

char mytext[100] = {0};

{0}ist ein gültiger Initialisierer für jeden (vollständigen Objekt-) Typ in C und C ++. Es ist eine gebräuchliche Redewendung, mit der ein Objekt auf Null initialisiert wird (lesen Sie weiter, um zu sehen, was das bedeutet).

Für Skalartypen (Arithmetik- und Zeigertypen) sind die geschweiften Klammern nicht erforderlich, aber ausdrücklich zulässig. Zitieren des N1570-Entwurfs der ISO C-Norm, Abschnitt 6.7.9:

Der Initialisierer für einen Skalar muss ein einzelner Ausdruck sein, der optional in geschweiften Klammern eingeschlossen ist.

Es initialisiert das Objekt auf Null ( 0für Ganzzahlen, 0.0für Gleitkomma, einen Nullzeiger für Zeiger).

Gibt für nicht skalare Typen (Strukturen, Arrays, Vereinigungen) an, {0}dass das erste Element des Objekts auf Null initialisiert wird. Bei Strukturen, die Strukturen, Arrays von Strukturen usw. enthalten, wird dies rekursiv angewendet, sodass das erste Skalarelement je nach Typ auf Null gesetzt wird. Wie bei jedem Initialisierer werden alle nicht angegebenen Elemente auf Null gesetzt.

Zwischenklammern ( {, }) können weggelassen werden; Zum Beispiel sind beide gültig und gleichwertig:

int arr[2][2] = { { 1, 2 }, {3, 4} };

int arr[2][2] = { 1, 2, 3, 4 };

Deshalb müssen Sie beispielsweise nicht { { 0 } }für einen Typ schreiben, dessen erstes Element nicht skalar ist.

Also das:

some_type obj = { 0 };

ist eine Kurzform der Initialisierung objauf Null, was bedeutet, dass jedes skalare Unterobjekt von auf objgesetzt wird, 0wenn es eine Ganzzahl ist, 0.0wenn es Gleitkomma ist, oder auf einen Nullzeiger, wenn es ein Zeiger ist.

Die Regeln für C ++ sind ähnlich.

In Ihrem speziellen Fall ist sexi.cbSizees klar, dass SHELLEXECUTEINFOes sich um einen Struktur- oder Klassentyp handelt (oder möglicherweise um eine Vereinigung, aber wahrscheinlich nicht) , da Sie Werte usw. zuweisen. Dies gilt also nicht für alles, aber wie gesagt, { 0 }ist es üblich Redewendung, die in allgemeineren Situationen verwendet werden kann.

Dies ist nicht (notwendigerweise) gleichbedeutend mit der Verwendung memset, um die Darstellung des Objekts auf alle Bits Null zu setzen. Weder Gleitkomma 0.0noch ein Nullzeiger werden notwendigerweise als All-Bit-Null dargestellt, und ein { 0 }Initialisierer setzt nicht notwendigerweise Füllbytes auf einen bestimmten Wert. Auf den meisten Systemen hat dies jedoch wahrscheinlich den gleichen Effekt.

Es ist schon eine Weile her, dass ich in c / c ++ gearbeitet habe, aber IIRC, dieselbe Verknüpfung kann auch für Arrays verwendet werden.

Ich habe mich immer gefragt, warum Sie so etwas verwenden sollten

struct foo bar = { 0 };

Hier ist ein Testfall zu erklären:

check.c

struct f {
    int x;
    char a;
} my_zero_struct;

int main(void)
{
    return my_zero_struct.x;
}

Ich kompiliere mit gcc -O2 -o check check.cund readelf -s check | sort -k 2gebe dann die Symboltabelle mit aus (dies ist mit gcc 4.6.3 unter Ubuntu 12.04.2 auf einem x64-System). Auszug:

59: 0000000000601018     0 NOTYPE  GLOBAL DEFAULT  ABS __bss_start
48: 0000000000601018     0 NOTYPE  GLOBAL DEFAULT  ABS _edata
25: 0000000000601018     0 SECTION LOCAL  DEFAULT   25 
33: 0000000000601018     1 OBJECT  LOCAL  DEFAULT   25 completed.6531
34: 0000000000601020     8 OBJECT  LOCAL  DEFAULT   25 dtor_idx.6533
62: 0000000000601028     8 OBJECT  GLOBAL DEFAULT   25 my_zero_struct
57: 0000000000601030     0 NOTYPE  GLOBAL DEFAULT  ABS _end

Der wichtige Teil hier ist, das my_zero_structist danach __bss_start. Der Abschnitt ".bss" in einem C-Programm ist der Speicherabschnitt, der auf Null gesetzt wurde, bevor er main aufgerufen wird (siehe Wikipedia auf .bss) .

Wenn Sie den obigen Code ändern in:

} my_zero_struct = { 0 };

Dann wird die resultierende „check“ ausführbare sieht genau die gleiche zumindest mit den gcc 4.6.3 Compiler auf Ubuntu 12.04.2; Das my_zero_structbefindet sich noch im .bssAbschnitt und wird daher automatisch auf Null initialisiert, bevor maines aufgerufen wird.

Hinweise in den Kommentaren, dass a memsetmöglicherweise die "vollständige" Struktur initialisiert, sind ebenfalls keine Verbesserung, da der .bssAbschnitt vollständig gelöscht wird, was auch bedeutet, dass die "vollständige" Struktur auf Null gesetzt ist.

Es kann sein, dass der C-Sprachstandard nichts davon erwähnt, aber in einem realen C-Compiler habe ich noch nie ein anderes Verhalten gesehen.

Es ist syntatischer Zucker, um Ihre gesamte Struktur auf leere / Null / Null-Werte zu initialisieren.

Lange Version

SHELLEXECUTEINFO sexi;
sexi.cbSize = 0;
sexi.fMask = 0;
sexi.hwnd = NULL;
sexi.lpVerb = NULL;
sexi.lpFile = NULL;
sexi.lpParameters = NULL;
sexi.lpDirectory = NULL;
sexi.nShow = nShow;
sexi.hInstApp = 0;
sexi.lpIDList = NULL;
sexi.lpClass = NULL;
sexi.hkeyClass = 0;
sexi.dwHotKey = 0;
sexi.hMonitor = 0;
sexi.hProcess = 0;

Kurzfassung

SHELLEXECUTEINFO sexi = {0};

War das nicht viel einfacher?

Es ist auch schön, weil:

• Sie müssen nicht jedes Mitglied suchen und initialisieren
• Sie müssen sich keine Sorgen machen, dass Sie neue Mitglieder möglicherweise nicht initialisieren, wenn sie später hinzugefügt werden
• Sie müssen nicht anrufenZeroMemory

{0} ist ein anonymes Array , dessen Element 0 ist.

Dies wird verwendet, um ein oder alle Elemente des Arrays mit 0 zu initialisieren.

zB int arr [8] = {0};

In diesem Fall werden alle Elemente von arr als 0 initialisiert.