破壊尖った-する私が持っているdecltype

Question

で明示的にオブジェクト：

p->~decltype(*p)(); 

しかし、それは仕事をdoesntの：

T* p; 

と私がやりたいと思います。

p->~T(); 

でも可能ですが、可能であればdecltype()とします。

エラーメッセージ：

error: expected class-name before 'decltype' 

編集：私は、配列の新しいのalloca +配置を使用してスタックに割り当てられた配列のためのVLAの使用を避けるためにしようとしている

ユースケース。新しい配置の後、スタック配列内のオブジェクトを明示的に破棄する必要があります。これが必要な理由私が困惑してる、

using T = ::std::remove_reference_t<decltype(*p)>; 
p->~T(); 

しかし：私は私が行うことができ、問題を解決する方法を知っています。

Answer 1

あなたは誤解していますdecltypeです。疑似デストラクタ呼び出しには参照型でないものが必要です。

これを試してみてください：これは、使用している

int * p = new int; 
p->~decltype(declprval<decltype(*p)>())(); 

：

template <typename T> std::decay_t<T> declprval(); 

がdecltype指定子のうち、式の減衰したタイプの取得ハードワークです。 "実際のコード" で、私はちょうど使用したい：

int * p = new int; 
{ 
    using T = std::remove_reference_t<decltype(*p)>; 
    p->~T(); 
} 

Answer 2

をどうのようなものについては、次のようにこれを使用することができます

template<typename T> 
void call_destructor(T* obj) 
{ 
    obj->~T(); 
} 

：

SomeClass* p = new SomeClass(); 
<...> 
call_destructor(p);