?历史上真实的曹真最后伐蜀结果是什么样的：
　　.

　　230年七月，曹魏想转守为攻，大司马曹真上表伐蜀议案，但司空陈群认为斜谷太险阻，难以进退，于是曹真率主力军改为由子午道进发；大将军司马懿率军从汉水而上，欲与曹真军会师汉中；张郃从褒斜道进兵，直指汉中。

　　诸葛亮知道魏军来攻后，立即加强城固、赤阪等要地的防守，要求李严率二万人赶赴汉中阻击敌人，表李严子李丰为江州都督，防卫后方。

　　曹军的前锋夏侯霸先大军一步，进至兴势，在曲折的谷中下营。

　　被蜀地百姓看到，指示蜀军攻击，夏侯霸在鹿角间战斗，最后援军到达，夏侯霸才得以解围。

　　因蜀地艰险，期间遇上下了三十天的大雨，栈道断绝，曹真用了一个月，才走了一半路程。

　　在朝中，华歆、杨阜、王肃都上疏劝魏明帝下诏撤军，至九月，三路大军受诏撤退。