@dangyuluo #13 贴代码无意义，不过您说得对，我需要修正 #10 #11 的说法，因为

根据 [basic.compound]/3 ，指向对象的指针的值“表示的地址”是该对象（若该对象不在其生命周期内，则是该对象曾经、将要）占有的存储的第一个字节。这表示 placement new 返回和传入的指针虽然可能指向了不同的对象，但是它们“表示的地址”相同。

根据 [expr.eq]/3.2 ，两个同类型、指向对象的、不是指向末尾之后的指针相等，如果它们“表示的地址”相等。

#10 里面建议的 std::launder 不必要，并且 #11 里面认为的未定义行为不成立。

---

回到 @dangyuluo #12 我认为应该尽量按照楼主希望的意思自动更正他的代码，所以应该认为

struct A { }; struct B : A { };

并且 new B() 改写为 new (ptr) B()。

---

@sloknyyz #23 @antonius #24 @jujusama #26 指针比较并不是比较数值，考虑

alignas(C) std::byte storage[2 * sizeof(C)];
C *a = new (storage) C() + 1;
C *b = new (storage + sizeof(C)) C();
/* 此时 a 和 b 必然表示相同的地址 */
a == b ? 1 : 2; /* 结果可以是 2 见 [basic.compound]/3 的 note 和 [expr.eq]/3.1 */

再比如

void *p = std::malloc(1);
std::free(p);
p == p ? 1 : 2; /* 结果可以是 2 见 [basic.stc]/4 */