因为最后e=a1把s指向a1，a的值当然不会变

e=a1=&y,而e又是s的引用，所以你对e的这次改变使s也变了，最后s=e=a1=&y,即最后s已经不指向a了，所以程序改变了s和e使*s=*e=*a1=y=354，而a不被任何指针指向，所以a不变