_OutTy1 (&_Dest1)[_OutSize1] 什么意思？

[iamnobody]

经常见到这样的声明。这个_OutTy1 (&_Dest1)[_OutSize1] 是什么意思？求解释。。。

		partition_copy(_InIt _First, _InIt _Last,
			_OutTy1 (&_Dest1)[_OutSize1], _OutIt2 _Dest2, _Pr _Pred)

[星羽]

数组引用，因为c++中数组引用要求严格匹配数组大小
通过传数组引用stl就能得知你参数中数组的大小
在越界的时候给你assert

#include <iostream>
#include <algorithm>
using namespace std;

int main()
{
    int src[100];
    
    for (int i = 0; i < 100; ++i)
        src[i] = i;

    int dst0[50];
    int dst1[50];

    struct pred
    {
        bool operator() (int val) const
        {
            return val % 2 == 0;
        }
    };

    partition_copy(src, src + 100, dst0, dst1, pred());


    return 0;
}

比如这个代码你如果把两个dst的数组大小改成10
就是说dst的大小比实际填充的小，那么必然会越界，运行的时候stl就会给你assert
如果不是传数组引用而是指针，那么stl无法得罪数组的大小，越界了它也不知道

[iamnobody]

[Quote=引用 1 楼 chiyer 的回复:]
数组引用，因为c++中数组引用要求严格匹配数组大小
通过传数组引用stl就能得知你参数中数组的大小
在越界的时候给你assert


C/C++ code


#include <iostream>
#include <algorithm>
using namespace std;

int main()
{
int src[100];

f……
[/Quote]

学习了。。。真早啊

[cao_julians]

_OutTy1 (&_Dest1)[_OutSize1]

函数(参数)[下标]
没有转弯抹角的东西的话.应该是函数调用返回指向数组的指针,用该指针访问数组元素

p=函数(参数); //p 指向数组首元素
p[下标]...//访问数组元素

[UndefinedCoder]

_OutTy1 (&_Dest1)[_OutSize1]
Dest1是形参名，前面的&表示它是一个引用，后面的_OutSize1应该是个常数吧，表示引用一个长度为_OutSize1的数组，数组元素类型是_OutTy1