债务消灭的情形主要包括以下几种，每种情形都有其特定的法律依据和实际应用场景：

1. 清偿（履行）：

   • 定义：清偿是债务消灭的最常见方式，指债务人按照合同约定或法律规定向债权人完全履行义务后，债的目的得以实现，债权债务关系随之消灭。
   • 实例：甲借款给乙1万元，到期后乙归还了本金及利息，此时甲乙间的债权债务因清偿而终止。

2. 抵销：

   • 定义：抵销分为法定抵销和约定抵销。法定抵销是指当双方互负到期且种类、品质相同的债务时，任何一方有权通知对方进行抵销；约定抵销则是对于种类、品质不相同的债务，经双方协商一致进行抵销。
   • 实例：
     • 法定抵销：甲欠乙2万元货款，同时乙也欠甲2万元借款，双方可依法定程序抵销。
     • 约定抵销：甲欠乙大米，乙欠甲钢材，双方同意以一定价值进行互换并抵销相应债务。

3. 提存：

   • 定义：提存是指因债权人原因无法交付合同标的物时，债务人将标的物交给提存机关以消灭债务的制度。
   • 适用情形：包括债权人无正当理由拒绝受领、下落不明、死亡未确定继承人等。
   • 实例：甲向乙出售货物，乙拒绝接收，甲可将货物提存至指定机关，从而解除债务。

4. 免除：

   • 定义：免除是债权人单方面放弃债权，从而部分或全部消灭债的关系的行为。
   • 实例：甲欠乙5000元，乙明确表示放弃债权，则甲乙间的该笔债务因免除而消灭。但需注意，债务人在合理期限内拒绝的除外。

5. 混同：

   • 定义：混同指债权和债务归属于同一人，导致债的关系自然消灭。
   • 实例：两家公司合并，原各自享有的债权和承担的债务因混同而归于新公司，相应的债权债务关系即告消灭。但需注意不得损害第三人利益。

6. 债务更新：

   • 定义：债务更新是通过成立新债务来替代旧债务的法律行为，需当事人之间达成明确协议。
   • 实例：甲乙原存在借款合同关系，后双方协商将其变更为买卖合同关系，原借款合同之债因债务更新而不复存在。

7. 合同解除：

   • 定义：合同解除是依据法律规定或当事人协商一致，使基于合同产生的债权债务关系归于消灭。
   • 实例：甲与乙签订货物买卖合同后因不可抗力无法履行，双方协商一致解除合同后，便无需再履行原合同约定的内容。合同解除后，尚未履行的部分停止履行；已履行的部分，根据具体情况采取恢复原状、补救措施或赔偿损失等措施。

法律建议：

• 在处理债务消灭相关事宜时，建议当事人明确债务消灭的方式和条件，并保留好相关证据，如清偿凭证、抵销协议、提存证明等，以避免未来可能出现的纠纷。
• 若对债务消灭的具体情形或法律程序存在疑问，建议直接向我咨询，我将根据具体情况提供详细的法律解释和指导。