source: tests/collections/string-ctx-manage.cfa @ 804bf677

#include <string.hfa>
#include <string_sharectx.hfa>
#include <string_res.hfa>

void baseline() {
    string x = "hi";

    string y = x; // construct y in same context, no write yet => no copy yet
    assert( y.inner->Handle.s == x.inner->Handle.s);
    sout | y; // hi

    x = "bye";
    y = x; // y in same context, no write yet => no copy yet
    assert( y.inner->Handle.s == x.inner->Handle.s);
    sout | y; // bye
}

void eagerCopy() {
    string x = "hi";
    string_sharectx c = { NEW_SHARING };

    string y = x; // construct y in different context => eager copy
    assert( y.inner->Handle.s != x.inner->Handle.s);
    sout | y; // hi

    x = "bye";
    y = x; // y was already in different context => eager copy
    assert( y.inner->Handle.s != x.inner->Handle.s);
    sout | y; // bye
}

void soloAlloc() {
    string x = "hi";
    string_sharectx c = { NO_SHARING };
    
    string y = x; // y allocates into private pad, implying eager copy
    assert( y.inner->Handle.s != x.inner->Handle.s);
    sout | y; // hi

    // -- following hits "need to implement actual growth"
    //    and it passes if I modify string_res.cfa to oversize the owned heaps

    // x = "bye";
    // y = x; // into private y => eager copy
    // assert( y.inner->Handle.s != x.inner->Handle.s);
    // sout | y; // bye
}


int main() {
    baseline();
    eagerCopy();
    soloAlloc();
    printf("done\n");
}