auto_ptr | Programming Place Plus　C++編【標準ライブラリ】　第１６章

この章の概要 🔗

この章の概要です。

auto_ptr
初期化
破棄
ポインタ操作
所有権
破壊的コピー
コンテナとの相性
配列の管理
練習問題
参考リンク
更新履歴

auto_ptr 🔗

この章で解説する auto_ptr は、C++11 で非推奨となっています。C++11 以降が使える環境では、unique_ptr や shared_ptr といった、新しい仕組みを使用してください。

auto_ptr は、new によって動的に確保されたメモリ領域の解放忘れを防ぐクラステンプレート^📘です。使用する際には、<memory> という標準ヘッダのインクルードが必要です。

解放忘れを防ぐ仕組みは単純で、new で確保されたメモリ領域を指すポインタを、auto_ptr に渡しておけば、 auto_ptr のデストラクタ^📘内で delete してくれるというだけです。そのため、new [] や std::malloc などといった、new 以外で確保された領域の解放には対応していません。

new によって確保されたメモリ領域は、ポインタによってアクセスするので、auto_ptr もポインタのように振る舞えるように設計されています。auto_ptr のように、ポインタになんらかの機能を付加したものをスマートポインタ^📘と呼びます。

使用例は次のようになります。

#include <iostream>
#include <memory>

int main()
{
    std::auto_ptr<int> p(new int(100));

    std::cout << *p << std::endl;
}  // auto_ptr のデストラクタが呼び出されて、delete される

実行結果：

メモリ領域などのリソース^📘（資源）の確保と解放を、auto_ptr のようなクラスに任せるスタイルは、C++ では常識的なものです。生のポインタを用いずに、必ずスマートポインタを利用するようにしてください。

初期化 🔗

auto_ptr のコンストラクタは、引数がないものと、生のポインタを渡すものとがあります。

#include <iostream>
#include <memory>

int main()
{
    std::auto_ptr<int> p1;
    std::auto_ptr<int> p2(new int(100));
}

引数無しの場合や、ヌルポインタを渡した場合、auto_ptr は何も管理していない状態で初期化されます。つまり、ヌルポインタ相当な状態になります。

auto_ptr のコピーコンストラクタは特殊なので、注意が必要です。次の２つが定義されています。

auto_ptr(auto_ptr& rhs);

template <typename U>
auto_ptr(auto_ptr<U>& rhs);

前者は、auto_ptr自身と同じ型を指定し、後者はテンプレート仮引数が異なる別の auto_ptr型を指定するコンストラクタテンプレート（【言語解説】第２６章）です。

特殊なのは、両者とも、引数に「const」が付いていない点です。普通、コピーコンストラクタは、コピーをおこなうものなので、コピー元は書き換わりませんし、それを示すように「const」が付加されますが、auto_ptr の場合は、コピー元が変化します。これが auto_ptr の最大の特徴です。この点については、後の項であらためて取り上げます。

破棄 🔗

デストラクタでは、管理中のポインタに対して delete を行います。ヌルポインタに対する delete は何も起こらない（【言語解説】第１４章）ので、管理しているポインタがなくても問題ありません。

ポインタ操作 🔗

auto_ptr は、ポインタと同じように振る舞えるように設計されています。

*演算子を使って間接参照したり、->演算子を使ってメンバをアクセスしたりできます。いずれも、管理中のポインタがない場合の挙動は未定義^📘であることに注意してください。

有効なポインタを管理しているかどうかを知りたければ、getメンバ関数を使います。この関数は、管理中のポインタを返しますが、管理されていなければ NULL が返されます。

#include <iostream>
#include <memory>

int main()
{
    std::auto_ptr<int> p1;
    std::auto_ptr<int> p2(new int(100));

    int num = *p2;  // OK
    num = *p1;      // 未定義

    // 安全
    if (p1.get() != NULL) {
        num = *p1;
    }
}

getメンバ関数で管理中のポインタを得られますが、これはヌルチェックのためか、引数の型が生のポインタになっているような、Ｃ言語的な関数にポインタを渡さないといけない場合以外には、使わないようにすべきです。スマートポインタが管理してくれているポインタを、生のポインタ変数で扱うと、思わぬバグの原因になります。

なお、++、–、+、-、+=、-= といった演算子を使って、ポインタが指す位置を移動させることはできません。また、-演算子を使った、auto_ptr どうしの差の計算もできません。

所有権 🔗

auto_ptr の挙動を理解するには、所有権という考え方が重要です。

所有権を言い換えると、「ポインタの解放をおこなう責任を持っているか」ということです。もし、１つのポインタに対する所有権を、２つ以上のオブジェクトが持っていたら、両者が解放を行おうとして、二重解放^📘の問題が起こります。

１つの auto_ptr は、０個か１個のポインタの所有権を持ちます。auto_ptr が所有権を持っているポインタを、他のオブジェクトが所有していてはいけません。ややこしい話のようですが、new で手に入れたポインタを即座に auto_ptr に渡すようにしていれば、まずは問題ありません。

std::auto_ptr<int> p(new int(100));  // new の結果は即座に auto_ptr に渡すべき

// 以下のように、いったんどこかで受け取るのは良くない方法
int* n = new int(100);
std::auto_ptr<int> p(n);

auto_ptr は、コンストラクタで生のポインタを渡されると、そのポインタの所有権を得ます。それ以外にも、resetメンバ関数でも所有権を得ます。

#include <iostream>
#include <memory>

int main()
{
    std::auto_ptr<int> p(new int(100));

    std::cout << *p << std::endl;

    p.reset(new int(200));

    std::cout << *p << std::endl;
}

実行結果：

