模板功能声明的顺序在g ++中重要吗？

Question

当我编写带有递归的合并排序时，我依次使用mergeSort(T arr[], int n)函数声明了mergeSort(T arr[], int p, int r)和内部merge(T arr[], int p, int q, int r)。当我编译它时，MSVC可以正常工作，但是g ++给我这样的输出：

In file included from sortalgtest.cpp:1:0:
./sortalg.h: In instantiation of ‘void mergeSort(T*, int) [with T = int]’:
sortalgtest.cpp:8:61:   required from here
./sortalg.h:193:14: error: no matching function for call to ‘mergeSort(int*&, int, int)’
     mergeSort(arr, 0, n - 1);
     ~~~~~~~~~^~~~~~~~~~~~~~~
./sortalg.h:191:6: note: candidate: template<class T> void mergeSort(T*, int)
 void mergeSort(T arr[], int n)
      ^~~~~~~~~
./sortalg.h:191:6: note:   template argument deduction/substitution failed:
./sortalg.h:193:14: note:   candidate expects 2 arguments, 3 provided
     mergeSort(arr, 0, n - 1);
     ~~~~~~~~~^~~~~~~~~~~~~~~

我猜想原因可能是函数声明的顺序，我通过调用更改了声明顺序。这次g ++也可以使用。我想知道为什么这行得通？

template <typename T>
void mergeSort(T arr[], int n)
{
    mergeSort(arr, 0, n - 1);
}

template <typename T>
void mergeSort(T arr[], int p, int r)
{
    if (p >= r)
        return;

    int q = p + (r - p) / 2;
    mergeSort(arr, p, q);
    mergeSort(arr, q + 1, r);

    merge(arr, p, q, r);
}

template <typename T>
void merge(T arr[], int p, int q, int r)
{
    // merge ...
}

这是由编译器的特定功能引起的吗？