プレースメントnewプラスデストラクタと単純な値の初期化noexcept semantic

Question

(::new (std::declval< void * >()) T())->~T()は意味がありません（noexceptの意味ではありますが、式の型には意味がありません）単純なT()に相当します。多くの場合、グローバルでもクラススコープでもoperator newに過負荷がかかっていないとします。

多くの場合、型形質でT()オペレータnoexcept()の内側で使用され、別のコンストラクタのみがnoexceptであるかどうかを判断します。確かにそれは間違っています。

ここでは、T()は、デフォルトのコンストラクタまたは他のコンストラクタの呼び出しのいずれかであると見なすことができます。

Answer 1

1は(::new (std::declval< void * >()) T())->~T()は、意味的にシンプル T()に完全に同等であることを、未評価の文脈で想定することはできますか？

いいえ、最後の式には暗黙的にvoid戻り値の型があります。

#include <new> 
#include <type_traits> 

struct T{int x; double y; }; 
int main(){ 
    constexpr int size = sizeof((::new (std::declval< void * >()) T())->~T()); 
} 

コンパイラはsizeofvoid