JSで配列をコピーする方法

var big_array = [0..10000];
var copy_array = [];

for( var i = 0; i < big_array.length; i++ ) {
    copy_array.push(big_array[i]);
}
//遅いし重い

var max_length = big_array.length;
for( var i = 0; i < max_length; i++ ) {
    copy_array.push(big_array[i]);
}
//まだまし

var max_length = big_array.length;
copy_array[max_length - 1] = undefined;
for( var i = 0; i < max_length; i++ ) {
    copy_array[i] = big_array[i];
}
//もっとまし。したの方法はループがないので、ループ中に一緒に何か処理したい場合これかも

copy_array = Array.apply(null,big_array);
//いい

copy_array = big_array.concat();
//いい

ベンチとってくれる方募集。