内存越界了实在找不到问题

这是代码我网上找过方法了说检查一下数组下标访问的合法性我看了没问题呀各位看看哪里有问题

当i=0的时候，j=size-i-1的时候，内循环里面的arr[j+1]不就越界了么