模板实参推断特别强大,甚至能够从传送给这种模板的实参的类型,推断出非类型的模板实参 N。
使用一个小的测试程序就可以确认这一点:
#include <iostream>
template <typename T, size_t N>
T average(const T(&array)[N]);
int main()
{
double doubles[2]{ 1.0,2.0 };
std::cout << average(doubles) << std::endl;
double moreDoubles[]{ 1.0,2.0,3.0,4.0 };
std::cout << average(moreDoubles) << std::endl;
std::cout << average({ 1.0,2.0,3.0,4.0 }) << std::endl;
int ints[] = { 1,2,3,4 };
std::cout << average(ints) << std::endl;
}
template <typename T, size_t N>
T average(const T(&array)[N])
{
T sum{};
for (size_t i{}; i < N; ++i)
sum += array[i];
return sum / N;
}
运行结果如下: