[解決済み] 演算子 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 はメモリをゼロで初期化しないと書いてありました。しかし、ここではそうなっているようです。それはどのように動作するのでしょうか？

どのように解決するのですか？

2つのバージョンがあります。

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 のオブジェクトを作成する new 式は、そのオブジェクトを次のように初期化します。new-initializerが省略された場合，オブジェクトはデフォルト初期化(8.5)され，初期化が行われない場合，オブジェクトは不定値を持つ。そうでなければ，new-initializerは，直接初期化のための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
>