语义化的优化