storageSize (schema -- size)

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.

storageSize (schema -- size)

Inputs

schema: Value or Ref whose dereferenced schema determines the reported storage size.

Outputs

size: Storage size as known Natx.

storageSize is a dereferenced-schema layout query. It returns the storage size of the dereferenced schema as known Natx.

Ref inputs are followed before the query. Current value contents, current value state, and current view qualifiers do not participate.

Behavior

The result is always a known Natx value.

The result depends only on the dereferenced schema of schema.

Known values, unknown values, and references to the same dereferenced schema produce the same result.

Code and Text targets are invalid.

Example

{} 0 {} [ value: 0n8 dynamic; pair: { left: 0n8; right: 0n8; }; "-- same schema, same result --" printCompilerMessage 0n8 storageSize printStack _:; value storageSize printStack _:; @value storageSize printStack _:; "-- size versus alignment --" printCompilerMessage pair storageSize printStack _:; pair alignment printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- same schema, same result -- 1nx 1nx 1nx -- size versus alignment -- 2nx 1nx