陈式不是陈寿的父亲，陈寿的父亲在历史上并没有留下名字，他是马谡的部下，因街亭之败收到牵连，被诸葛亮处罚罢官。陈式则为蜀汉高级将领。