c++ - 有没有办法为 std::array 创建函数模板特化

Question

我有一个函数模板

template<typename T>
void output(T& value)
{
}

有没有办法为输出 std::array 对象创建特化？是的，我知道，不同大小的数组是不同的类型。 ) 我只是希望在 c++11 中有一种方法

Answer 1

您不能为所有数组专门化它，这需要模板的“部分专门化”。模板的完全特化确定了所有模板参数的值(在本例中只有一个 T ，因此完全特化仅涵盖一种类型而不是 T )。部分特化涵盖了模板参数的多个可能值(在这种情况下，我们希望覆盖任何 std::array<U,N> 代替 T)，因此部分特化具有自己的模板参数。

C++ 允许类模板的部分特化，但不允许函数模板的部分特化。

相反，您可以重载它。您定义另一个具有相同名称和不同参数的函数模板:

template <typename T, size_t N>
void output (const std::array<T,N> &arr); // I guess "const" by the function name