g++ version 7.5.0 and library <memory_resource>

[Jonathan Wakely]

On Mon, 8 Jun 2020 at 12:44, <hbusch@bnv-bamberg.de> wrote:
>
> You are right Jonathan, at least I do not get an error from the
> compiler complaining about <memory_resource> when I use
> <experimental/memory_resource>.
>
> However, the next hurdle for the compiler is the following statement:
>
> std::pmr::monotonic_buffer_resource ...
>
> So at least this seems not be be included.

It is included.

<experimental/memory_resource> is a different header from
<memory_resource>, and it provides different types and functions.

The contents of <experimental/memory_resource> as in namespace
std::experimental.

See https://en.cppreference.com/w/cpp/header/experimental/memory_resource

Maybe you should just update your compiler so you can use C++17.