静态最优化与比较静态分析