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

Ответ 1

Существуют две версии:

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)

В ответ на комментарий ниже.

Ehm... вы уверены, что новый unsigned int5 обнуляет целые числа?

Видимо, да:

[С++ 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
>

Ответ 2

operator new не гарантируется инициализация памяти на что-либо, а новое выражение, которое выделяет unsigned int без нового-инициализатора, оставляет объект с неопределенным значением.

Чтение значения неинициализированного объекта приводит к поведению undefined. undefined поведение включает в себя оценку значения нуля без каких-либо негативных последствий, но может привести к чему-либо, поэтому вы должны избегать его возникновения.

В С++ 11 используемый язык состоит в том, что выделенные объекты инициализируются по умолчанию, которые для неклассовых типов означают, что инициализация не выполняется. Это отличается от значения инициализации по умолчанию в С++ 03.

Ответ 3

Это не operator new, что оператор new. Там действительно большая разница! Разница в том, что operator new - это функция, которая возвращает необработанную память; когда вы используете оператор new, он вызывает для вас конструктор. Это конструктор, устанавливающий значение этого int, а не operator new.

Ответ 4

С некоторыми компиляторами отладочная версия new будет инициализировать данные, но, безусловно, вы не можете положиться.

Также возможно, что память имела только 0 из предыдущего использования. Не предполагайте, что ничего не случилось с памятью между delete и new. На заднем плане может быть что-то, чего вы никогда не замечали. Кроме того, одно и то же значение указателя может быть не той же физической памятью. Страницы памяти перемещаются и выгружаются и отображаются внутри. Указатель может отображаться в совершенно другом месте, чем раньше.

Нижняя строка: если вы специально не инициализировали ячейку памяти, вы можете ничего не понимать о ее содержимом. Менеджер памяти может даже не выделять определенное физическое место памяти до тех пор, пока вы не будете использовать память.

Современное управление памятью удивительно сложное, но как программист на С++ вам все равно (в основном ‡). Играйте по правилам, и вы не столкнетесь с неприятностями.

‡ Вам может быть интересно, если вы оптимизируете, чтобы уменьшить ошибки страницы.