为什么这段程序能自动推出 count的值

template<typename T,short count>
T ave(T(&arr)[count])
{
    T sum {0};
    for (int i =0; i < count; i++)
        sum += arr[i];
    return sum / count;
}
int main()
{
    int a[5]{ 1,2,3,4,5 };
    std::cout << ave(a);
    system("pause");
    return 0;
}
为什么这里不用传入默认参数count，而程序却可以运行呢

[此贴子已经被作者于2023-3-6 13:13编辑过]