Zeroing einer Struktur im Konstruktor

Question

Eine breite Palette von Strukturen wird in Win32-Programmierung verwendet. Viele Male werden nur einige ihrer Felder verwendet und alle anderen Felder werden auf Null gesetzt. Zum Beispiel:

STARTUPINFO startupInfo; // has more than 10 member variables 
ZeroMemory(&startupInfo, sizeof(startupInfo)); //zero out 
startupInfo.cb = sizeof(startupInfo); //setting size is required according to MSDN 
startupInfo.dwFlags = STARTF_FORCEOFFFEEDBACK; 
//Now call CreateProcess() passing the startupInfo into it 

Ich möchte Kopie-Einfügen von solchen Code zu stoppen und stattdessen eine Abstraktion verwenden, die über Nullsetzen und Einstellen der Parameter sorgen würden. Nehmen wir an, ich brauche nur die Struktur initialisiert wie in Beispiel, und keine andere Abstimmung wird jemals benötigt. Ist das Folgende eine gute Lösung? Was sind mögliche Probleme?

class CStartupInfo : public STARTUPINFO { 
public: 
    CStartupInfo() 
    { 
     ZeroMemory(this, sizeof(STARTUPINFO)); 
     cb = sizeof(STARTUPINFO); 
     dwFlags = STARTF_FORCEOFFFEEDBACK; 
    } 
}; 

Ich bin insbesondere besorgt über die Zeromemory() -Aufruf - sieht aus wie ich voll und ganz den Code steuern und die Klasse hat keine Vtable und ruft Zeromemory() auf diese Weise sicher ist, und es gibt keinen großen Unterschied zwischen den beiden Code-Snippets, außer dass letzterer eine Abstraktion bereitstellt. Gibt es irgendwelche Vorbehalte?

Answer 1

Ich denke, das ist eine gute Möglichkeit, solche Strukturen kugelsicherer zu machen. Ich bin mir nicht sicher, warum andere die Technik nicht mögen. Ich benutze es gelegentlich, aber nicht so oft, wie ich es sonst tun könnte, weil es aus irgendeinem Grund nicht sehr beliebt bei Kollegen ist.

