5.6.2 静态单赋值问题