Visual Studio能否自动推导数组模板参数M，无需显式传递？

在处理二维数组的模板函数场景中，GCC可以自动推导数组大小对应的模板参数M，但Visual Studio默认做不到。比如定义如下模板函数：

template<unsigned M>
void multiply(
 double A[M][M],
 double B[M][M]
)
{
    // 函数逻辑实现
}

在GCC中直接调用multiply(A, B);能正常编译，但Visual Studio会抛出“找不到重载函数”的错误，必须显式指定multiply<M>(A, B);才能编译通过。

要在Visual Studio中无需显式传递模板参数直接调用，有个简单有效的方法：将函数参数改为数组引用类型，修改后的模板函数如下：

template<unsigned M>
void multiply(
 double (&A)[M][M],
 double (&B)[M][M]
)
{
    // 保持原有函数逻辑不变
}

修改后直接调用multiply(A, B);，Visual Studio就能正确自动推导模板参数M了。

原理说明 #

原来的参数写法double A[M][M]会被编译器隐式转换为double (*A)[M]（指向一维数组的指针），虽然GCC能从这个指针类型中推导出M，但Visual Studio的模板推导规则不支持这一行为。而使用数组引用double (&A)[M][M]不会发生数组到指针的退化，编译器能完整获取数组的维度信息，因此可以正确推导模板参数M。

内容的提问来源于stack exchange，提问作者adithya beemanapalli