Существует такой код:
#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)
В ответ на комментарий ниже.
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
>
operator new не гарантируется инициализация памяти на что-либо, а новое выражение, которое выделяет unsigned int без нового-инициализатора, оставляет объект с неопределенным значением.
Чтение значения неинициализированного объекта приводит к поведению undefined. undefined поведение включает в себя оценку значения нуля без каких-либо негативных последствий, но может привести к чему-либо, поэтому вы должны избегать его возникновения.
В С++ 11 используемый язык состоит в том, что выделенные объекты инициализируются по умолчанию, которые для неклассовых типов означают, что инициализация не выполняется. Это отличается от значения инициализации по умолчанию в С++ 03.
Это не operator new, что оператор new. Там действительно большая разница! Разница в том, что operator new - это функция, которая возвращает необработанную память; когда вы используете оператор new, он вызывает для вас конструктор. Это конструктор, устанавливающий значение этого int, а не operator new.
С некоторыми компиляторами отладочная версия new будет инициализировать данные, но, безусловно, вы не можете положиться.
Также возможно, что память имела только 0 из предыдущего использования. Не предполагайте, что ничего не случилось с памятью между delete и new. На заднем плане может быть что-то, чего вы никогда не замечали. Кроме того, одно и то же значение указателя может быть не той же физической памятью. Страницы памяти перемещаются и выгружаются и отображаются внутри. Указатель может отображаться в совершенно другом месте, чем раньше.
Нижняя строка: если вы специально не инициализировали ячейку памяти, вы можете ничего не понимать о ее содержимом. Менеджер памяти может даже не выделять определенное физическое место памяти до тех пор, пока вы не будете использовать память.
Современное управление памятью удивительно сложное, но как программист на С++ вам все равно (в основном ‡). Играйте по правилам, и вы не столкнетесь с неприятностями.
‡ Вам может быть интересно, если вы оптимизируете, чтобы уменьшить ошибки страницы.