On Mon, 8 Jun 2020 at 12:44, <hbusch@xxxxxxxxxxxxxx> 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.
