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

1. 形成之诉的定义与特征：

   • 形成之诉，又称创设之诉，是指原告通过诉讼请求法院改变或消灭既存的某种法律关系的诉讼。
   • 在形成之诉中，法院的判决具有直接改变法律关系现状的法律效力。
   • 解除合同之诉正是通过法院判决来终止原有的合同关系，使其归于消灭，这完全符合形成之诉的特征。

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

   • 变更之诉涉及对原有法律关系内容的修改，而非关系的消灭。解除合同并非对合同内容的修改，而是直接终止合同关系，因此不属于变更之诉。
   • 确认之诉主要是请求法院确认某种法律关系或事实的存在与否，并不直接改变法律关系的现状。解除合同则是要终止合同关系，而非仅仅确认其存在或有效性，因此也不属于确认之诉。

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

   • 在合同法律关系中，当满足法定或约定的解除条件时，一方当事人享有解除权。这种解除权是一种形成权，即权利人可以通过单方意思表示（如提起诉讼）来使合同关系归于消灭。
   • 解除合同的诉讼目的是使既存的合同法律关系归于消灭，这完全符合形成之诉的特征。
   • 法院在审理解除合同之诉时，会根据原告的诉讼请求和合同约定来判断是否满足解除条件，并据此作出是否解除合同的判决。这一判决直接改变了原有的合同关系状态，体现了形成之诉的法律效果。

综上所述，解除合同之诉应被正确归类为形成之诉。这一分类不仅符合法律理论的规定，也体现了司法实践中的通常做法。如果你在这方面有任何疑问或需要进一步的法律帮助，请随时向我咨询。