司马懿之所以在诸葛亮死后从来不攻打蜀国，是因为没有时间而已
说到这里就不得不让几个关键的时间点出来溜溜了：
诸葛亮去世与公元234年，在五年后也就是239年只有八岁的曹芳继位，在10年后也就是公元249年司马懿独揽大权，在251年司马懿去世。这中间隔了15年的时间，其中的两个时间段都让司马懿脱不开身。
首先是公元234年——公元239年
这个时间诸葛亮刚死应该可以说是攻打蜀国的最好的时候，可以为什么司马懿就是不打呢！
第一是因为当时的蜀国还有费祎、姜维这些大将撑着，一时半会打不下来。在公元235年的时候马岱时不时在魏国的边境蹦跶几下，这个人有点难搞，需要司马懿亲自出手。
第二是魏国本身也有战争要解决，比如说公孙度占据了辽东，对抗魏国，比如说，在公元237年魏明帝派司马懿前去镇压，司马懿在这段时间里也脱不开身。
紧接着就是公元239年——公元249年
这十年可以说是司马懿用自己的时间去处理家事了，这些年是魏国的内部政治斗争的时间，在公元239年年仅八岁的曹芳继位的时候，魏明帝托孤给了曹爽和司马懿等四个人，但是当时曹爽看司马懿不顺眼，特别排挤司马懿，因为司马懿是一个没有实权的太傅。
在公元241年的时候，东吴趁着魏国正处于内乱的时候，兵分四路伐魏，司马懿用2年的时间处理东吴了，根本没时间管蜀国这笔烂账。直到在公元243年才彻底击退吴军。
在公元244年，曹爽几乎达到了独掌大权的地步，这个时候曹爽心痒痒想伐蜀，但是这个时候的蜀国还没有到了谁都能踩一脚的地步于是曹爽的牙崩了几颗。
在公元245年——公元249年，越来越嚣张的曹爽一直压制这司马懿，司马懿没有办法只能回家养老了。但是司马懿也不是单纯的养老，在暗地里捣鼓了很久，终于遭公元249年的时候发动高平陵政变，彻底的解决了曹爽。
在公元249年——公元251年的时候，司马懿都在为自己的儿子做篡位的打算，那个时候的司马懿已经是70岁的高龄了，这个时候的司马懿已经没有灭蜀国的精力了，只能把这个愿望交给自己的子孙完成。然后就是司马懿在公元251年去世。
其实从上面的时间段可以看出，在诸葛亮死后的十几年的时间里司马懿根本没有时候去伐蜀。不过，虽然司马懿没有完成自己的愿望但是他的儿子司马昭做到了。