《帝王世纪》曰：高贵乡公为太子舍人成济所害。年二十，以公礼葬之。
陈留王《魏志》曰：陈留王讳奂，字景明，武帝孙，燕王字之子也。甘露三年，封安次县常道乡公。高贵乡公卒，公卿议迎立公。六月，入於洛阳，即皇帝位於太极前殿，大赦，改元。景元四年，诏伐蜀，命征西将军邓艾督帅诸军，趋甘松、沓中，雍州刺史诸葛绪督诸军趋武都、高楼，首尾踧讨。若擒姜维，便当东西并进，扫灭巴蜀也。又命镇西将军锺会由骆谷伐蜀，所至辄克。十一月，蜀主刘禅降，巴蜀皆平。咸熙二年，命晋王冕十有二旒，建天子旌旗。进王妃为王后，世子为太子。八月，相国晋王薨，太子炎绍封袭位，总摄百揆。十二月，禅位於晋，改次於金墉城，而终馆於邺，时年二十，在位六年。
《帝王世纪》曰：陈留王即位，禅晋，封陈留王，就国治邺，奉魏宗祀。
《魏世谱》曰：晋封帝为陈留王。年二十八，太安元年崩，谥曰：“元皇帝”。
《魏志评》曰：古者以天下为公，唯贤是举。后代世位，立子以嫡；若胤嗣不继，则宜取旁亲明德，若汉之文、宣者，斯不易之常准也。明帝既不能然，情系私爱，抚养婴孩，传以大器，托付不专，必参枝族，终於曹爽诛夷，齐王替位。高贵公才惠夙成，好问尚辞，亦文帝之风流也；然轻躁肆忿，自陷大祸。陈留王恭已南面，宰辅统政，仰遵前式，揖让而禅，遂飨封大国，作宾於晋，比之山阳，班宠有加焉。
九十五
《晋书》曰：宣帝讳懿，字仲达，河内温县孝敬里人，姓司马氏。其先出自帝高阳之子重黎，为夏官祝融。历唐虞夏商，世序其职，及周，以夏官为司马。其后程伯休父，周宣王时以世官克平徐方，锡以官族，因而为氏。楚汉间，司马昂为赵将，与诸侯伐秦。秦亡，立为殷王，都河内。汉以其地为郡，子孙遂家焉。自昂八世，生征西将军钧，字叔平。钧生豫章太守量，字公度。量生颍川太守俊，字元异。俊生京兆尹防，字建公。帝即防之第二子也。少有奇节，聪明多大略，博学洽闻，伏膺儒教。汉末大乱，常慨然有忧天下心。南郡太守同郡杨俊有知人之鉴，见帝，未弱冠，以为非常之器。尚书清河崔琰与帝兄朗善，亦谓朗曰：“君弟聪亮明允，刚断英特，非子所及也。”汉建安六年，郡举上计椽。魏武帝为司空，闻而辟之。帝知汉运方微，不欲屈节曹氏，辞以风痹，不能起居。魏武使人夜往密刺之，帝坚卧不动。及魏武为丞相，又辟为文学掾，敕行者曰：“若复盘桓，便收之。”帝惧而就职。於是使与太子游处，迁黄门侍郎，转议郎、丞相东曹属，寻转主簿。魏国既建，迁太子中庶子。每与大谋，辄有奇策，为太子所信重，与陈群、吴质、朱铄号为四友。迁行军司马，言於魏武曰：“昔箕子陈谋，以食为首。今天下不耕而食者盖二十馀万，非经国远筹也。虽戎甲未卷，自宜且耕且守。”魏武纳之，於是务农积谷，国用丰赡。及魏武薨於洛阳，朝野危惧。帝纲纪丧事，内外肃然。乃奉梓宫还邺。魏文帝即位，封河津亭侯，转丞相长史。魏文受汉禅，以帝为尚书。顷之，转督军、御史中丞，封安国乡侯。黄初二年，督军官罢，迁侍中、尚书右仆射，五年，天子南巡，观兵吴疆。帝留镇许昌，改封向县侯，转抚军大将军、假节，领兵五千，加给事中、录尚书事。帝固辞。天子曰：“吾於庶事，以夜继昼，无须臾宁息。此非以为荣，乃为分忧耳。”六年，天子复大兴舟师征吴，命帝居守，临行，诏曰：“吾深以后事为念，故以委卿。曹参虽有战功，而萧何为重。使吾无西顾之忧，不亦可乎！”天子自广陵还洛阳，诏帝曰：“吾东，抚军当总西事；吾西，抚军当总东事。”於是留帝镇许昌。及天子疾笃，召帝与曹真、陈群等见於崇华殿之南堂，并受顾命辅政。
诏太子曰：“有间此三公者，慎勿疑之。”明帝即位，改封舞阳侯。及孙权围江夏，遣其将葛瑾、张霸并攻襄阳，帝督诸军讨权，走之。进击，败瑾，斩张霸，并首级千馀。迁骠骑将军。太和元年六月，天子诏帝屯於宛，加督荆、豫二州诸军事。初，蜀将孟达之降也，魏朝遇之甚厚。帝以达言行倾巧不可任，骤谏不见听，乃以达领新城太守，封侯，假节。达於是连吴固蜀，潜图中国。帝以书谕之，达得书大喜，犹与不决。帝乃潜军进讨。上庸城三面阻水，达於城外为木栅自固。帝渡水，破其栅，直造城下。八道攻之，旬有六日，达甥邓贤，将李辅等开门出降。斩达，首传京师。俘获万馀人，振旅还于宛。乃劝农桑，禁浮费，南土悦附焉。时边郡新附，民无户名，魏朝欲加隐实。属帝朝於京师，天子访於帝。帝对曰：“贼以密网束下，故下弃之。宜弘以大纲，则自然安乐。”又问二虏宜讨，何者为先？