在利用Google C++ Testing Framework --- gtest编写test case 时,引起了一个”奇怪的“问题:
2 int size = sizeof digitArray / sizeof digitArray[ 0 ];
将以上代码包含在测试函数TEST()中时,size求取的是正常值。然而在待测函数
![ContractedBlock.gif](https://i-blog.csdnimg.cn/blog_migrate/8f900a89c6347c561fdf2122f13be562.gif)
![ExpandedBlockStart.gif](https://i-blog.csdnimg.cn/blog_migrate/961ddebeb323a10fe0623af514929fc1.gif)
{
int max = INT_MIN;
if (numbers != NULL)
{
int length = sizeof numbers / sizeof numbers[ 0 ];
for ( int i = 0 ; i < length; i ++ )
{
if (max < numbers[i])
max = numbers[i];
}
}
else
{
throw exception( " Illegal Parameters " );
}
return max;
}
中的调用结果length值却始终为1,导致案例一直运行失败:
{
int digitArray[] = { 7 , 8 , 9 };
ASSERT_EQ( 9 , FetchLargestNum(digitArray));
}
跟踪调试后,我认识到是把数组作为传入参数时产生了问题,最后发现:
一旦数组出现在函数传入参数时,编译器隐式地生成了一个指向数组的第一个元素的指针。数组实际上并未被传入到函数,它马上退化(Decay)为了指向数组首个元素的指针。这也就造成了在被测试函数的外部和函数内调用 sizeof digitArray 计算结果不一致的情况,在函数内部实际求取的是指针本身的大小,而外部得到的是整个数组的大小。
ps: 数组形参
1. 从数组到指针的自动转化被称之为“退化”,即数组退化成指向其首个元素的指针。同样的事情也发生在函数上,一个函数型参数会退化为一个函数指针。然而,不同于数组丢失边界的退化,一个退化的函数指针仍然具有良好的感知能力,可以保持其参数类型和返回类型。
2. 以数组作为形参产生的问题在于:
a. 数组的大小必须以形参的方式显示的编码,并以单独的实参传入或在数组内部以一个结束符值作为标识(如字符数组中的 ‘\0’ )。
b. 不管数组如何声明,一个数组通常是由指向其首个元素的指针进行操作的。
鉴于以上两点,经常采用某种标准的容器(通常是vector 或是 string)来替代对数组的大多数传统的用法,并且常优先考虑使用标准容器。