g++ version 7.5.0 and library <memory_resource>

[Jonathan Wakely]

On Mon, 8 Jun 2020 at 05:43, <hbusch@bnv-bamberg.de> 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.