【形成之訴有哪些】——全面解读民事诉讼中的形成之訴
在民事诉讼领域，根据诉讼请求的目的和法院判决的效力，诉讼可以被划分为不同的类型。其中，形成之訴（或称变更之訴、创设之訴、消灭之訴）是一种非常特殊的诉讼类型，它旨在通过法院的判决直接创设、变更或消灭某种法律关系。与仅仅请求给付（如支付欠款）或确认（如确认合同有效）的诉讼不同，形成之訴的判决具有形成力，即判决一经生效，便直接产生或改变了当事人之间的法律状态。那么，究竟形成之訴具体有哪些种类呢？本文将为您详细解析。
什么是形成之訴？
在深入探讨其具体种类之前，我们首先需要理解形成之訴的核心概念。形成之訴是当事人请求法院通过判决，创设、变更或消灭某种私法关系或法律状态的诉讼。其判决一旦生效，无需当事人履行任何行为，新的法律关系或状态便自动形成、变更或消灭。这是其与给付之訴（请求对方履行特定行为）和确认之訴（请求确认某种法律关系是否存在或有效）的根本区别。
核心特征：
- 形成力：判决生效即直接引起法律关系的变动。
- 对世效力：判决的效力通常及于当事人之外的第三人，具有普遍约束力。
- 固有必要共同诉讼：在某些情况下，当事人一方或双方可能需要以共同诉讼的形式参与。
- 形成权：形成之訴往往以行使某种形成权（如撤销权、解除权）为基础。
【形成之訴有哪些】——具体种类详解
形成之訴的种类繁多，可以根据其对法律关系的作用效果大致划分为以下三类：
1. 创设型形成之訴（创设新的法律关系或状态）
这类形成之訴的目的在于通过法院的判决，无中生有地创设一种新的法律关系或状态。在原有的法律框架下，这种关系或状态尚不存在，需要法院的公权力介入才能使其合法成立。
-
宣告婚姻无效之訴/撤销婚姻之訴：
当婚姻关系在缔结时存在法定无效或可撤销的情形（如重婚、未达法定婚龄、胁迫等），利害关系人或受胁迫方可以向法院提起诉讼，请求宣告该婚姻无效或撤销该婚姻。法院的判决一旦生效，直接创设了婚姻无效或被撤销的法律状态，使当事人恢复单身状态（或自始无效）。
-
收养关系之訴（在争议情况下）：
虽然收养通常通过行政登记完成，但在收养关系存在争议，需要法院确认或解除时，法院的判决将直接创设、维持或解除收养法律关系。例如，在一方不配合办理登记的情况下，可能需要诉讼确认收养事实并请求法院创设法律上的收养关系。
-
公司设立之訴（特定情形下）：
在少数极端情况下，例如公司股东之间就公司章程、股权分配等关键问题无法达成一致，需要法院介入以强制形成公司设立的法律关系，其判决也具有创设性质。
2. 变更型形成之訴（变更既有的法律关系或状态）
这类形成之訴旨在通过法院的判决，对已经存在的法律关系或状态进行实质性的调整或改变，使其产生新的内容或形式。
-
离婚之訴：
这是最常见的变更型形成之訴。夫妻一方或双方请求法院判决解除婚姻关系。法院的离婚判决一旦生效，便直接变更了当事人的婚姻状态，使他们从夫妻变为非夫妻。判决书本身就是这种变更的法律依据，无需另行办理其他手续来解除婚姻。
-
共有物分割之訴：
当多个所有权人对同一财产享有共有权（无论是按份共有还是共同共有），且无法协商一致进行分割时，任何共有人都可以向法院提起诉讼，请求分割共有财产。法院的判决将变更原有的共有关系，将其转化为各自独立的单方所有权，或者重新分配各自的份额。例如，一套房屋由兄弟姐妹共同所有，通过法院判决将其分割或确定各方份额。
-
撤销权之訴（债权人撤销权）：
当债务人恶意处分财产，损害债权人利益时，债权人可以请求法院撤销债务人的特定行为（如赠与、以不合理低价转让财产等）。法院的撤销判决一旦生效，将直接恢复被撤销行为之前的法律状态，使债务人的行为对债权人不再发生法律效力，从而变更了财产归属或交易的效力。
-
地役权变更或消灭之訴：
当地役权设立后，因情势变更等原因导致原有的地役权内容不适宜或失去了存在基础，当事人可以向法院请求变更或消灭该地役权。法院判决直接改变了不动产之间的利用关系。
3. 消灭型形成之訴（消灭既有的法律关系或状态）
这类形成之訴的目的在于通过法院的判决，彻底终结或废止某种已经存在的法律关系或状态。
-
解除合同之訴/撤销合同之訴：
当合同一方当事人存在违约行为或合同存在可撤销的情形（如欺诈、胁迫、重大误解等），守约方或受损害方可以向法院提起诉讼，请求解除或撤销该合同。法院的判决一旦生效，将直接消灭该合同关系，使双方的权利义务关系终止（解除）或自始无效（撤销）。
-
宣告死亡之訴/宣告失踪之訴：
当自然人符合法定条件（如失踪达到法定年限），利害关系人可以向法院申请宣告其死亡或失踪。法院的宣告判决一旦生效，便直接消灭了该自然人的民事主体资格（宣告死亡）或限制其民事行为能力（宣告失踪），从而引发继承、婚姻关系解除等一系列法律后果。
-
股东会决议撤销之訴/无效之訴：
当公司股东会或董事会作出的决议违反法律、行政法规或公司章程时，股东可以请求法院撤销该决议或确认其无效。法院的判决将直接消灭该决议的法律效力，从而影响公司内部治理和外部交易的合法性。
形成之訴的法律效力与实践意义
形成之訴的判决具有独特的形成力，这意味着判决一旦生效，就直接创设、变更或消灭了法律关系，无需当事人再采取任何执行行为。这种效力通常还具有溯及力（例如撤销婚姻或合同可能被视为自始无效）和对世效力（对所有人都有效力，而不仅仅是诉讼当事人）。
在实践中，形成之訴的运用对于维护当事人的合法权益、纠正不当法律状态、以及保障社会经济秩序的稳定具有重要意义。它赋予了法院在特定领域内调整甚至重构法律关系的权力，是司法权发挥其定分止争、规范社会关系功能的重要体现。
结语
通过上述的详细分类与解析，我们可以清晰地认识到形成之訴在民事诉讼中的独特地位和重要作用。无论是创设新的法律关系、变更既存的法律状态，还是消灭不再适宜的法律关系，形成之訴都是维护当事人合法权益、实现公平正义不可或缺的法律工具。理解这些不同类型的形成之訴，有助于我们更好地理解民事诉讼的深度和广度。
常见问题（FAQ）
如何判断一个诉讼请求属于“形成之訴”而非其他类型？
判断一个诉讼请求是否属于形成之訴，关键在于看其请求的目的是否在于直接创设、变更或消灭某种法律关系或法律状态。如果判决结果是直接改变了法律事实或权利义务的结构，而不仅仅是要求对方履行某种行为（给付之訴）或确认某种状态（确认之訴），那么它就是形成之訴。例如，请求离婚是形成之訴，因为判决直接改变了婚姻状态；而请求支付赡养费则是给付之訴。
为何说形成之訴的判决具有“对世效力”？
形成之訴的判决通常具有对世效力，意味着其判决结果不仅对诉讼当事人有效，而且对所有第三人也具有普遍的约束力。例如，法院宣告某婚姻无效的判决，不仅使得当事人之间不再是夫妻关系，也意味着社会上任何人都必须承认该婚姻的无效状态，不能再以合法夫妻对待他们。这与给付之訴或确认之訴的判决通常只对当事人及其继承人有约束力（相对效力）有所不同。
形成之訴是否都有诉讼时效的限制？
并非所有的形成之訴都受诉讼时效的限制，这取决于所行使的形成权的性质。大多数形成权，尤其是在民法典中明确规定了行使期限的，如撤销权（通常为一年），会受到除斥期间（而非诉讼时效）的限制。除斥期间是法律规定某种权利存续的期间，该期间届满，权利即消灭，不发生中断、中止、延长等问题。而像离婚之訴这类涉及身份关系的形成之訴，通常没有严格的诉讼时效限制，但法律可能会规定特定的前置条件或起诉间隔。
在司法实践中，“形成之訴”的证明责任有什么特殊之处吗？
形成之訴的证明责任与一般诉讼并无本质区别，遵循“谁主张，谁举证”的原则。原告需要就其主张形成、变更或消灭法律关系的请求基础事实承担举证责任。例如，在离婚之訴中，原告需要证明夫妻感情确已破裂；在撤销合同之訴中，原告需要证明存在欺诈、胁迫或重大误解等可撤销的事由。法院将根据双方提供的证据，依法作出是否形成、变更或消灭特定法律关系的判断。
