解除合同应归类为形成之诉。下面我将从多个角度对这一问题进行详细解释：

1. 形成之诉的界定：

   • 形成之诉，是指原告通过诉讼请求法院改变或消灭既存的某种法律关系的诉讼。其核心特点在于，原告行使的是法律赋予的形成权，旨在使法律关系发生实质性变更或消灭。

2. 变更之诉与确认之诉的辨析：

   • 变更之诉：涉及法律关系的变动，但主要是对原有法律关系内容的修改，而非关系的消灭。例如，调整合同价款、履行期限等条款属于变更之诉的范畴。解除合同并非对合同内容的修改，而是直接终止合同关系，因此不属于变更之诉。
   • 确认之诉：主要是请求法院确认某种法律关系或事实的存在与否，并不直接改变法律关系的现状。例如，确认合同是否有效属于确认之诉。解除合同则是要终止合同关系，而非仅仅确认其存在或有效性，因此也不属于确认之诉。

3. 解除合同的法律性质分析：

   • 解除权的行使：在合同法律关系中，当满足法定或约定的解除条件时，一方当事人享有解除权。这种解除权是一种形成权，即权利人可以通过单方意思表示（如提起诉讼）来使合同关系归于消灭。
   • 诉讼目的：解除合同的诉讼目的是使既存的合同法律关系归于消灭，这完全符合形成之诉的特征。原告通过诉讼请求法院判决解除合同，实际上是在行使形成权，以终止合同关系。
   • 司法实践：尽管在某些特殊情况下，解除合同的诉讼可能涉及确认之诉的因素（如确认解除条件是否成就），但总体而言，解除合同的主要法律性质是形成之诉。

综上所述，解除合同应被正确归类为形成之诉。这一分类不仅符合法律理论的规定，也体现了司法实践中的通常做法。如果你对此类合同纠纷问题有进一步的疑问或需要更详细的法律建议，请直接向我咨询。