On Mon, 8 Jun 2020 at 05:43, <hbusch@xxxxxxxxxxxxxx> wrote: > > Thanks a lot Marc for your quick help. > Even <experimental/memory_resource> did not help. > > Here ... > > https://gcc.gnu.org/onlinedocs/gcc-7.5.0/libstdc++/manual/manual/status.html#status.iso.2017 > > ... I see that 7.5.0 does not include memory_resource. But <experimental/memory_resource> and <memory_resource> are two different headers. GCC 7.5.0 *does* provide <experimental/memory_resource>, as documented in Table 1.4 at https://gcc.gnu.org/onlinedocs/gcc-7.5.0/libstdc++/manual/manual/status.html#status.iso.2014 where it shows that the "Polymorphic memory resources" component of the Library Fundamental Techncial Specification is partially supported.
