不使用除法构造数组b[N]

给定一个数组a[N],我们希望构造数组b[N]，其中b[i]=a[0]*a[1]*...*a[N-1]/a[i]。在构造过程：

不允许使用除法；

要求O(1)空间复杂度和O(n)时间复杂度；

除遍历计数器与a[N] b[N]外，不可使用新的变量(包括栈临时变量、对空间和全局静态变量等)；

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

虽然前不久做了一次，但手写还是错，临界问题未考虑清楚。。。。闷~

现在查错不使用调试。。。下次要学会证明算法的正确性。

void func3(int a[], int b[], int n)
{
    b[n-1] = 1;

    for (int i=n-1; i>0; i--)
    {
        b[i-1]= b[i]*a[i];
    }
    b[n-1]=a[0];
    for (i=1; i<n-1; i++)
    {
        b[i] *= b[n-1];
        b[n-1] = b[n-1]*a[i];
    }

}

其实还有几种方法。。。