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的第一个实例处得到语法错误（“expected'）'”）。我在这做错了什么？有没有办法做到这一点？

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

为什么这个模板化的函数没有对数组进行零初始化编译？

1 个答案: