四年秋，诏诸军征蜀，大将军司马文王皆指授节度，使艾与维相缀连；雍州刺史诸葛绪要维，令不得归。艾遣天水太守王颀等直攻维营，陇西太守牵弘等邀其前，金城太守杨欣等诣甘松。维闻钟会诸军已入汉中，引退还。欣等追蹑于彊川口，大战，维败走。闻雍州已塞道，屯桥头，从孔函谷入北道，欲出雍州后。诸葛绪闻之，却还三十里。维入北道三十余里，闻绪军却，寻还，从桥头过，绪趣截维，较一日不及。维遂东引，还守剑阁。钟会攻维未能克。艾上言：“今贼摧折，宜遂乘之，从阴平由邪径经汉德阳亭趣涪，出剑阁西百里，去成都三百余里，奇兵冲其腹心。剑阁之守必还赴涪，则会方轨而进；剑阁之军不还，则应涪之兵寡矣。军志有之曰：‘攻其无备，出其不意。’今掩其空虚，破之必矣。”

四年：指景元四年（263）。

司马文王：即司马昭，司马懿之子，封晋王，死后谥文王，其子司马炎称帝，追尊他为文皇帝。

甘松：地名。在今甘肃迭部东南。

钟会：魏国大臣，时为魏另一路伐蜀大军统帅。

桥头：地名。在今甘肃文县东南白水江上。

孔函谷：地名。在今甘肃文县西北。

剑阁：即剑门关，在今四川剑阁东北。

阴平：县名。治今甘肃文县西北。德阳亭：亭名。在今四川江油东北。涪：县名。治今四川绵阳东北。