An efficient dynamically sized string buffer (aka String Builder) for AssemblyScript.
class StringSink {
static withCapacity(capacity: i32)
constructor(initial: string = "", capacity: i32 = 32)
get length(): i32
get capacity(): i32
// Append sting or substring
write(src: string, start?: i32, end?: i32): void
// Append sting or substring with new line
writeLn(src?: string, start?: i32, end?: i32): void
// Append single code point
writeCodePoint(code: i32): void
// Append any integer or floating point number
writeNumber<T>(value: T): void
reserve(capacity: i32, clear?: bool): void
shrink(): void
clear(): void
// Convert buffer to normal string
toString(): string
}
StringSink can be up to 4000 times faster than naive string concatenation! And up to 6 times faster than JS concat which uses rope data structure under the hood.
String += JS: 0.013 ms
String += AS: 0.014 ms
StringSink AS: 0.0042 ms `(3x)`
String += JS: 3.34 ms
String += AS: 509.54 ms
StringSink AS: 0.73 ms `(~700x)`
String += JS: 11.93 ms
String += AS: 7622.72 ms
StringSink AS: 2.88 ms `(~2600x)`
non efficient example:
function toList(arr: string[]): string {
let res = "";
for (let i = 0, len = arr.length; i < len; i++) {
res += arr[i] + "\n";
}
return res;
}
efficient with StringSink
:
function toList(arr: string[]): string {
let res = new StringSink();
for (let i = 0, len = arr.length; i < len; i++) {
res.write(arr[i] + "\n");
}
return res.toString();
}
even more efficient:
function toList(arr: string[]): string {
let res = new StringSink();
for (let i = 0, len = arr.length; i < len; i++) {
res.writeLn(arr[i]);
}
return res.toString();
}
Complex example:
function zipAndStringify(names: string[], ages: i32[]): string {
assert(names.length == ages.length);
let res = new StringSink();
res.writeLn('[');
for (let i = 0, len = names.length; i < len; i++) {
res.write(' { name: "');
res.write(names[i]);
res.write('", age: ');
res.writeNumber(ages[i]);
res.writeLn(' },');
}
res.write(']');
return res.toString();
}
assert(zipAndStringify(
["Alan", "Elon", "John D."],
[109, 50, 51]
) == `[
{ name: "Alan", age: 109 },
{ name: "Elon", age: 50 },
{ name: "John D.", age: 51 },
]`);
non efficient example:
function toListSliced(arr: string[]): string {
let res = "";
for (let i = 0, len = arr.length; i < len; i++) {
res += arr[i].substring(1, 3);
}
return res;
}
more efficient with StringSink
:
function toListSliced(arr: string[]): string {
let res = new StringSink();
for (let i = 0, len = arr.length; i < len; i++) {
res.write(arr[i], 1, 3);
}
return res.toString();
}