不是王睿乘船下益州，而是王濬楼船下益州。
出自唐代刘禹锡的《西塞山怀古》全诗:
王濬楼船下益州，金陵王气黯然收。
千寻铁锁沉江底，一片降幡出石头。
人世几回伤往事，山形依旧枕寒流。
今逢四海为家日，故垒萧萧芦荻秋。
我不觉得应用了典故，用典应见典（见于典籍里的史实、故事、人物等），比如这句“王睿楼船下益州，金陵王气黯然收。”灭吴旧事用做诗材，这叫用典。沉舟侧畔，病树前头，皆是可观可见可想象的场景，与史实旧载斗无关，应不算用典。
泪湿罗巾梦不成，夜深前殿按歌声。 红颜未老恩先断，斜倚薰笼坐到明。
忆郎还上层楼曲。楼前芳草年年绿绿似去时袍。回头风袖飘。
郎袍应已旧。颜色非长久。惜恐镜中春。
、百草千花寒食路，香车系在谁家树。
贱妾茕茕守空房，忧来思君不敢忘，不觉泪下沾衣裳。
援琴鸣弦发清商，短歌微吟不能长。
王睿楼船下益州，金陵王气黯然收。
千寻铁锁沉江底，一片降憣出石头。
人世几回伤往事，山形依旧枕寒流。
今逢四海为家曰，故垒萧萧芦荻秋。
黄绮之商山，***亦云逝。
往迹浸复湮，来径遂芜废。
相命肆农耕，日入所从所憩。
荒路暖交通，鸡犬互呜吠。
俎豆犹古法，衣裳无新制。
“王濬楼船下益州，金陵王气黯然收。千寻铁锁沈江底，一片降幡出石头。人世几回伤往事？山形依旧枕寒流。从今四海为家日，故垒萧萧芦荻秋。”唐代大诗人刘禹锡的这首《西塞山怀古》在开头前四句就以简明扼要的方式写出了西晋攻灭东吴的情形。
公元279年十一月，晋武帝司马炎下令发兵二十万，分六路进军，攻打三国时代中仅存的东吴。龙骧将军王濬（也可读作王浚）从益州（今四川、云南、贵州等地）出兵，带水军沿江而下，这便是“王濬楼船下益州”的由来。
真***孙歆
从益州出发攻打吴国荆州，吴国的乐乡督孙歆率军进攻王濬，但被王濬击败，孙歆撤回乐乡。
战后，王濬竟上奏司马炎，自称已把吴国的荆州都督孙歆给斩首了。然而，孙歆在率军返回乐乡的途中，中了晋将周旨的埋伏，于是被擒获。
后来，周旨的上司杜预把孙歆押送到洛阳。洛阳城中的人们，对于王濬谎报战功的事情，都感到贻笑大方。
