这个模板魔术如何确定数组参数大小?
在下面的代码中
#include<iostream>
template<typename T,size_t N>
void cal_size(T (&a)[N])
{
std::cout<<"size of array is: "<<N<<std::endl;
}
int main()
{
int a[]={1,2,3,4,5,6};
int b[]={1};
cal_size(a);
cal_size(b);
}
正如预期的那样，两个数组的大小都被打印出来.但是 N 如何自动初始化为正确的数组大小值(数组通过引用传递)?上面的代码是如何工作的?
As expected the size of both the arrays gets printed. But how does N automatically gets initialized to the correct value of the array-size (arrays are being passed by reference)? How is the above code working?
推荐答案
N 没有初始化"到任何东西.它不是一个变量.它不是一个对象.N 是编译时常量.N 只在编译时存在.N 的值以及实际的 T 由称为模板参数推导的过程确定.T 和 N 都是从传递给模板函数的参数的实际类型推导出来的.
N does not get "initialized" to anything. It is not a variable. It is not an object. N is a compile-time constant. N only exists during compilation. The value of N as well as the actual T is determined by the process called template argument deduction. Both T and N are deduced from the actual type of the argument you pass to your template function.
在第一次调用中，参数类型是int[6]，所以编译器推断出T == int 和N == 6>，为此生成一个单独的函数并调用它.让我们将其命名为 cal_size_int_6
In the first call the argument type is int[6], so the compiler deduces that T == int and N == 6, generates a separate function for that and calls it. Let's name it cal_size_int_6
void cal_size_int_6(int (&a)[6])
{
std::cout << "size of array is: " << 6 << std::endl;
}
请注意，此函数中不再有 T 和 N.两者都在编译时被它们的实际推导值替换.
Note that there's no T and no N in this function anymore. Both were replaced by their actual deduced values at compile time.
在第一次调用中，参数类型是int[1]，所以编译器推导出T == int 和N == 1>，也为此生成一个单独的函数并调用它.让我们将其命名为 cal_size_int_1
In the first call the argument type is int[1], so the compiler deduces that T == int and N == 1, generates a separate function for that as well and calls it. Let's name it cal_size_int_1
void cal_size_int_1(int (&a)[1])
{
std::cout << "size of array is: " << 1 << std::endl;
}
这里也是一样.
你的 main 基本上转化为
int main()
{
int a[]={1,2,3,4,5,6};
int b[]={1};
cal_size_int_6(a);
cal_size_int_1(b);
}
换句话说，你的cal_size模板产生了两个不同的功能(所谓的原始模板的specializations)，每个都有不同的N(和 T)的值硬编码到正文中.这就是模板在 C++ 中的工作原理.
In other words, your cal_size template gives birth to two different functions (so called specializations of the original template), each with different values of N (and T) hardcoded into the body. That's how templates work in C++.
相关文章