Почему std :: pmr :: unsynchronized_pool_resource не использует память, если есть слабый указатель на выделенный общий у ⇐ C++

[Anonymous]

Я играю с PMR. < /p>
У меня есть этот простой код: < /p>

Код: Выделить всё

#include 
#include 
#include 
#include 
#include 
#include 
#include 

struct LoggingMemoryResource : std::pmr::memory_resource
{
LoggingMemoryResource(std::string name, std::pmr::memory_resource* upstream)
: name(std::move(name)), upstream(upstream)
{
assert(upstream);
}
private:
std::string name;
std::pmr::memory_resource* upstream;

void* do_allocate(std::size_t bytes, std::size_t alignment) override
{
void* ptr = upstream->allocate(bytes, alignment);
std::println("[{} (alloc)] Ptr: {} Size: {} Alignment: {}", name, ptr, bytes, alignment);
return ptr;
}
void do_deallocate(void* ptr, std::size_t bytes, std::size_t alignment) override
{
std::println("[{} (dealloc)] Ptr: {} Size: {} Alignment: {}", name, ptr, bytes, alignment);
upstream->deallocate(ptr, bytes, alignment);
}
bool do_is_equal(const std::pmr::memory_resource& other) const noexcept override
{
return this == &other;
}
};

int main()
{
static constexpr std::size_t SIZE = 1024 * 1024;
std::vector memory{SIZE};
std::pmr::monotonic_buffer_resource mbr{memory.data(), memory.size()};
std::pmr::unsynchronized_pool_resource upr{&mbr};
LoggingMemoryResource pool{"Pool", &upr};

std::pmr::polymorphic_allocator allocator(&pool);

std::unordered_map map;

for(int i = 0; i < 5; ++i) {
auto sharedptr = std::allocate_shared(allocator, i);
std::println("value: {}", *sharedptr.get());
//map[i] = sharedptr;
}

return 0;
}

https://godbolt.org/z/rmpjmz1t1
Результат журнала:

Код: Выделить всё

[Pool (alloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
value: 0
[Pool (dealloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
[Pool (alloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
value: 1
[Pool (dealloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
[Pool (alloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
value: 2
[Pool (dealloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
[Pool (alloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
value: 3
[Pool (dealloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
[Pool (alloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8
value: 4
[Pool (dealloc)] Ptr: 0x7dccefeff220 Size: 32 Alignment: 8

Как вы можете видеть адрес: 0x7dccefeff220 используется повторно. Отлично, это то, что я хочу.

Код: Выделить всё

[Pool (alloc)] Ptr: 0x7667be6fa220 Size: 32 Alignment: 8
value: 0
[Pool (alloc)] Ptr: 0x7667be6fa240 Size: 32 Alignment: 8
value: 1
[Pool (alloc)] Ptr: 0x7667be6fa260 Size: 32 Alignment: 8
value: 2
[Pool (alloc)] Ptr: 0x7667be6fa280 Size: 32 Alignment: 8
value: 3
[Pool (alloc)] Ptr: 0x7667be6fa2a0 Size: 32 Alignment: 8
value: 4
[Pool (dealloc)] Ptr: 0x7667be6fa2a0 Size: 32 Alignment: 8
[Pool (dealloc)] Ptr: 0x7667be6fa280 Size: 32 Alignment: 8
[Pool (dealloc)] Ptr: 0x7667be6fa260 Size: 32 Alignment: 8
[Pool (dealloc)] Ptr: 0x7667be6fa240 Size: 32 Alignment: 8
[Pool (dealloc)] Ptr: 0x7667be6fa220 Size: 32 Alignment: 8

if std :: sleed_ptr только изменяет слабый результат ссылок (таким образом, он не содержит сильную ссылку), почему память не используется повторно?
Что мне здесь не хватает?

Подробнее здесь: https://stackoverflow.com/questions/795 ... -if-theres