有人可以解释这个模板代码,它给我一个数组的大小？

好吧,首先你必须明白,试图从数组中获取一个值可以给你一个指向它的第一个元素的指针:

int a[] = {1, 2, 3};
int *ap = a; // a pointer, size is lost
int (&ar)[3] = a; // a reference to the array, size is not lost

引用引用使用其确切类型或基类类型的对象.关键是模板通过引用获取数组.C++中不存在作为参数的数组(不是对它们的引用).如果为参数提供数组类型,则它将是指针.因此,当我们想知道传递的数组的大小时,使用引用是必要的.自动推导出大小和元素类型,通常是函数模板的情况.以下模板

template
size_t array_size(const T (&)[n]) {
    return n;
}

使用我们之前定义的数组调用a将隐式实例化以下函数:

size_t array_size(const int (&)[3]) {
    return 3;
}

哪个可以这样使用:

size_t size_of_a = array_size(a);

还有我前一段时间由一个变化[编辑:原来已经有人有这样相同的想法在这里 ]可以在编译期确定的值.它不是直接返回值,而是根据以下内容为模板提供返回类型n:

template
char (& array_size(const T (&)[n]) )[n];

你说如果数组有n元素,返回类型是对具有大小n和元素类型的数组的引用char.现在,您可以获得传递数组的编译时确定大小:

size_t size_of_a = sizeof(array_size(a));

因为char具有n元素的数组具有sizeof n,所以也将给出给定数组中元素的数量.在编译时,你可以做到

int havingSameSize[sizeof(array_size(a))];

因为函数永远不会被实际调用,所以不需要定义它,因此它没有实体.希望我能稍微澄清一下这个问题.

好吧,首先你必须明白,试图从数组中获取一个值可以给你一个指向它的第一个元素的指针:

int a[] = {1, 2, 3};
int *ap = a; // a pointer, size is lost
int (&ar)[3] = a; // a reference to the array, size is not lost

引用引用使用其确切类型或基类类型的对象.关键是模板通过引用获取数组.C++中不存在作为参数的数组(不是对它们的引用).如果为参数提供数组类型,则它将是指针.因此,当我们想知道传递的数组的大小时,使用引用是必要的.自动推导出大小和元素类型,通常是函数模板的情况.以下模板

template
size_t array_size(const T (&)[n]) {
    return n;
}

使用我们之前定义的数组调用a将隐式实例化以下函数:

size_t array_size(const int (&)[3]) {
    return 3;
}

哪个可以这样使用:

size_t size_of_a = array_size(a);

还有我前一段时间由一个变化[编辑:原来已经有人有这样相同的想法在这里 ]可以在编译期确定的值.它不是直接返回值,而是根据以下内容为模板提供返回类型n:

template
char (& array_size(const T (&)[n]) )[n];

你说如果数组有n元素,返回类型是对具有大小n和元素类型的数组的引用char.现在,您可以获得传递数组的编译时确定大小:

size_t size_of_a = sizeof(array_size(a));

因为char具有n元素的数组具有sizeof n,所以也将给出给定数组中元素的数量.在编译时,你可以做到

int havingSameSize[sizeof(array_size(a))];

因为函数永远不会被实际调用,所以不需要定义它,因此它没有实体.希望我能稍微澄清一下这个问题.

// Note that you don't need to name the array, since you don't
// actually reference the parameter at all.
size_t array_size(const int (&)[1])
{
    return 1;
}

size_t array_size(const int (&)[2])
{
    return 2;
}

size_t array_size(const int (&)[3])
{
    return 3;
}
// etc...

int a[2];
array_size(a);  

template 
size_t array_size(const int (&)[n])
{
    return n;
}

template 
size_t array_size(const T (&)[n])
{
    return n;
}

const int &a[1];

const int (&a)[1];  

size_t array_size(const int (&)[1])