Question

在llvm-3.4\include\llvm\ADT\STLExtras.h中，我看到了这个功能：

/// Find the length of an array.
template<class T, std::size_t N>
inline size_t array_lengthof(T (&)[N]) {
  return N;
}

此函数返回数组长度：

int main(){
  const char spaces[] = "dededesdf sdf sdfs fdsf"
                        "dadsds jsdfdfs ffjsdklfj dsfds";
  std::cout << array_lengthof(spaces); //prints 54
  return 0;
}

有人可以解释这个函数的工作原理以及参数T (&)[N]的含义吗？是否存在此功能不起作用的情况？

Answer 1

这是一个非类型模板参数。它的工作原理是利用模板参数推导机制。基本上，它试图找出导致匹配的模板参数。

只要它是一个真正的数组，它就会工作。它不适用于指向大块内存的指针，例如：

int *array = new int[10];
array_lengthof(array); // ERROR.

Answer 2

array_lengthof是一个模板函数。在编译时为编译时生成的所有数组类型和大小的组合（在代码中传递给此函数）生成此函数。

所以如果你为int a [10]调用这个函数; 函数调用将由编译器隐式转换为

array_lengthof<int, 10>(a).

参数T（＆amp; param）[N]表示param是对大小为N的int数组的引用。（N是编译时常量）

LLVM源中用于计算数组长度的函数

2 个答案: