计算当前状态的值是不是比计算对下一状态的贡献要更好优化，所以应该尽量推前者式子？