这篇题解提供的代码有如下片段：

...
int n,a[1030]={1};
int main(){
	...
		for(int j=i;j>=0;--j)a[j]^=a[j-1];//修改数组
    ...
}

这里 j - 1 会出现 -1 的情况，但是代码仍然能跑，请问是什么神秘机制吗（