至于出城偷袭魏军，霍弋还没有傻到那个地步，魏军攻到味县的人马合计两万多人，最终只在味县城下留下了一千人，就不是坑是什么？

退一万步说，就算魏军没有圈套，蜀军想要吃掉这一千人也不是一件易事，除非霍弋敢将味县的全部人马给调出去，打一围歼战，这样或许还有机会吃掉对方。

可调动味县全部的人马，在魏军兵临城下，虎视眈眈的情况冒这样的风险，恐怕但凡有点脑子的人都不会这样去做的。