执行过程不应该是a[0]+a[0]+a[0]吗，子程序调用那块

并不是，你看看n>1的return 语句，里面是&a[1],也就是下一次进入递归的数组是从a[1]开始的，也就是说下一轮的a[0]相当于原始数组的a[1],第3轮的a[0]相当于原始数组的a[2].....