关于变量赋值转换的基础问题

就是这个题，第一个式子x=x+y
第二个式子y=(x+y)-y=x
到这里y的值是换过来了，但是下一个式子咱们把x换成y呢
第三个式子是不是x=y-x=x-x=0
我理解是式子二已经把y变成x了，所以第三个式子就是把y当x带入式子，不知道怎么理解正确，这里卡住了，望指导。

x0,y0
x+=y; //step1: x1=x0+y0,y1=y0
y=x-y; //step2: y2=x1-y1=x0+y0-y0=x0,x2=x1=x0+y0
x-=y; //step3: x3=x2-y2=x0+y0-x0=y0,y3=y2=x0
综上所述，在+和-运算不溢出的前提下，交换了x和y