《三国志·姜维传》“十六年春，祎卒。夏，维率数万人出石营，经董亭，围南安，魏雍州刺史陈泰解围至洛门，维粮尽退还。三国志记载姜维是粮尽退还的。但是《开元占经》的描述不一样。《开元占经》：又按魏嘉平五年，月晕犯钺，兵起，一曰光禄夫夫张缉皆诛，九月车骑将军郭准上言，姜维等攻陇西，斩首万余人。这里奇怪的地方在于，斩首万余人是郭淮斩的，还是姜维攻陇西斩的，存在疑问。另外延熙十七年(254年)，姜维打完回去后没多久，就主持蜀国内外军事，显然是有功得到奖赏，不像打了败仗的样子，问问吧友可以解答一下吗

魏嘉平五年应该是指延熙十六年，而张缉被斩应该是襄武之战的事情，不知是不是记错

张缉是254年死的，这个记载的张缉死亡时间有问题。这里的姜维攻陇西斩首万余肯定是姜维斩的，所以感觉这里应该说的是襄武之战，只是把时间弄错了?

《开元占经》是天文类书籍，【月晕犯钺】就是月晕侵入了钺星。古人认为月晕是不吉的天象，所以月亮和某星宿相犯，就会出现忧患。【凡月与列宿相犯，其宿地忧。】——《新唐书·志第二十三·天文三》【月晕犯钺】说的是曹魏，【斩首万余人】应该说的是曹魏兵不利。

.按语文语法理解，主语是姜维，所以应是他斩的，相反则要加上被字，即被斩。

唉，都不知道在说什么？——光禄夫夫张缉皆诛。这是说的魏国的光禄夫夫张缉，因为夏侯玄、李丰事件被诛，只不过时间好像错了一年，应当是嘉平六年。——襄武之战中被杀的是蜀军大将张嶷，这名字是完全不同的。——南安之战，实际上两军应没有实际交战。因为史料写的很清楚，姜维围南安，则肯定是没有攻破。魏国援军才走到洛门，姜维就撤军跑了。——如果有战果，那么有可能是魏国援军有追杀撤退的蜀军。——看姜维传，南安之战后第二年，姜维加了督中外军事，但是襄武之战后，姜维没有任何的嘉奖，因为折损了大将张嶷。而狄道之战后，姜维则晋升大将军，很明显是大胜仗以后的嘉奖晋升。