Go通过不变性优化程序