在三国时期，蜀汉的史料似乎有所缺失，所以陈寿作为蜀汉旧臣，《三国志》当中的《蜀书》的篇幅反而是最短的。主流观点认为蜀汉不置史官，不过也有人认为《蜀书》短小、缺失的原因与政治立场有关。比如陈寿作为西晋的臣子，必然需要维护西晋奠基人司马懿的形象。那么与司马懿战斗过的蜀汉将领，在《三国志》当中是怎样的形象呢？
司马懿与蜀汉将领的战争
司马懿是士人出身，原本被曹操当做幕僚，被曹丕引为心腹。不过在魏明帝曹叡时期，或许曹叡并不愿意让司马懿这个辅政大臣留在朝中，于是司马懿出外为一方都督。司马懿先坐镇荆州，消灭与诸葛亮暗通款曲的孟达；等到曹真病重之后，司马懿就转而镇守雍州、凉州。
