子数组的乘积

给定一个数组a[N],我们希望构造数组b[N]，其中b[i]=a[0]*a[1]*...*a[N-1]/a[i]。在构造过程：
不允许使用除法；
要求O(1)空间复杂度和O(n)时间复杂度；
除遍历计数器与a[N] b[N]外，不可使用新的变量(包括栈临时变量、对空间和全局静态变量等)；

请用程序实现并简单描述。

先看实现代码：

void  product(int a[], int b[], int N)
{
	b[0] = 1;
	for(int i = 1; i < N; i++)
		b[i] = b[i-1] * a[i-1];
	for(int i = N-1; i >= 1; i--)
	{
		b[i] = b[i] * b[0];
		b[0] = b[0] * a[i];
	}
	return;
}

第一个循环中，对于每次循环i，b[i]保存的是a[0]*a[1]*...*a[i-1]。
第二个循环中，对于每次循环i，开始b[0]保存的是a[i+1]*a[i+2]*...*a[N-1]，b[i] = b[i] * b[0]就是 ( a[0]*a[1]*...*a[i-1]) * (a[i+1]*a[i+2]*...*a[N-1])，同时更新b[0]。到循环结束的时候b[0]也正好是a[1]*a[2]*...*a[N-1]。