Ich sehe es nicht sehr oft in der veröffentlichten Material verwendet - die einzige, die ich jetzt in einer schnellen Google finden konnte, ist ein Artikel von Paul DiLascia in MSJ August 1997 (http://www.microsoft.com/MSJ/0897/C0897.aspx):

CRebarInfo und CRebarBandInfo sind programmiererfreundliche C++ - Versionen der C-Structs REBARINFO und REBARBANDINFO mit Konstruktoren, die die Objekte auf alle Nullen initialisieren, bevor das Element cbSize entsprechend festgelegt wird.

Ich kann nicht viel in der Art der Nachteile (außer der fehlenden Akzeptanz) denken. Wenn jemand anders auf etwas Konkreteres hinweisen könnte, würde ich es begrüßen.

Answer 2

Anstatt Unterklassen, warum nicht stattdessen eine Funktion erstellen?

STARTUPINFO CreateStartupInfo(DWORD flags) { 
    STARTUPINFO info; 
    ZeroMemory(&info, sizeof(info)); 
    info.cb = sizeof(STARTUPINFO); 
    info.dwFlags = flags; 
    return info; 
} 

Wahre dies eine nicht-triviale Größe Struktur auf den Stapel gelegt werden. Wenn der betreffende Compiler eine benannte Rückgabewertoptimierung hat (link), wird nur eine Kopie erstellt. Aber auf jeden Fall, Ihr Beispiel, das Sie schon einmal gehabt haben und vorübergehend eine Sekunde setzen, wird wahrscheinlich keine großen Probleme verursachen.

Ich Unterklasse normalerweise nur eine Struktur, wenn es eine Ressource gibt, die nicht ordnungsgemäß in der Struktur verwaltet wird. Normalerweise wird ein RAII-Modell implementiert. In Ihrem speziellen Beispiel tritt keine zusätzliche Ressourcenverwaltung auf, daher würde ich die Unterklasse vermeiden und einfach eine Funktion verwenden.

Answer 3

Sie spezielle Wrapper von Typen erstellen können, die wie gewöhnliche Typen verhalten, aber mit Nullen initialisiert, wie:

class zbool { 
private: 
    bool value; 
public: 
    zbool(const bool value) { ... } 
    operator bool() { ... } 
    // ... code skipped 
}; 

Und dann solche Typen verwenden:

struct MyStruct { 
    zbool deleted; 
}; 

Natürlich wird dies nicht funktionieren, wenn Sie versuchen, externe Strukturen zu initialisieren.

Answer 4

Für Strukturen können Sie tun:

STARTUPINFO startup_info = { sizeof(STARTUPINFO), 0 }; 
startup_info.dwFlags = STARTF_FORCEOFFFEEDBACK; 

, die finde ich ein netter Trick ist diese Art von Strukturen zu initialisieren. Der Catch ist jedoch, dass das Feld cb (oder Größe/Länge) das erste in der Struktur sein muss. Man könnte auch einfach einmal die erweiterte Version wenn nötig:

STARTUPINFO startup_info = { 0 }; 
startup_info.cb = sizeof(STARTUPINFO); 
startup_info.dwFlags = STARTF_FORCEOFFFEEDBACK; 

Wenn Sie die Strukturen mit einer Klasse wickeln möchte ich würde empfehlen, versuchen Sie ATL/WTL erste, da die Strukturen, die Sie vielleicht schon sind Einwickeln existieren als Klassen dort.

Wenn Sie immer noch daran interessiert waren, Ihre eigene Klasse zu erstellen, würde ich vorschlagen, dass Sie einen Konstruktor erstellen, der jedes Element der Struktur mit vorgegebenen Standardparametern übernimmt, damit diese später einfacher geändert werden können.

Answer 5

können Sie eine Vorlage verwenden:

template <class T> 
class selfzero : public T 
{ 
public: 
    selfzero() { 
     ZeroMemory(this, sizeof(selfzero<T>)); 
    }; 
}; 

und dann:

{ 
    selfzero<STARTUPINFO> si; 
} 

Der Nachteil: Verwenden Sie diese auf einer Klasse oder Struktur, die eine V-Tabelle oder bekam später eine VTable hat, und es wird puffen.

Answer 6

ich tonj Vorschlag benutzt habe, aber da es intellisense tötet oft, ich landete Bevorzugung des this:

template <typename T> 
T& ZeroInit(T & data) 
{ 
    ZeroMemory(&data, sizeof(data)); 
    return data; 
} 

template <typename T> 
T& ZeroInitCB(T & data) 
{ 
    ZeroMemory(&data, sizeof(data)); 
    data.cb = sizeof(data); 
    return data; 
} 

Im Vergleich < selfzero> Es ist eine andere Linie im Normalfall:

STARTUPINFO si; 
ZeroInitCB(si); 

aber - wie gesagt - ich entschied sich für IntelliSense helfen;)

Die Rückkehr T & manchmal Verkettungs erlaubt, aber ich bin nicht mit es so oft.

Answer 7

Um auf Tonj Lösung zu verbessern:

template <class T> 
class selfzero : public T 
{ 
public: 
    selfzero() { 
     ZeroMemory((T*) this, sizeof(T)); 
    }; 
}; 

Zeroes T, nicht selfdata. Sogar sicher in Fällen von Mehrfachvererbung, VTables und Ähnlichem. Die T-Struktur muss zusammenhängend im Speicher zugewiesen sein, und ((T *) dies ist) richtig für andere Basisklassen und VTabellen angepasst.

Answer 8

, wenn alle nicht-statische Datenelemente der Struktur haben trival Konstrukteurs Ihre Klasse hat eine triviale Konstruktor, auf die Standardwerte zu intialize Mitglieder geht. Die meiste Zeit ist genau dasselbe wie die Struktur absichtlich auf Null zu setzen. Während es vielleicht "gut" ist, sie für die Initialisierung auf Null zu setzen, wird es die meiste Zeit nicht nötig sein.