DraculaW

我们知道 给一个函数传入一个数组的时候需要传入一个附加的参数 用来标示数组的大小

void print(const unsigned short * const p, const size_t n) {     cout << "sizeof(p): " << sizeof(p) << endl;      for (size_t i = 0; i < n; ++i) {         cout << p[i] << endl;     } }  int main() {     const unsigned short a[] = { 11, 22, 33, 44, 55 };      cout << "sizeof(a): " << sizeof(a) << endl;     cout << "sizeof(a[0]): " << sizeof(a[0]) << endl;      print(a, sizeof(a) / sizeof(a[0])); } 

有没有什么办法不传入这个， 对了 就是数组的引用

void print(const unsigned short (& r)[5]) {
    cout << "sizeof(r): " << sizeof(r) << endl;

    for (size_t i = 0; i < sizeof(r) / sizeof(r[0]); ++i) {
        cout << r[i] << endl;
    }
}

int main() {
    const unsigned short a[] = { 11, 22, 33, 44, 55 };

    print(a);
}

 讲引用传入之后 也就讲数组的所有信息传入了， 可以用这样的方法把数组的大小来传入，

可是这样子还是很不好办，因为要是为每个长度的数组都写一个这样的函数，那我们就累都累死了..

该怎么办呢， 对了 我们想到了一个好的方法 模板

template <typename T, size_t N> void print(const T (& r)[N]) {
    for (size_t i = 0; i < N; ++i) {
        cout << r[i] << endl;
    }
}

int main() {
    const int c[] = { 1, 2, 4, 8 };

    print(c);

    const double d[] = { 3.14159, 2.71828, .57722 };

    print(d);
}

好的， 这样子看起来问题已经得到了很好的解决

可是熟悉模板的人一看就看出来问题了：如果这个函数的长度比较大，那么我们还是会在编译的时候为每个长度的数组创建一个函数，生成文件的大小还是会比较大，这么该怎么办呢？联想到了type_trails, 我们也可以做一个差不多的东西

template <typename T, size_t N> size_t length(const T (&)[N]) {
    return N;
}

 代码简单，尽量减少了需要的大小，应该来说是最好的解决方案了。为什么要说应该来说呢吗因为我们没用到STL 如果用到STL 中的Vector, 那么这么多事情我们也就不用来了。 呵呵