Operator new initialisiert den Speicher auf Null

Es gibt einen solchen Code:

#include <iostream>

int main(){
  unsigned int* wsk2 = new unsigned int(5);
  std::cout << "wsk2: " << wsk2 << " " << *wsk2 << std::endl;
  delete wsk2;
  wsk2 = new unsigned int;
  std::cout << "wsk2: " << wsk2 << " " << *wsk2 << std::endl;
  return 0;
}

Ergebnis:

wsk2: 0x928e008 5
wsk2: 0x928e008 0

Ich habe gelesen, dass newder Speicher nicht mit Nullen initialisiert wird. Aber hier scheint es so. Wie funktioniert es?

Es gibt zwei Versionen:

wsk = new unsigned int;      // default initialized (ie nothing happens)
wsk = new unsigned int();    // zero    initialized (ie set to 0)

Funktioniert auch für Arrays:

wsa = new unsigned int[5];   // default initialized (ie nothing happens)
wsa = new unsigned int[5](); // zero    initialized (ie all elements set to 0)

Als Antwort auf den Kommentar unten.

Ähm ... bist du sicher, dass new unsigned int[5]()die ganzen Zahlen Nullen sind?

Anscheinend schon:

[C ++ 11: 5.3.4 / 15]: Ein neuer Ausdruck, der ein Objekt vom Typ T erstellt, initialisiert dieses Objekt wie folgt: Wenn der neue Initialisierer weggelassen wird, wird das Objekt standardmäßig initialisiert (8.5). Wenn keine Initialisierung durchgeführt wird, hat das Objekt einen unbestimmten Wert. Andernfalls wird der Neuinitialisierer gemäß den Initialisierungsregeln von 8.5 für die Direktinitialisierung interpretiert.

#include <new>
#include <iostream>


int main()
{
    unsigned int   wsa[5] = {1,2,3,4,5};

    // Use placement new (to use a know piece of memory).
    // In the way described above.
    // 
    unsigned int*    wsp = new (wsa) unsigned int[5]();

    std::cout << wsa[0] << "\n";   // If these are zero then it worked as described.
    std::cout << wsa[1] << "\n";   // If they contain the numbers 1 - 5 then it failed.
    std::cout << wsa[2] << "\n";
    std::cout << wsa[3] << "\n";
    std::cout << wsa[4] << "\n";
}

Ergebnisse:

> g++ --version
Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn)
Target: x86_64-apple-darwin13.2.0
Thread model: posix
> g++ t.cpp
> ./a.out
0
0
0
0
0
>

operator newEs wird nicht garantiert, dass der Speicher für irgendetwas initialisiert wird, und der neue Ausdruck , der einen unsigned intohne einen neuen Initialisierer zuweist, hinterlässt dem Objekt einen unbestimmten Wert.

Das Lesen des Werts eines nicht initialisierten Objekts führt zu undefiniertem Verhalten . Undefiniertes Verhalten umfasst das Auswerten auf den Wert Null ohne negative Auswirkungen, kann jedoch dazu führen, dass etwas passiert. Sie sollten daher vermeiden, es zu verursachen.

In C ++ 11 wird als Sprache verwendet, dass die zugewiesenen Objekte standardmäßig initialisiert werden, was für Nichtklassentypen bedeutet, dass keine Initialisierung durchgeführt wird. Dies unterscheidet sich von der Bedeutung der Standardinitialisierung in C ++ 03.

Bei einigen Compilern initialisiert die Debug-Version von new die Daten, aber es gibt sicherlich nichts, auf das Sie sich verlassen können.

Es ist auch möglich, dass der Speicher gerade 0 aus einer früheren Verwendung hatte. Gehen Sie nicht davon aus, dass zwischen Löschen und Neu nichts mit dem Speicher passiert ist. Im Hintergrund könnte etwas geschehen, das Sie nie bemerkt haben. Außerdem ist derselbe Zeigerwert möglicherweise nicht derselbe physische Speicher. Speicherseiten werden verschoben und ausgelagert. Ein Zeiger wird möglicherweise einer ganz anderen Position als zuvor zugeordnet.

Fazit: Wenn Sie einen Speicherort nicht speziell initialisiert haben, können Sie nichts über dessen Inhalt annehmen. Der Speichermanager weist möglicherweise erst dann einen bestimmten physischen Speicherort zu, wenn Sie den Speicher verwenden.

Die moderne Speicherverwaltung ist erstaunlich komplex, aber als C ++ - Programmierer ist Ihnen das eigentlich egal (meistens ‡). Spielen Sie nach den Regeln und Sie werden keine Probleme bekommen.

‡ Es könnte Sie interessieren, ob Sie optimieren, um Seitenfehler zu reduzieren.

Das ist nicht operator new, das ist der newBetreiber. Es gibt tatsächlich einen großen Unterschied! Der Unterschied besteht darin, dass operator newes sich um eine Funktion handelt, die Rohspeicher zurückgibt. Wenn Sie den newOperator verwenden, wird ein Konstruktor für Sie aufgerufen. Es ist der Konstruktor, der den Wert davon festlegt int, nicht operator new.