消极确认之诉与形成之诉在民事诉讼中是两种截然不同的诉讼类型，它们的主要区别体现在诉讼目的、法律效果以及适用情形上。下面我将从这几个方面为您详细阐述：
诉讼目的
消极确认之诉：其目的在于请求法院确认某种法律关系或法律事实不存在。例如，在离婚纠纷中，一方可能提起消极确认之诉，请求法院确认双方之间不存在婚姻关系（尽管这种情况较为罕见，因为通常离婚是解除已存在的婚姻关系，但理论上若存在婚姻无效或可撤销的情形，且一方否认婚姻存在时，可能涉及此类诉讼）。更常见的消极确认之诉可能涉及确认不存在某种债务关系、合同关系等。
形成之诉：其目的在于通过法院的判决，改变或消灭现有的某种法律关系。在离婚纠纷中，形成之诉的典型例子就是离婚诉讼本身，即一方或双方请求法院判决解除婚姻关系，从而改变原有的婚姻法律状态。
法律效果
消极确认之诉：若法院支持原告的诉讼请求，将作出确认某种法律关系或法律事实不存在的判决。这种判决通常具有对世性，即对当事人以外的第三人也产生法律效力，因为它确认了某种法律状态的不存在。
形成之诉：若法院支持原告的诉讼请求，将作出改变或消灭现有法律关系的判决。这种判决同样具有对世性，因为它直接改变了当事人之间的法律关系状态，对第三人也可能产生影响（例如，离婚判决后，双方对财产的分割、子女的抚养等都会对第三人产生间接影响）。
适用情形
消极确认之诉：通常适用于当事人之间对某种法律关系或法律事实的存在与否存在争议，且该争议影响到当事人的合法权益时。例如，在离婚纠纷的衍生诉讼中，若一方否认存在共同债务，另一方可能提起消极确认之诉，请求法院确认该债务不存在。
形成之诉：则更广泛地适用于需要改变或消灭现有法律关系的情形。在离婚纠纷中，形成之诉是核心诉讼类型，因为离婚本身就是对婚姻关系的改变。此外，在合同纠纷中，解除合同、撤销合同等也属于形成之诉的范畴。
举例说明：
假设甲和乙曾是夫妻，后因感情不和分居多年。甲认为双方早已自动离婚（实际上在我国，离婚必须通过法定程序，不存在自动离婚的说法），而乙则认为双方仍是夫妻关系。此时，若甲想确认双方不存在婚姻关系，他可以提起消极确认之诉。但更常见且合理的做法是，若甲想结束婚姻关系，他应提起离婚诉讼（形成之诉），请求法院判决解除婚姻关系。
在另一个例子中，若甲和乙之间存在一份合同，甲认为乙未履行合同义务，而乙则认为合同已因某种原因（如不可抗力）而解除。此时，若甲想确认合同仍然有效并要求乙履行义务，他不能直接提起消极确认之诉来确认合同未解除（因为这不是确认某种法律关系或事实的不存在），而是应提起给付之诉或继续履行之诉。若乙想确认合同已解除，他则可以提起形成之诉（如果合同确实存在可解除的情形且乙已行使了解除权）。不过，在实际操作中，确认合同是否解除往往作为抗辩理由在给付之诉或继续履行之诉中一并处理，而非单独提起形成之诉。但理论上，若合同解除的效力存在争议且需要法院明确判决时，可以单独提起形成之诉。
总结与建议：
消极确认之诉与形成之诉在民事诉讼中各有其独特的适用场景和法律效果。在离婚纠纷中，形成之诉（即离婚诉讼）是核心和常见的诉讼类型；而消极确认之诉则可能出现在离婚纠纷的衍生诉讼中，用于确认某种法律关系或事实的不存在。若您在婚姻家庭领域遇到法律问题，特别是涉及离婚纠纷及其衍生诉讼时，建议直接向我咨询，我将根据您的具体情况提供专业的法律建议和帮助。