解除合同在法律上通常被归类为形成之诉，而非变更之诉，但严格来说，其本质更贴近于形成之诉中的一种特殊类型，不过在日常语境和多数法律分析中，直接称其为形成之诉即可满足理解需求。以下是对此问题的详细分析：
一、形成之诉的定义与特点
形成之诉，又称创设之诉或变更之诉（此处变更之诉为广义，与狭义上仅指修改法律关系内容的变更之诉有所区别，为避免混淆，下文统一使用形成之诉），是指原告通过诉讼请求法院改变或消灭既存的某种法律关系的诉讼。其核心特点在于，原告行使的是法律赋予的形成权，旨在使法律关系发生实质性变更或消灭。在形成之诉中，法院的判决具有直接改变法律关系现状的法律效力。例如，解除合同就是典型的形成之诉，因为解除合同意味着终止原有的合同关系，使其归于消灭。
二、解除合同与形成之诉的关系
解除权的行使：在合同法律关系中，当满足法定或约定的解除条件时，一方当事人享有解除权。这种解除权是一种形成权，即权利人可以通过单方意思表示（如提起诉讼）来使合同关系归于消灭。
诉讼目的：解除合同的诉讼目的是使既存的合同法律关系归于消灭，这完全符合形成之诉的特征。原告通过诉讼请求法院判决解除合同，实际上是在行使形成权，以终止合同关系。
司法实践：在司法实践中，解除合同的诉讼通常被视为形成之诉。法院在审理此类案件时，会根据原告的诉讼请求和合同约定来判断是否满足解除条件，并据此作出是否解除合同的判决。
三、解除合同与狭义变更之诉、确认之诉的辨析
狭义变更之诉：虽然也涉及法律关系的变动，但其核心是对原有法律关系内容的修改，而非关系的消灭。例如，调整合同价款、履行期限等条款属于狭义变更之诉的范畴。然而，解除合同并非对合同内容的修改，而是直接终止合同关系，因此不属于狭义变更之诉。
确认之诉：主要是请求法院确认某种法律关系或事实的存在与否，并不直接改变法律关系的现状。例如，确认合同是否有效属于确认之诉。解除合同则是要终止合同关系，而非仅仅确认其存在或有效性，因此也不属于确认之诉。
四、特殊情况下的考量
在某些特殊情况下，解除合同的诉讼可能涉及确认之诉的因素，如确认解除条件是否成就。但总体而言，解除合同的主要法律性质是形成之诉。即使涉及确认因素，也是为了辅助形成之诉的审理和判决。
五、实践意义与法律后果
法律效果：经法院判决解除合同后，合同自判决生效之日起失去法律效力，双方恢复缔约前状态。
程序特征：解除合同需通过诉讼程序由法院审查解除理由是否成立，区别于协议解除的自主协商模式。
举证责任：原告需提供证据证明存在法定或约定解除事由，如对方严重违约、不可抗力导致合同履行不能等情形。
总结来看，解除合同在法律上应被归类为形成之诉。这一分类不仅符合法律理论的规定，也体现了司法实践中的通常做法。对于当事人而言，明确解除合同的法律性质有助于更好地维护自身权益，并在诉讼过程中采取正确的法律策略。如果您有关于解除合同或相关法律问题的进一步疑问，可以直接向我咨询。