c++ - 运算符删除和转换

Question

我可以像下面的代码一样使用smth吗:

int main()
{
    int* foo = new int;
    double* bar = reinterpret_cast<double*>(foo);
    delete bar;
}

是UB吗？

我认为我们只需要为 operator new 返回的指针调用 operator delete，但在这种情况下如何强制转换呢？

我认为这是 UB，因为 reinterpret_cast 不对结果指针提供任何保证。我说得对吗？

有人可以发布标准中的正确引述吗？

Answer 1

§5.3.5/2 “在第一个选择(删除对象)中，值delete 的操作数可能是空指针值，指向由先前的 new 表达式创建的非数组对象，或指向表示此类的基类的子对象 (1.8) 的指针一个对象(第 10 条)。如果不是，则行为未定义。”因为bar 指向一个double，它不指向一个对象由先前的 new 表达式创建(它创建了一个 int)。