On Tuesday, 19 September 2017 at 20:57:17 UTC, Neia Neutuladh
wrote:
On Tuesday, 19 September 2017 at 15:11:31 UTC, Craig Black
wrote:
[...]
You want to ensure that it can never refer to GC memory. The
type system does not contain that information. It doesn't say
whether an object was allocated on the GC heap, on the stack,
using malloc, using a whole page of memory with mmap, using
hardware addresses directly on an embedded system with manually
planned memory layout, using a well-known address range like
VGA, as part of the binary's static data segment...
[...]
Thank you for the information. I hadn't thought of using
templates like that. That might accomplish what I'm trying to
do. Much appreciated!
-Craig
