使用二路归并排序对含 n 个元素的数组 M 进行排序时,二路归并操作的功能是:

二路归并操作的功能是将已经排好序的两个子数组合并成一个排好序的数组。具体地，假设待排序的数组 M 从下标 p 到下标 r 之间有一个下标 q，那么将 M[p...q] 和 M[q+1...r] 两个子数组合并成一个排好序的数组，即将它们按照从小到大的顺序合并成一个新的数组。这个过程中需要使用一个额外的数组来存储合并后的数组，然后再将合并后的数组复制回原数组 M 中相应的位置。这个过程可以借助双指针来实现，具体步骤可以参考以下伪代码：

MERGE(M, p, q, r)
n1 = q - p + 1
n2 = r - q
let L[1...n1+1] and R[1...n2+1] be new arrays
for i = 1 to n1
    L[i] = M[p + i - 1]
for j = 1 to n2
    R[j] = M[q + j]
L[n1 + 1] = infinity
R[n2 + 1] = infinity
i = 1
j = 1
for k = p to r
    if L[i] <= R[j]
        M[k] = L[i]
        i = i + 1
    else
        M[k] = R[j]
        j = j + 1

其中，p、q、r 表示数组 M 的下标范围，n1 和 n2 表示两个子数组的长度，L 和 R 分别表示两个子数组，infinity 表示一个无穷大的数，用来判断数组是否已经被遍历完。这个函数的作用就是将 M[p...q] 和 M[q+1...r] 两个子数组合并成一个排好序的数组，存储在 M[p...r] 中。