如何用assert检测数组访问越界？？

[xychzh]

void TestFunc(char* pOut, int len)
{
	for (int i=0; i<len-1; i++)
	{
		pOut[i] = 'a';
	}

	pOut[len-1] = '\0';
}

这个函数能否用assert检测数组访问越界的情况？？


我看到有这样的写法：

void TestFunc(char* pOut, int len)
{
	for (int i=0; i<len-1; i++)
	{
		pOut[i] = 'a';
		ASSERT(pOut[i]>0)，
	}

	pOut[len-1] = '\0';
}

不知道这个办法是不是我所想的那样，因为如果i的值越界了，那程序执行到赋值那一句，就发生异常了，轮不到ASEERT()

[老吴笔记]

pOut[i]不可能小于0吗?

[qqwx_1986]

这个只能自己保证len是不是越界了，中间的assert没有意义

[lovestefanie]

[Quote=引用楼主 xychzh 的回复:]
C/C++ code

void TestFunc(char* pOut, int len)
{
for (int i=0; i<len-1; i++)
{
pOut[i] = 'a';
}

pOut[len-1] = '\0';
}



这个函数能否用assert检测数组访问越界的情况？？


我看到有这样的写……
[/Quote]
这样肯定不对，你这个for循环不就检查了是否越界了么？

[clwahaha]

................................................

[珍惜生命远离CPP]

检测不了...

[youdaping777]

不能用ASSERT,传递参数不一样，没意义!!

[xychzh]

[Quote=引用 3 楼 lovestefanie 的回复:]
这样肯定不对，你这个for循环不就检查了是否越界了么？
[/Quote]

我的目的是检测这个函数是否被成功调用，也就是说，可能我调用这个函数的时候，参数len设置越界了。
而我如果就这样写，那程序异常中断，我就不知道哪里出错了。
用assert的目的就是可以知道程中断是由程序中的哪一行引起，这给调试程序带来了极大的方便，很多项目都是这么做的。

[shi3590]

void TestFunc(char* pOut, int len)
{
for (int i=0; i<len-1; i++)
{
ASSERT(i>strlen(pOut)-1);
pOut[i] = 'a';
//ASSERT(pOut[i]>0)，
}

pOut[len-1] = '\0';
}

[lovestefanie]

[Quote=引用 7 楼 xychzh 的回复:]
引用 3 楼 lovestefanie 的回复:
这样肯定不对，你这个for循环不就检查了是否越界了么？


我的目的是检测这个函数是否被成功调用，也就是说，可能我调用这个函数的时候，参数len设置越界了。
而我如果就这样写，那程序异常中断，我就不知道哪里出错了。
用assert的目的就是可以知道程中断是由程序中的哪一行引起，这给调试程序带来了极大的方便，很多项目都是这么做的。
[/Quote]
ASSERT(pOut[i]>0)，这句话越界和不越界都可能会发生，起不到你想到的作用，
你自己人工的尽量保证len的正确性了

[shi3590]

ASSERT(i<strlen(pOut)-1);
打错了。

[xiehui3651]

strlen(pOut)这样获取数组长度会有问题的

[xychzh]

[Quote=引用 11 楼 xiehui3651 的回复:]
strlen(pOut)这样获取数组长度会有问题的
[/Quote]

对，这个函数的目的是为一个缓冲区设置数据，也就是说一般情况下，这个pOut缓冲区是空数据，也就没法strlen()了。

[shi3590]

[Quote=引用 11 楼 xiehui3651 的回复:]
strlen(pOut)这样获取数组长度会有问题的
[/Quote]

啥问题？

[shi3590]

那在最前面加上assert(pOut==NULL);

[ForestDB]

我的理解。

void TestFunc(char* pOut, int len, int index)
{
    assert(pOut != NULL);
    assert(index >= 0 && index <len);
    // do what you want to do
}