c++ - 放置 new 加析构函数和简单的值初始化 noexcept 语义

Question

可以假设在未计算的上下文中，(::new (std::declval< void * >()) T())->~T()在语义上(在 noexcept 的意义上，但在表达类型的意义上)等同于简单的 T() ？假设既不是全局的，也不是类范围的 operator new重载，如果它喃喃自语很多。

通常在类型特征中 T()在运算符内部使用 noexcept()确定是否只有单独的构造函数是 noexcept或不。肯定是错的。

为防止失去一般性，可以假设 T()这里要么调用默认构造函数，要么调用任何其他构造函数。

Answer 1

Can one assume in unevaluated context, that (::new (std::declval<
void * >()) T())->~T() is semantically full equivalent to simple 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());
}

编译器应该提示试图获得 sizeof一个void