Module vstd::ptr

source ·
👎Deprecated: The vstd::ptr version of PPtr is deprecated. Use either: – PPtr<T> in vstd::simple_pptr (for simple use-cases, with fixed-size typed heap allocations) – *mut T with vstd::raw_ptr (for more advanced use-cases)

Structs

  • DeallocDeprecated
  • DeallocDataDeprecated
  • DeallocRawDeprecated
  • DeallocRawDataDeprecated
  • PPtrDeprecated
    PPtr<V> (which stands for “permissioned pointer”) is a wrapper around a raw pointer to V on the heap.
  • PointsToDeprecated
    A tracked ghost object that gives the user permission to dereference a pointer for reading or writing, or to free the memory at that pointer.
  • PointsToDataDeprecated
    Represents the meaning of a PointsTo object.
  • PointsToRawDeprecated
    Points to uninitialized memory.

Functions