C++11にはweak
, shared
, unique
のスマートポインタがありますが、これらが使える環境であえてnew, deleteだけを使ったインスタンスの生成を使う意味はありますか?
C++11ではnew, deleteだけを使った方法は、使うべきではない方法という位置付けなのでしょうか?
後方互換性は考えないものとします
スタック・オーバーフローはプログラマーとプログラミングに熱心な人のためのQ&Aサイトです。すぐ登録できます。
登録してこのコミュニティに参加するらっしーさんの回答は更新されてnew
とunique
とで大差ない値が出てしまっているので、更新前、何が起こっていたのかを説明しておきます。
当たり前と感じるかもしれませんが、
int i0;
と記述した場合、C言語互換で未初期化の変数i0
が用意されます。これを
int i1 = int();
int i2{};
などの記述をするとデフォルトコンストラクターが実行され0
で初期化されます。同様のことがnew
でも存在し
int* j0 = new int;
int* j1 = new int();
int* j2 = new int{};
j0
はメモリ確保は行われますが未初期化のままであり、j1
およびj2
はメモリ確保の後にデフォルトコンストラクターによって0
で初期化されます。
そして本題、
std::unique_ptr<int> k = std::make_unique<int>();
ですとどうしてもデフォルトコンストラクターを呼び出してしまうため強制的に初期化のコストがかかります。
またunique_ptr
は動的にrelease()
可能です。そのため、unique_ptr
デストラクターでは保持しているポインターが解放済みであるかどうかのテストが追加されます。対してハードコードされたdelete var;
文ではこのテストが省略されている点も実行時間の差分に含まれています。
まとめると実行時の初期化コストの差でしょうか。この程度の差を気にしないのであれば、delete
し忘れを防ぐ意味でもunique
やshared
を使うべきでしょう。また実行時間に対して初期化が支配的となるような場合、new
とunique
の差を気にするよりも構造を見直すべきです。
この他に、make_unique()
を使う場合、make_unique()
からコンストラクターを呼び出すことになりますので必然的にコンストラクターをpublic
にする必要があります。
class Test {
Test() = default;
public:
static auto create() {
return std::make_unique<Test>(); // error
}
};
蛇足ですが、malloc()
もメモリ確保だけを行い初期化しませんが、calloc()
はゼロクリアします。
newを使う理由の一つとして速度があるのではないかと思い、検証を行いました。以下、その検証結果です。
#include <chrono>
#include <cstdlib>
#include <cstring>
#include <functional>
#include <iomanip>
#include <iostream>
#include <memory>
struct Test {
int v;
Test(int v) : v(v){};
int f(int i)
{
v += i;
return v;
}
};
auto benchmark(const std::function<void(int)> &func, const int count = 1)
{
auto start = std::chrono::high_resolution_clock::now();
for (int i = 0; i < count; ++i) func(i);
auto end = std::chrono::high_resolution_clock::now();
return std::chrono::duration_cast<std::chrono::nanoseconds>(end - start)
.count();
}
int main()
{
const int count = 100000;
int n;
// stack
n = 0;
auto stack_t = benchmark(
[&n](int i) {
Test t(i);
n += t.f(i);
},
count);
std::cout << " stack: " << std::setw(12) << stack_t << "ns, " << n
<< std::endl;
// malloc
n = 0;
auto malloc_t = benchmark(
[&n](int i) {
auto t = static_cast<Test *>(std::malloc(sizeof(Test)));
t->v = i;
n += t->f(i);
std::free(t);
},
count);
std::cout << "malloc: " << std::setw(12) << malloc_t << "ns, " << n
<< std::endl;
// new
n = 0;
auto new_t = benchmark(
[&n](int i) {
auto t = new Test(i);
n += t->f(i);
delete t;
},
count);
std::cout << " new: " << std::setw(12) << new_t << "ns, " << n
<< std::endl;
// unique
n = 0;
auto unique_t = benchmark(
[&n](int i) {
auto t = std::make_unique<Test>(i);
n += t->f(i);
},
count);
std::cout << "unique: " << std::setw(12) << unique_t << "ns, " << n
<< std::endl;
// shared
n = 0;
auto shared_t = benchmark(
[&n](int i) {
auto t = std::make_shared<Test>(i);
n += t->f(i);
},
count);
std::cout << "shared: " << std::setw(12) << shared_t << "ns, " << n
<< std::endl;
return 0;
}
※ このコードはC++14向けです
上のコードをmacOSのApple LLVM version 8.1.0 (clang-802.0.38)でclang++ -O0 -std=c++14
(最適化無し)でコンパイルして実行すると下記の結果になりました。
stack: 2346911ns, 1409965408
malloc: 7772341ns, 1409965408
new: 8951401ns, 1409965408
unique: 10864862ns, 1409965408
shared: 22686880ns, 1409965408
unique_ptrやshared_ptrはラップされている分newよりも遅くなっていると思われます。さらにshared_ptrが遅いのは参照カウンタの処理分と思われます。しかし、clang++ -O2 -std=c++14
(最適化有り)でコンパイルすると下記の結果になりました。
stack: 270138ns, 1409965408
malloc: 306524ns, 1409965408
new: 263298ns, 1409965408
unique: 287971ns, 1409965408
shared: 8967664ns, 1409965408
shared_ptr以外はスタックに詰む場合とほとんど変わらなくなります。最適化により、newやunique_ptrはスタックとほぼ同レベルまで速くなるようです。ただ、最適化がどれほど有効になるかはコンパイラとコードに依るため、一概に最適化によって同レベルの速度になると結論づけることはできないと考えています。unique_ptrが最適化によってnewと同等レベルの速度に必ずなる、または、ならない場合もあるという証拠をお持ちの方は情報をお願いします。
shared_ptrについては、参照カウンタの仕組みがあるためか、その分が遅くなっていると思われます。newと同等速度にまで最適化できる場合があるかはわかりませんでした。
なお、Homebrew GCC 6.3.0_1でコンパイルすると
# g++-6 -O0 -std=c++14 の場合
stack: 2711000ns, 1409965408
malloc: 9153000ns, 1409965408
new: 13656000ns, 1409965408
unique: 16941000ns, 1409965408
shared: 33897000ns, 1409965408
# g++-6 -O2 -std=c++14 の場合
stack: 229000ns, 1409965408
malloc: 251000ns, 1409965408
new: 7885000ns, 1409965408
unique: 7101000ns, 1409965408
shared: 8947000ns, 1409965408
となり、newとunique_ptrは最適化でほぼ同等の結果になります。
※ 最新のVC++は今手元にないため、検証できる方が編集で追記いただけると助かります。
検証からの結論としては、最適化されなければ、newよりnuique_ptrとshared_ptrは遅くなるが、最適化によってunique_ptrはほぼ度速度になり、shared_ptrは遅いままになる場合があると言えるかと思います。しかし、最適化の影響がどこまで有効かはコンパイラやコード内容によるため、安易に結論づけることはは難しいです。
初版の検証コードは問題があったため、参考にしないでください。詳細はsayuriさんの回答を参照してください。
n != 0
となっていました。IntList x{};
、auto p = static_cast<IntList *>(std::calloc(1, sizeof(IntList)));
、auto p = new IntList();
にそれぞれ変更することでゼロクリアされるようになりn == 0
になりましたが、その際、実行時間は大差なくなりました。
C++11にはweak, shared, uniqueのスマートポインタがありますが、これらが使える環境であえてnew, deleteだけを使ったインスタンスの生成を使う意味はありますか?
alphaさんコメントの通りstd::make_unique<T>
が追加されたC++14以降では、「スマートポインタで要求仕様を満たせるなら、new/deleteによるインスタンス生成/破棄を避けるべき」でしょう。
C++11ではnew, deleteだけを使った方法は、使うべきではない方法という位置付けなのでしょうか?
どうしてもnew演算子を使わなければ解決できないケース(placement new, alignment指定)を除いて、new/deleteを使うべきでないと考えます。
英語版SOの"Are new and delete still useful in C++14?"も参考にください。
基本的にスマートポインタで統一すべきでしょう。
ただ、コンストラクタがpublicでないクラスではmake_shared は簡単には使えません。
class Foo {
private:
Foo();
public:
static std::shared_ptr<Foo> create() {
return std::make_shared<Foo>(); // コンパイルエラー
}
};
そのため
std::shared_ptr<Foo>( new Foo() );
と new を使うことになるかと思います。ただし、これを嫌ってテクニックを駆使してmake_shared を使う人も多いようです。
make_unique
は無いので、少なくともnewは使う必要があります。