c++ - 函数模板中的数组类型推导

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

我确定我缺少一些基本的东西！备用锤子！

score 14 · Accepted Answer

您不能按值传递数组。在一个函数中的参数T array[length]是完全一样的T* array。没有可用于推断的长度信息。

如果要按值获取数组，则需要类似std::array. 否则，您可以参考它，它不会丢失尺寸信息：

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

score 6 · Accepted Answer

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

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

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

2 回答 2