一、合同解除是变更之诉吗

　　合同解除之诉不属于变更之诉，二者属于完全不同的民事诉讼类型，司法实践中有着明确的区分标准，不能相互混淆。

　　变更之诉的核心是请求法院调整现存法律关系的具体内容，仅对权利义务细节进行修改调整，并不会彻底消灭整体法律关系。而合同解除的核心目的是终止全部合同权利义务，彻底消灭原本存在的合同法律关系，不存在对原有合同内容的修改与变更，完全不符合变更之诉的核心特征。

　　依据《中华人民共和国民法典》第五百六十六条规定，合同解除后，尚未履行的，终止履行。已经履行的，根据履行情况和合同性质，当事人可以请求恢复原状或者采取其他补救措施，并有权请求赔偿损失。

　　(一)变更之诉适用场景局限于调整法律关系内容，比如修改合同履行期限、调整标的数额、变更履约方式等，诉讼结束后合同关系依然存续。

　　(二)合同解除是对合同整体效力的终结处置，一旦法院判决解除合同，双方所有的合同约束即刻终止，后续仅留存清算赔付相关义务，和变更之诉的法律效果有着本质区别。

　　司法实务中，法院均将合同解除纠纷排除在变更之诉范畴外，不会按照变更之诉的审理标准处理案件。

二、合同未履行怎么诉返还

　　合同一方未履行约定义务时，守约方可以通过民事诉讼主张解除合同，并要求违约方返还已支付的款项、财物或恢复原状，整套诉讼流程和权利主张方式有明确法律依据。

　　(一)守约方可以固定对方未履行合同的证据，证实违约方存在拒不履约、逾期履约等法定违约情形，满足起诉的基础条件。

　　(二)可向管辖法院提起诉讼，核心诉求包含解除涉案合同，要求对方返还己方已交付的财物、款项，同时可主张违约赔偿弥补损失。

　　依据《中华人民共和国民法典》第五百六十三条规定，有下列情形之一的，当事人可以解除合同，因不可抗力致使不能实现合同目的，在履行期限届满前，当事人一方明确表示或者以自己的行为表明不履行主要债务，当事人一方迟延履行主要债务经催告后在合理期限内仍未履行，当事人一方迟延履行债务或者有其他违约行为致使不能实现合同目的，法律规定的其他情形。

　　法院认定合同未履行的违约事实成立后，会依法判决解除合同，判令违约方全额返还守约方已支付的款项。

　　如果未履行合同给守约方造成实际经济损失，守约方可同步主张赔偿，法院会结合实际损失核定赔付金额，最高可依据实际损失全额支持，保障守约方的全部合法权益。判决生效后对方拒不返还的，守约方可以申请法院强制执行。

　　依据《中华人民共和国民法典》第五百七十七条规定，当事人一方不履行合同义务或者履行合同义务不符合约定的，应当承担继续履行、采取补救措施或者赔偿损失等违约责任。

三、合同解除是形成之诉吗

　　合同解除之诉属于典型的形成之诉，完全契合形成之诉的法定定义和司法特征，是民事诉讼中形成之诉的常见适用情形。

　　形成之诉的核心定义是当事人请求法院通过判决创设、变更或者消灭现存的民事法律关系，诉讼效果可以直接改变双方原本的权利义务状态，无需对方当事人配合即可产生法律效力。

　　当事人起诉请求法院判决解除合同，本质就是请求司法机关消灭双方存续的合同法律关系，完全匹配形成之诉的核心属性。

　　依据《中华人民共和国民法典》第五百六十五条规定，当事人一方依法主张解除合同的，应当通知对方。合同自通知到达对方时解除，通知载明债务人在一定期限内不履行债务则合同自动解除，债务人在该期限内未履行债务的，合同自通知载明的期限届满时解除。对方对解除合同有异议的，任何一方当事人均可以请求人民法院或者仲裁机构确认解除行为的效力。

　　(一)形成之诉不依赖对方当事人的意愿，法院作出解除合同的生效判决后，合同关系即刻依法消灭，产生对世的法律效力。

　　(二)合同解除之诉不存在给付内容，核心是变动法律关系状态，区别于给付之诉和确认之诉。

　　司法实践中，所有请求法院裁判解除合同的纠纷，均统一按照形成之诉的规则审理，这也是民事审判的通用标准。

　　综上，合同解除不属于变更之诉而属于形成之诉，二者法律属性差异显著。合同未履行时可起诉解除合同并主张财物款项返还，同时追责违约损失。大家处理合同纠纷时，需准确区分诉讼类型，依法规范起诉维权。