在constexpr函数中放置new和delete

假设我们有一些课程

struct Foo {
constexpr Foo(int& x) : x_(x) { x_++; }
constexpr ~Foo() noexcept { x_++; }
int& x_;
};


在 C++20 中，g++-10 -std=c++20我们可以有这样的函数：

constexpr int do_foo_1() {
int x = 0;
Foo* p = new Foo(x);
delete p;
return x;
}
int main() {
static_assert(do_foo_1() == 2);
}


让我们尝试将运算符new分为内存分配和就地构造。所以新函数看起来像这样：

constexpr int do_foo_2() {
int x = 0;
Foo* p = static_cast(::operator new(sizeof(Foo)));
p = ::new ((void*) p) Foo(x);
p->~Foo();
::operator delete(p);
return x;
}


但是现在有两个错误：我们的内存分配new和placement new不是constexpr！

error: call to non-‘constexpr’ function ‘void* operator new(std::size_t)’
error: call to non-‘constexpr’ function ‘void* operator new(std::size_t, void*)’


error: call to non-‘constexpr’ function ‘void* operator new(std::size_t)’
error: call to non-‘constexpr’ function ‘void* operator new(std::size_t, void*)’


因此，让我们尝试解决这些错误。随着我们能有这样的代码：

题

我的用法和标准库中这些运算符的用法有什么区别？引擎盖内std::construct_at和std::allocator::allocate引擎盖下不是发生同样的事情吗？

笔记

我试图通过简单地复制它的实现来复制 std::construct_at但我得到了同样的错误：

error: ‘constexpr decltype (...) my_construct_at(_Tp*, _Args&& ...) [...]’ called in a constant expression
error: call to non-‘constexpr’ function ‘void* operator new(std::size_t, void*)