c++ - 为什么这个对数组进行零初始化的模板化函数不能编译？

Question

我正在尝试编写一个简单的模板化函数，它将数组的所有成员初始化为零(如果数组是对象数组，则初始化为它们的默认构造状态)。这是我写的:

template<typename T, int size> inline void ClearTheArray(T[size] theArray) 
{
   for (size_t i=0; i<size; i++) theArray[i] = T();
}

...我的想法是我可以将任何数组重置为其默认构造/全零状态，如下所示:

int myArray[6] = {1,2,3,4,5,6};
ClearTheArray(myArray);
// myArray now contains all zeroes

int * somePointer = myArray;
ClearTheArray(somePointer);  // compile error: somePointer doesn't contain array length info

但是，以上代码无法编译；相反，我在形式参数列表中 theArray 的第一个实例处收到语法错误(“预期的')'”)。我在这里做错了什么？有办法做到这一点吗？

Answer 1

嗯，T[size] theArray 根本不是正确的声明语法。就像在任何其他上下文中声明数组一样，名称位于边界之前。所以 T theArray[size] 将是正确的语法。

但是这仍然不会执行您希望它执行的操作，因为数组不能按值传递并且尝试按值传递数组会导致它退化为指针。编译器必须将您的参数声明重写为简单的 T* theArray。这使得 size 无法推断，并允许您的函数接受任意指针。

要解决这些问题，您必须通过引用传递数组:

template<typename T, int size> inline void ClearTheArray(T (&theArray)[size]) 
{
   for (size_t i=0; i<size; i++) theArray[i] = T();
}

然后您的示例用法将按您预期的方式运行。

不过，重新发明轮子是没有意义的。执行此操作的标准方法是

using std::begin;
using std::end;
std::fill(begin(myArray), end(myArray), 0);
std::fill(begin(somePointer), end(somePointer), 0);  // compile error