new (value -- newValue)

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.

new (value -- newValue)

Inputs

value: Value that supplies the new object.

Outputs

newValue: Fresh value created from value or from its referenced contents, according to the input kind.

new is a fresh-value creation builtin. It creates a fresh value from a Ref, Block, or Meta current stack value.

For a Ref input, current referenced contents participate. new does not use only the dereferenced schema, so a known NIL Ref is invalid even when its dereferenced schema would otherwise be accepted. Unlike newVarOfTheSameType, current Ref contents, current access path, and NIL status all participate here. Applying const or unconst to a Ref input can therefore change whether new attempts to copy or move, and may also change validity.

For an In-place local or field, NAME or .NAME uses the immutable Ref case, while @NAME or .@NAME uses the mutable Ref case.

Behavior

An immutable Ref value creates a fresh value by copying the current referenced value.

A mutable Ref value creates a fresh value by moving the current referenced value, then reinitializes that referenced storage.

A Ref value with unknown target contents creates a fresh value with unknown contents.

A known NIL Ref value is invalid.

A Block value creates a new Block value of the same schema.

A Meta value creates a new Meta value of the same schema.

In-place values are invalid.

Example

"Owner" use "String" use {} () {} [ number: 7; numberCopy: number new; ("-- immutable local -- " numberCopy " " number "\n") printList ownerValue: 5 owner; ownerMoved: @ownerValue new; ("-- mutable local -- " ownerMoved.valid? " " ownerValue.valid? "\n") printList unknownValue: 0 dynamic; "-- unknown contents through immutable Ref --" printCompilerMessage unknownValue new printStack _:; "-- meta value --" printCompilerMessage () new printStack _:; ] "main" exportFunction

Module-loading wrapper lines are omitted below.

Expected Output During Compilation

-- unknown contents through immutable Ref -- Int32 -- meta value -- ()

Expected Output

-- immutable local -- 7 7 -- mutable local -- TRUE FALSE