关于变量地址相减

今天学妹问了一个问题，渣渣我自己琢磨半天没想明白，又去问了大佬，终于，及时救场了。
问题

如图，为什么&a[2]-&a[1] 输出的是1而不是short类型的2？

原因
&a[2]-&a[1] 并不是表示简单的地址相减，而是地址之差/sizeof(type) ，即这两个变量之间相差了几个该类型的值，如果这里是&a[3]-&a[0]，那么结果输出为3。至于原因我还没去查，先记了之后再补充。
这里我用的数组，保证地址是连续分配的，试了下非数组变量，&a1-&a2在另一台电脑上的不同编译器里输出的是2，不同编译器的实现方法不一样。
扩充
大佬说他试了下定义四个局部变量，
short a1,a2,a3,a4;
printf(“&a1 - &a4 = %d\n”,&a1-&a4)；//&a1 - &a4 = 1
1
2
如果不使用a2和a3变量的话，编译器会优化掉中间的两个变量，节省内存，与不同编译器的实现方法有关，我在Dev c++里输出的就是1，但我试了下数组，结果是3。

这么小的东西却牵扯很多问题…唉头疼
————————————————
版权声明：本文为CSDN博主「Wyyyyyn」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/Wyyyyyn/article/details/78956586