Pointer Basics with ptr
This page documents the current supported pointer style in Linea: ptr handles.
var x @ int = 42
var p_x @ ptr = x
var arr @ [int] = [10, 20, 30]
var p_arr @ ptr = arr[0]
display "Pointer handles ready"Common Pointer Patterns
Tracking Multiple Values
var a @ int = 10
var b @ int = 20
var p_a @ ptr = a
var p_b @ ptr = b
display "Pointer references created"Array Base Pointer
var numbers @ [int] = [1, 2, 3, 4]
var base_ptr @ ptr = numbers[0]
display "Base pointer captured"Safety Notes
- Prefer
ptrhandles: this is the recommended style. - Keep pointer usage explicit: document intent clearly.
- Use bounds-safe array workflows: avoid invalid index assumptions.