Оператор new ініціалізує пам'ять до нуля

Є такий код:

#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;
}

Результат:

wsk2: 0x928e008 5
wsk2: 0x928e008 0

Я читав, що newне ініціалізує пам'ять нулями. Але тут здається, що це так. Як це працює?

Є дві версії:

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

Також працює для масивів:

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

У відповідь на коментар нижче.

Ем ... ти впевнений, що new unsigned int[5]()цілі числа обнуляє?

Мабуть, так:

[C ++ 11: 5.3.4 / 15]: Новий вираз, який створює об’єкт типу T, ініціалізує цей об’єкт наступним чином: Якщо новий ініціалізатор опущений, об’єкт ініціалізується за замовчуванням (8.5); якщо ініціалізація не виконується, об'єкт має невизначене значення. В іншому випадку новий ініціалізатор інтерпретується відповідно до правил ініціалізації 8.5 для прямої ініціалізації.

#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";
}

Результати:

> 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 newне гарантується ініціалізація пам’яті ні до чого, а вираз new, який виділяє a unsigned intбез new-ініціалізатора, залишає об’єкт невизначеним значенням.

Зчитування значення неініціалізованого об’єкта призводить до невизначеної поведінки . Невизначена поведінка включає обчислення до нульового значення без побічних ефектів, але може призвести до чогось, тому вам слід уникати його спричинення.

У C ++ 11 використовується мова, що виділені об'єкти ініціалізуються за замовчуванням, що для некласових типів означає, що ініціалізація не виконується. Це відрізняється від значення ініціалізованого за замовчуванням у C ++ 03.

У деяких компіляторах версія налагодження new ініціалізує дані, але, звичайно, немає нічого, на що можна покластися.

Можливо також, що пам'ять щойно мала 0 за попереднє використання. Не припускайте, що з пам’яттю між видаленням та новим нічого не сталося. У фоновому режимі може бути щось зроблене, чого ви ніколи не помічали. Крім того, одне і те ж значення вказівника може бути не однаковою фізичною пам’яттю. Сторінки пам’яті переміщуються та виводяться на сторінку. Вказівник може бути відображений у зовсім іншому місці, ніж раніше.

Підсумок: якщо ви спеціально не ініціалізували розташування пам’яті, ви нічого не можете припустити щодо його вмісту. Менеджер пам’яті може навіть не виділити конкретне місце фізичної пам’яті, поки ви не використаєте пам’ять.

Сучасне управління пам’яттю надзвичайно складне, але як програміст на C ++ вам насправді все одно (переважно ‡). Грайте за правилами, і ви не потрапите в халепу.

‡ Вас може зацікавити оптимізація для зменшення кількості несправностей сторінки.

Це не так operator new, це newоператор. Насправді велика різниця! Різниця полягає в тому, що operator newце функція, яка повертає необроблену пам’ять; коли ви використовуєте newоператор, він викликає для вас конструктор. Це конструктор, який встановлює значення цього int, а не operator new.