How do safe Reference and List work together?

From my understanding

Reference

Reference

Reference

Reference is just a pointer in memory with associated lifetime. But I don't understand how the following code doesn't crash

    var list: List[Int] = List(10,11,12)
    var element = Reference(list[0])
    list.resize(0)
    for i in range(10000):
         list.append(i)
    print(element[])

    var list: List[Int] = List(10,11,12)
    var element = Reference(list[0])
    list.resize(0)
    for i in range(10000):
         list.append(i)
    print(element[])

    var list: List[Int] = List(10,11,12)
    var element = Reference(list[0])
    list.resize(0)
    for i in range(10000):
         list.append(i)
    print(element[])

    var list: List[Int] = List(10,11,12)
    var element = Reference(list[0])
    list.resize(0)
    for i in range(10000):
         list.append(i)
    print(element[])

Certainly reallocation should have happened here and therefore

element

element

element

element should point to invalid memory location, which should cause segfault. But it prints

. What am I missing?

How do safe Reference and List work together?

Similar Threads

Similar Threads

Similar Threads