归并排序 c++程序详细分析（递归）

归并排序是采用分治策略的一种排序方法，既把大问题拆成一堆小问题然后递归求解。
分治方法求解的思想很好理解，求解的流程图是下面这样的。

但实际在程序中采用递归的方法时，每一步的先后顺序是不一样的，图中貌似是把数组拆成独立的元素后再合并。其实是分割和合并穿插着进行的，特别是对于新手（没错就是我^ ▽ ^）刚刚接触程序会发蒙。
我把流程图结合着程序稍微改进了一下，结合着改进后的流程图，应该能更好的理解递归程序中是怎么实现归并排序的。
先上图！

做了一个程序对 3，2，5，1，4 排序的流程图， 这里面往深层去的数我都用了方块表示，往回浅层回的数我都用圆来表示，最深到达了4层递归。

可以看出合并和分割是穿插着进行的。

如果上层的爷爷函数要运行完，则必须得等下面的爸爸函数运行完。
然而爸爸函数下面还有孙子函数没有完成。所以，等爸爸孙子都完成了爷爷最后才可以走。
同时爸爸和孙子都是爷爷的克隆版（只不过作用范围不一样），都包含了分割和合并。
所以等爷爷继续往前走的时候，已经运行完的爸爸和孙子已经跑过不少次分割还有合并了。

所以在递归程序中分割和合并是穿插着进行的。

程序如下。

#include<iostream>
using namespace std;

template<class T>
void merge(T arr[], int left, int mid, int right)
{
   
    // i为左侧数组的起始索引，j为右侧数组的起始索引
    int i = left, j = mid + 1;
    int