如何将数组大小作为模板类型传递给模板?

当我试图将固定大小的数组传递给模板函数时,我的编译器的行为异常。代码如下所示:

#include <algorithm>
#include <iostream>
#include <iterator>

template <typename TSize, TSize N>
void f(TSize (& array)[N]) {
    std::copy(array, array + N, std::ostream_iterator<TSize>(std::cout, " "));
    std::cout << std::endl;
}

int main() {
    int x[] = { 1, 2, 3, 4, 5 };
    unsigned int y[] = { 1, 2, 3, 4, 5 };
    f(x);
    f(y); //line 15 (see the error message)
}

test.cpp|15| error: size of array has non-integral type ‘TSize’
test.cpp|15| error: invalid initialization of reference of type
  ‘unsigned int (&)[1]’ from expression of type ‘unsigned int [5]’
test.cpp|6| error: in passing argument 1 of ‘void f(TSize (&)[N])
  [with TSize = unsigned int, TSize N = ((TSize)5)]’

int 是不可分割的,, unsigned int 不是。

但是,如果我将上述函数模板的声明更改为

template <typename TSize, unsigned int N>
void f(TSize (& array)[N])

TSize N 到 unsigned int N .

部分[ dcl.type.simple

这个 signed 说明符力 char

dcl.array ]:

如果 expr.const )如果存在,则应为积分常数表达式,且其值应大于零。

unsigned 大小类型,带有推断的 签署 大小类型,但不包含推断的 未签名 尺码类型?

因此,从逻辑上讲,数组的类型应该与其大小类型相同,以获得最大的正确性。 无符号整型 和 std::size_t

编辑2 我的观点是正确的(谢谢,litb):大小和偏移量在逻辑上当然是不同的类型,特别是C数组中的偏移量是不同的类型 std::ptrdiff_t .