原理

歸併的意思是將兩個有序的線性表組合成一個新的有序線性表。是基於分治思想的排序演算法，它在遞迴到對陣列的l到r的位置之間的數進行排序時，首先根據中間位置 mid=(l+r)/2 分成兩半，然後遞迴分別對左邊一半和右邊一半進行歸併排序，最後對兩個已排序好的一半進行合併。（穩定）
其中主要的部分是對兩個有序陣列的合併，複雜度為O(n)。以下將合併的部分程式碼專門寫成一個函式

function merge1(arr, left, mid, right) {
    // 兩個陣列： arr[left..mid], arr[mid+1..right], 都是有序的
    var n = right-left+1
 
; // 兩個陣列的總長度
    var temp = []; // 用來儲存元素的臨時陣列
    var l = left, r = mid+1; // 用兩個指標分別遍歷兩個陣列
    while (l <= mid && r <= right){ // 在指標都在陣列範圍內時
        // 比較兩個指標指向的元素，把較小的一個放進temp，然後指標+1
        if (arr[l] <= arr[r]) {
            temp.push(arr[l++]);
        } else {
            temp.push(arr[r++]);
        }
    }
    // 迴圈結束後，肯定有一個數組已經遍歷完成，將另一個數組的剩餘元素全都加入temp
 

    while (l <= mid) {
        temp.push(arr[l++]);
    } 
    while (r <= right) {
        temp.push(arr[r++]);
    } 
    // 完成後temp是有序的，這時候把它的元素copy回arr陣列的對應位置（left-right）
    for (var k = 0; k < n; k++) {
        arr[left+k] = temp[k]; // copy back
    } 
}

function mergeSort(arr, left, right)
 
 {
    if (left < right) {
        var mid = Math.floor((left+right) / 2);  // 留意js這裡需要處理成整數
        mergeSort(arr, left, mid); 
        mergeSort(arr, mid+1, right); 
        merge2(arr, left, mid, right); 
    }
}

其中，對於merge部分，遍歷兩個數組合併成一個，還有一個程式碼更少但理解起來略微複雜的寫法：

function merge2(arr, left, mid, right) {
    var n = right-left+1;
    var temp = []; 
    var l = left, r = mid+1;
    while (l <= mid || r <= right) {
        if (l <= mid && (r > right || arr[l] <= arr[r])) {
            temp.push(arr[l++]);
        }else {
            temp.push(arr[r++]);
        }
    }
    for (var k = 0; k < n; k++) {
        arr[left+k] = temp[k]; 
    } 
}