在下面的static_strlen实现中，为什么&和 str 周围的括号有必要吗？

Question

如果我将类型更改为 const char str[Len]，则会收到以下错误：

error: no matching function for call to ‘static_strlen(const char [5])’

我是否正确地认为 static_strlen 需要一个 const char 引用数组？我的理解是数组无论如何都是作为指针传递的，那么有什么必要将元素作为引用呢？或者这种解释完全不合时宜？

#include <iostream>

template <size_t Len>
size_t
static_strlen(const char (&str)[Len])
{
  return Len - 1;
}

int main() {
  std::cout << static_strlen("oyez") << std::endl;
  return 0;
}

Answer 1

不，函数参数是对 Len const 字符数组的引用。这就是函数知道长度的方式（假设最后一个字节是 NUL 终止符，因此是 -1）。括号的作用正是为了阻止它成为你所认为的那样。

实际上，C++ 中没有引用数组这样的东西，所以即使没有括号，它也不可能是您想象的那样。我猜（但不确定）需要括号只是为了与其他类似类型定义保持一致，例如指向数组的指针：

void fn(const char *a[3]); // parameter a is of type const char**, the 3 is ignored.
void fn(const char (*a)[3]; // parameter a is a pointer to an array of 3 const chars.

该示例还说明了为什么数组不是指针。预测以下程序的输出，然后运行它：

#include <iostream>

void fn(const char (*a)[3]) {
    std::cout << sizeof(a) << "\n" << sizeof(*a) << "\n";
}

void fn2(const char *a[3]) {
    std::cout << sizeof(a) << "\n" << sizeof(*a) << "\n";
}

int main() {
    const char a[3] = {};
    const char **b = 0;
    fn(&a);
    fn2(b);
}

#if 0 
// error: declaration of `a' as array of references
void fn3(const char & a[3]) {
    std::cout << sizeof(a) << "\n" << sizeof(*a) << "\n";
}
#endif

Answer 2

这是创建函数以将数组的大小自动传递给函数的方法之一。

static_strlen(const char (&str)[Len])

是一个函数，它接受恰好包含 Len 元素的 const char 数组。数组大小必须在编译时已知。即该数组不是通过 new 或 malloc 分配的。

更具体地说，该参数是对 Len 元素数组的引用，而不是实际的数组，这就是为什么它在传递时不会转换为指针。