C++11で、デストラクタ = deleteとする意味について

C++では、仮想関数の宣言に= 0とすることで純粋仮想関数を指定する「純粋指定子」がありましたが、C++11では、

デフォルトコンストラクタ・コピーコンストラクタ・代入演算子・デストラクタについて、コンパイラの自動生成したものを使うと明示する= default
特定のメンバ関数がないことを宣言する= delete

のような指定子が加わっています。

そして、この「= delete」で宣言したメンバ関数を呼ぶようなコードを書けば、（呼び出しが明示的か暗黙のうちにかを問わず）コンパイルエラーとなります。代入やインスタンス化など、特定の操作を禁止できるという意味では便利です。

そして、構文上は~someClass() = delete;とできるのですが、以下のような挙動になりました（手元のg++ 4.7.2で-std=gnu++11として動かしてみました）。

宣言自体は問題なく可能
そのクラスのローカル変数を宣言しようすると、スコープアウト時の破棄でデストラクタが呼ばれるためコンパイルエラー
ポインタを宣言してnewすることは可能（他のメンバ関数も呼べる）
ただし、deleteを書くとコンパイルエラー

このような、「newはできるけどdeleteが不可能な上に自動変数にもできない」クラスができあがったのですが、果たして何かに実用できるものなのでしょうか。それとも、じつは「デストラクタを= deleteするのは未定義」なのでしょうか。

行動規範の内容に同意します

回答3件

デストラクタを呼べない。そのことには理由があります。

｢デストラクタを呼ぶべきではない。｣これが理由です。

もっとはっきりと書くなら、｢自動解放のタイミングでは適切な処理ができない｣｢引数をつけて呼び出せないデストラクタを利用しての解放を禁止すべきである。｣という状況が考えられます。

プログラマに常に明示的解放を要求することは、必要になる場合があります。そのようなときにデストラクタの削除は効果的です。
オブジェクトの初期化・廃棄は、キャストとmalloc、freeと配置new/deleteで可能です。

投稿2016/05/22 10:12

majiponi

総合スコア1722

こんにちは。

MinGW(gcc) 5.2.0では下記だけでもerror: use of deleted function 'Foo::~Foo()'でした。

C++
1struct Foo
2{
3    ~Foo() = delete;
4};
5Foo foo;

スタックオーバーフローに幾つかQAがありましたが、スタックに獲得できないようにする効果がある旨しか読み取れませんでした。どんな時便利か、回答している人はいないようなに見えます。（もっと英語力が欲しい。orz）

使える場面としては、インスタンスを作らないクラスしか思いつきません。「このクラスはインスタンスを作るな」とお手軽に明示するために指定するイメージです。正直、使う場面はないような。

n3337の147ページ7.1.6.2 Simple type specifiersの5でデストラクタをdeleteしている、何かのサンプル・コードが記載されているのですが、やはり意味がある使い方には見えませんでした。

C++
1template<class T> struct A { ~A() = delete; };
2template<class T> auto h()
3-> A<T>;
4template<class T> auto i(T) // identity
5-> T;
6template<class T> auto f(T) // #1
7-> decltype(i(h<T>()));     // forces completion of A<T> and implicitly uses
8                            // A<T>::˜A() for the temporary introduced by the
9                            // use of h(). (A temporary is not introduced
10                            // as a result of the use of i().)
11template<class T> auto f(T) // #2
12-> void;
13auto g() -> void {
14f(42);                      // OK: calls #2. (#1 is not a viable candidate: type
15                            // deduction fails (14.8.2) because A<int>::~A()
16                            // is implicitly used in its decltype-specifier)
17}
18template<class T> auto q(T)
19-> decltype((h<T>()));      // does not force completion of A<T>; A<T>::˜A() is
20                            // not implicitly used within the context of this decltype-specifier
21void r() {
22q(42);                      // Error: deduction against q succeeds, so overload resolution
23                            // selects the specialization “q(T) -> decltype((h<T>())) [with T=int]”.
24                            // The return type is A<int>, so a temporary is introduced and its
25                            // destructor is used, so the program is ill-formed.
26}