目前尚不清楚在函数内创建可变长度数组的目的,该数组至少由于循环而导致未定义的行为
int rightHalf[n];
for(int x = 0; x <= n; x++) rightHalf[x] = 0;
因为有人试图改变数组之外的内存,使x等于n。
例如
#include <stdio.h>
#include <stdbool.h>
bool search( const int a[], size_t n, int value )
{
if ( !n )
{
return false;
}
else
{
size_t middle = n / 2;
if ( a[middle] < value )
{
return search( a + middle + 1, n - middle - 1, value );
}
else if ( value < a[middle] )
{
return search( a, middle, value );
}
else
{
return true;
}
}
}
int main(void)
{
int a[] = { 24, 25, 26, 27, 28 };
const size_t N = sizeof( a ) / sizeof( *a );
printf( "a[0] - 1 is found - %d\n", search( a, N, a[0] - 1 ) );
for ( size_t i = 0; i < N; i++ )
{
printf( "a[%zu] is found - %d\n", i, search( a, N, a[i] ) );
}
printf( "a[%zu] + 1 is found - %d\n", N - 1, search( a, N, a[N-1] + 1 ) );
return 0;
}
程序输出为
a[0] - 1 is found - 0
a[0] is found - 1
a[1] is found - 1
a[2] is found - 1
a[3] is found - 1
a[4] is found - 1
a[4] + 1 is found - 0