请解释以下返回数组大小的函数

Question

可能的重复：
有人可以解释一下吗给我数组大小的模板代码？

template <typename T,unsigned S>
unsigned ArraySize(const T (&v)[S])
{
    return S;
}

我理解 T 和 S，但我的问题是为什么我们有 将 v 声明为引用 多变的？或者也许我误解了整件事。

我很感激你的帮助！

Answer 1

该函数通过引用接受数组，因此，编译器会推导出元素类型 T 和大小 S 。所以它返回S，它只不过是数组的大小。如果没有引用，它将退化为指针类型。所以它们之间没有区别：

void f(int v[100]);  //declaration of f
void f(int v[200]);  //redeclaration of f
void f(int v[]);     //redeclaration of f
void f(int *v);      //redeclaration of f

都是完全相同的。您可以将任意大小的数组传递给所有这些函数。

---

回到ArraySize，该函数的返回值不能用作常量表达式：

int a[10];
SomeClassTemplate<ArraySize(a)> obj; //error

参见错误：http ://ideone.com/4mdJE

因此，更好的实现是这样的：

template <typename T,unsigned S>
char (&ArraySizeHelper(const T (&v)[S]))[S];  //no need to define it!
#define ArraySize(a) sizeof(ArraySizeHelper(a))

现在这完全没问题：

int a[10];
SomeClassTemplate<ArraySize(a)> obj; //ok

请参阅 ok ： http://ideone.com/Zt3UY

Answer 2

如果 v 不是引用，那么您将得到以下结果：

template <typename T,unsigned S>
unsigned ArraySize(const T v[S])
{
    return S;
}

但是在这种情况下使用 [] 只是另一种编写方式

template <typename T,unsigned S>
unsigned ArraySize(const T *v)
{
    return S;
}

，不会为您提供任何大小信息。