std/vector

Dynamic arrays with resizable capacity.

External Functions

Get the length of an array.

import "std/vector";

let arr = [1, 2, 3];
let length = len(&arr);  // 3

Extract a slice from an array.

let arr = [1, 2, 3, 4, 5];
let sub = slice(&arr, 1u, 4u);  // [2, 3, 4]

A generic dynamic array that automatically resizes as elements are added.

struct Vector<T> {
private:
    data: [T];
public:
    length: uint64;
    capacity: uint64;
}

import "std/vector";

let vec = new Vector<int64>([1, 2, 3]);

Creates a vector from an array, setting both length and capacity to the array’s length.

The vector’s destructor automatically cleans up all elements within data[0..length] and frees the underlying array.

Create a vector with a specific initial capacity.

let vec = Vector<int64>::with_capacity(10u);

The vector starts with length 0 but has pre-allocated space for 10 elements.

Get the number of elements in the vector.

println(vec.len());

Get a const reference to an element.

let vec = new Vector<int64>([1, 2, 3]);
let val = vec.get(1u);  // &2

Panics if index is out of bounds.

Get a mutable reference to an element.

let vec = new Vector<int64>([1, 2, 3]);
let val = vec.get_mut(1u);
*val = 10;

Panics if index is out of bounds.

Set an element at a specific index.

vec.set(1u, 10);

Panics if index is out of bounds.

Add an element to the end of the vector.

vec.push(42);

Automatically resizes the vector if capacity is reached (doubles the capacity).

Remove and return the last element.

let last = vec.pop();

Panics if the vector is empty.

Takes an element out of the vector at the specified index, shifting subsequent elements to the left.

let item = vec.take(2u);  // Removes element at index 2

Panics if index is out of bounds.

Get a slice of the vector as an array.

let slice = vec.get_slice(1u, 4u);

Panics if indices are out of bounds or if start > end.

Consume the vector and create an iterator.

let vec = new Vector<int64>([1, 2, 3]);
let iter = vec.into_iter();

The vector cannot be used after calling this method.