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

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

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

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

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

こんにちは。

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

struct Foo
{
    ~Foo() = delete;
};
Foo foo;

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

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

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

template<class T> struct A { ~A() = delete; };
template<class T> auto h()
-> A<T>;
template<class T> auto i(T) // identity
-> T;
template<class T> auto f(T) // #1
-> decltype(i(h<T>()));     // forces completion of A<T> and implicitly uses
                            // A<T>::˜A() for the temporary introduced by the
                            // use of h(). (A temporary is not introduced
                            // as a result of the use of i().)
template<class T> auto f(T) // #2
-> void;
auto g() -> void {
f(42);                      // OK: calls #2. (#1 is not a viable candidate: type
                            // deduction fails (14.8.2) because A<int>::~A()
                            // is implicitly used in its decltype-specifier)
}
template<class T> auto q(T)
-> decltype((h<T>()));      // does not force completion of A<T>; A<T>::˜A() is
                            // not implicitly used within the context of this decltype-specifier
void r() {
q(42);                      // Error: deduction against q succeeds, so overload resolution
                            // selects the specialization “q(T) -> decltype((h<T>())) [with T=int]”.
                            // The return type is A<int>, so a temporary is introduced and its
                            // destructor is used, so the program is ill-formed.
}

ローカル変数にできなくなるって面白いですね。

majiponiさんの回答をみて思いついたのはシングルトンオブジェクトの破棄は静的メソッドで行うので、デストラクタはないというようにわかりやすくするとかはあるかもしれないと思いました