出处：按学科分类—军事 湖北人民出版社《中国军事史辞典》第17页（223字）
战国时期秦国灭亡巴国、蜀国的战争。周慎靓王五年(公元前316年)巴(在今四川东部地区)、蜀(在今四川西部地区)两国互相攻击，均向秦求救。秦惠文王采纳司马错的建议，乘机起乓取蜀。派张仪、司马错和都尉墨等率军从石牛道(自今陕西勉县西南行，越七盘岭，经朝天驿趋剑门关的大道)攻蜀，蜀王亲自率兵到葭萌关(今四川剑阁东北)抵御秦军，战败被杀，蜀亡。张仪，司马错又率军乘胜灭掉苴国和巴国。巴、蜀遂成为秦地。