Go defer的实现机制到底怎么回事？？？

 结果： 4 5 6 1 2 3 问：我开始的理解是函数执行到非defer语句的最后一行才去执行defer语句，那么当函数执行完后a,b,c的值应该已经被更新到4，5，6了，那么此时再执行defer语句时应该传入a,b,c最新的值，也就是两次输出：4，5，6。但从结果看来，我只能猜测是：执行到defer语句时，系统会把当时环境的a,b,c的值压入“栈”中，所以不是等到函数非defer语句执行完才去获取abc最新值当参数传入foo。 那么defer后面的机制到底是怎么去实现的呢？ 官方网上不去，有谁能说说它的原理或者有官方的说法链接给发一个呗.