Rustのpush_vectorを書いてみる

vecpush.rs

use std;

fn vec_push(&v: [int], elt: int){
    v += [elt];
}

fn main() {
    let v: [int] = [];
    let vec_size: uint = 0u;
    vec_push(v,5);
    vec_push(v,2);
    vec_push(v,3);
    vec_push(v,10);
    vec_push(v,-3);
    vec_size = vec::len(v);//vectorのサイズを取得
    //添字の範囲を気にしないで済むように
    uint::range(0u,vec_size) {|i|
        std::io::println(#fmt("%d",v[i]));
    }
}