函数模板中的数组类型推导

Question

我有一个模板方法如下： -

template<typename T, int length>
void ProcessArray(T array[length]) { ... }

然后我使用上述方法编写代码： -

int numbers[10] = { ... };
ProcessArray<int, 10>(numbers);

我的问题是为什么我必须明确指定模板参数。不能自动推断，以便我可以使用如下： -

ProcessArray(numbers); // without all the explicit type specification ceremony

我确信我遗漏了一些基本的东西！小心一把锤子！

Answer 1

您无法按值传递数组。在函数参数T array[length]中与T* array完全相同。没有可供推断的长度信息。

如果您想按值获取数组，则需要std::array之类的内容。否则，你可以通过引用来获取它，它不会丢失大小信息：

template<typename T, int length>
void ProcessArray(T (&array)[length]) { ... }

Answer 2

您缺少正确的参数类型：数组只能通过引用传递：

template <typename T, unsigned int N>
void process_array(T (&arr)[N])
{
    // arr[1] = 9;
}

double foo[12];
process_array(foo); // fine