100
200

resetメンバ関数の場合、すでに所有しているポインタがあれば、まず delete による解放を行います。ですから、やはり解放忘れは起きません。また、前述したアドバイスは resetメンバ関数でも同様で、new で得たポインタを即座に渡すべきです。

resetメンバ関数にヌルポインタを渡した場合、あるいは実引数を省略した場合には、すでに所有しているポインタがあれば解放を行い、結果として何も所有していない状態になります。

また、releaseメンバ関数を使うと、所有しているポインタの所有権を手放せます。

#include <iostream>
#include <memory>

int main()
{
    std::auto_ptr<int> p(new int(100));

    int* n = p.release();

    if (p.get() == NULL) {
        std::cout << "NULL" << std::endl;
    }
    else {
        std::cout << *p << std::endl;
    }

    std::cout << *n << std::endl;

    delete n;  // p はもう管理していないので、自力で解放する必要がある
}

実行結果：

NULL
100

auto_ptr の所有権に関してはさらに重要なポイントがあります。この点について、「破壊的コピー」の項で説明します。

破壊的コピー 🔗

auto_ptr の性質として非常に重要なポイントがあります。それは、コピーがコピーでないことです。これは、コピーコンストラクタと、代入演算子のどちらでも当てはまります。

具体的には、コピー操作をおこなうと、コピー元の auto_ptr は管理下のポインタの所有権を失い、コピー先の auto_ptr へ引き継がれます。結果、コピー元の auto_ptr は、何も所有していない状態、つまりヌルポインタ相当な状態になります。

#include <iostream>
#include <memory>

int main()
{
    std::auto_ptr<int> p1(new int(100));
    std::auto_ptr<int> p2;

    p2 = p1;  // 所有権が p2 へ移り、p1 はヌルポインタになる

    if (p1.get() == NULL) {
        std::cout << "NULL" << std::endl;
    }
    std::cout << *p2 << std::endl;
}

実行結果：

NULL
100

このようなコピーの特性から、破壊的コピーと呼ばれます。

破壊的コピーの特性があることで、次のような関数は問題なく動作できます。

#include <iostream>
#include <memory>

std::auto_ptr<int> GetPointer(int num)
{
    std::auto_ptr<int> p(new int(num));
    return p;
}

int main()
{
    std::auto_ptr<int> p = GetPointer(100);

    std::cout << *p << std::endl;
}

実行結果：

GetPointer関数内のローカル変数として auto_ptr を使用しているので、関数を抜けると、デストラクタが呼ばれて解放されてしまいそうですが、そうではありません。

戻り値を返すために、p をコピーして、一時オブジェクトが作られます。このとき、破壊的コピーにより、p の管理下にあったポインタの所有権が、一時オブジェクトの方へ引き継がれ、p は所有権を失います。

もし、GetPointer関数の呼び出し側で戻り値を受け取っていれば、受け取り側の auto_ptr へ所有権が移動します。受け取っていない場合は、一時オブジェクトが所有権を持ったまま破棄されることになるので、デストラクタによって delete され、やはり問題ありません。

【上級】コンパイラによる最適化^📘によって、この流れの一部は省略されるかもしれません（【言語解説】第１７章）。

auto_ptr 自体を const にすることで、破壊的コピーを避けることができるという点は、テクニックとして知っておくと良いでしょう。

#include <iostream>
#include <memory>

int main()
{
    const std::auto_ptr<int> p1(new int(100));
    std::auto_ptr<int> p2;

    p2 = p1;  // コンパイルエラー

    std::cout << *p2 << std::endl;
}

所有権を手放すつもりがない場合には、こうして const にしておけば安全です。

auto_ptr に限らず、書き換えるつもりがないときは、const を積極的に使いましょう（【言語解説】第１５章）。

コンテナとの相性 🔗

通常、コピー操作が成功した場合、コピー元とコピー先は完全に同じ状態になることを期待します。これは、STLコンテナ^📘が、そこに格納される要素へ期待している要件の１つでもあります（第４章）。auto_ptr は、この要件を満たしていないので、STLコンテナの要素に、auto_ptr を渡すことは避けなければなりません。

逆に、auto_ptr がコンテナ型のポインタを管理することには問題はありません。

配列の管理 🔗

auto_ptr のデストラクタでしているのは、delete を適用することなので、new [] で確保された領域を指すポインタの管理には使用できません。使用できないといっても、コンパイルは通ってしまうので注意してください。

動的に確保された配列を管理したい場合は、auto_ptr ではなく vector（文字列なら basic_string）を使ってください（第５章）。

練習問題 🔗

問題①　次のプログラムを、auto_ptr を使って書き直してください。

#include <iostream>

void Print(const int* n)
{
    if (n == NULL) {
        std::cout << "NULL" << std::endl;
    }
    else {
        std::cout << *n << std::endl;
    }
}

int main()
{
    const int* const n = new int(100);

    Print(n);

    delete n;
}

解答ページはこちら。

参考リンク 🔗

Programming Place Plus　C++編　参考書籍
- 当サイトの参考書籍一覧ページ。C++ に関する書籍を多数紹介。
Programming Place Plus　C++編　リンク集
- 当サイトの参考Webサイト集。C++ の全般的な学習に有益なサイトを紹介。

更新履歴 🔗

’2016/1/31
- 新規作成

前の章へ　（第１５章　ユーティリティ）

次の章へ　（第１７章　例外クラス）

C++編のトップページへ

Programming Place Plus のトップページへ

はてなブックマークに保存	Pocket に保存	Facebook でシェア
X でポスト／フォロー	LINE で送る	noteで書く
RSS	管理者情報	プライバシーポリシー