manuallyInitVariable (value --)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with ! and fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

manuallyInitVariable (value --)

Inputs

value: Value or Ref whose designated object is initialized.

Outputs

None.

manuallyInitVariable is a designated-storage initialization builtin. It initializes a value in existing storage. Allocation and storage selection are separate operations. For an In-place local or field, NAME or .NAME and @NAME or .@NAME all designate the same storage for manual initialization.

Behavior

If value is a mutable or immutable Ref, the builtin initializes the value in the referenced storage.

Otherwise, it initializes the designated local, field, or temporary value itself.

The builtin does not allocate the underlying storage address.

No result is pushed onto the data stack.

Example

"String" use "memory.mplMalloc" use Tracer: { value: 0; INIT: [ ("init\n") printList 42 !value ]; DIE: [ ("die\n") printList ]; }; {} 0 {} [ slot: Tracer storageSize mplMalloc @Tracer addressToReference; @slot manuallyInitVariable ("-- first -- " slot.value "\n") printList slot manuallyDestroyVariable @slot manuallyInitVariable ("-- second -- " slot.value "\n") printList slot manuallyDestroyVariable 0 ] "main" exportFunction

Expected Output

init -- first -- 42 die init -- second -- 42 die