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

A function in the LLVM source that calculates array length

本文关键字:函数 数组 计算 用于 LLVM      更新时间:2023-10-16

llvm-3.4includellvmADTSTLExtras.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]的含义吗?是否存在此功能不起作用的情况?

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

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

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

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

因此,如果您为int调用这个函数,则a[10];函数调用将由编译器隐式转换为

array_lengthof<int, 10>(a).

参数T(&param([N]表示param是对大小为N的int数组的引用。(N是编译时常数(