【形成之訴有哪些】——全面解讀民事訴訟中的形成之訴
在民事訴訟領域，根據訴訟請求的目的和法院判決的效力，訴訟可以被劃分為不同的類型。其中，形成之訴（或稱變更之訴、創設之訴、消滅之訴）是一種非常特殊的訴訟類型，它旨在通過法院的判決直接創設、變更或消滅某種法律關係。與僅僅請求給付（如支付欠款）或確認（如確認合同有效）的訴訟不同，形成之訴的判決具有形成力，即判決一經生效，便直接產生或改變了當事人之間的法律狀態。那麼，究竟形成之訴具體有哪些種類呢？本文將為您詳細解析。
什麼是形成之訴？
在深入探討其具體種類之前，我們首先需要理解形成之訴的核心概念。形成之訴是當事人請求法院通過判決，創設、變更或消滅某種私法關係或法律狀態的訴訟。其判決一旦生效，無需當事人履行任何行為，新的法律關係或狀態便自動形成、變更或消滅。這是其與給付之訴（請求對方履行特定行為）和確認之訴（請求確認某種法律關係是否存在或有效）的根本區別。
核心特徵：
- 形成力：判決生效即直接引起法律關係的變動。
- 對世效力：判決的效力通常及於當事人之外的第三人，具有普遍約束力。
- 固有必要共同訴訟：在某些情況下，當事人一方或雙方可能需要以共同訴訟的形式參與。
- 形成權：形成之訴往往以行使某種形成權（如撤銷權、解除權）為基礎。
【形成之訴有哪些】——具體種類詳解
形成之訴的種類繁多，可以根據其對法律關係的作用效果大致劃分為以下三類：
1. 創設型形成之訴（創設新的法律關係或狀態）
這類形成之訴的目的在於通過法院的判決，無中生有地創設一種新的法律關係或狀態。在原有的法律框架下，這種關係或狀態尚不存在，需要法院的公權力介入才能使其合法成立。
-
宣告婚姻無效之訴/撤銷婚姻之訴：
當婚姻關係在締結時存在法定無效或可撤銷的情形（如重婚、未達法定婚齡、脅迫等），利害關係人或受脅迫方可以向法院提起訴訟，請求宣告該婚姻無效或撤銷該婚姻。法院的判決一旦生效，直接創設了婚姻無效或被撤銷的法律狀態，使當事人恢復單身狀態（或自始無效）。
-
收養關係之訴（在爭議情況下）：
雖然收養通常通過行政登記完成，但在收養關係存在爭議，需要法院確認或解除時，法院的判決將直接創設、維持或解除收養法律關係。例如，在一方不配合辦理登記的情況下，可能需要訴訟確認收養事實並請求法院創設法律上的收養關係。
-
公司設立之訴（特定情形下）：
在少數極端情況下，例如公司股東之間就公司章程、股權分配等關鍵問題無法達成一致，需要法院介入以強制形成公司設立的法律關係，其判決也具有創設性質。
2. 變更型形成之訴（變更既有的法律關係或狀態）
這類形成之訴旨在通過法院的判決，對已經存在的法律關係或狀態進行實質性的調整或改變，使其產生新的內容或形式。
-
離婚之訴：
這是最常見的變更型形成之訴。夫妻一方或雙方請求法院判決解除婚姻關係。法院的離婚判決一旦生效，便直接變更了當事人的婚姻狀態，使他們從夫妻變為非夫妻。判決書本身就是這種變更的法律依據，無需另行辦理其他手續來解除婚姻。
-
共有物分割之訴：
當多個所有權人對同一財產享有共有權（無論是按份共有還是共同共有），且無法協商一致進行分割時，任何共有人都可以向法院提起訴訟，請求分割共有財產。法院的判決將變更原有的共有關係，將其轉化為各自獨立的單方所有權，或者重新分配各自的份額。例如，一套房屋由兄弟姐妹共同所有，通過法院判決將其分割或確定各方份額。
-
撤銷權之訴（債權人撤銷權）：
當債務人惡意處分財產，損害債權人利益時，債權人可以請求法院撤銷債務人的特定行為（如贈與、以不合理低價轉讓財產等）。法院的撤銷判決一旦生效，將直接恢復被撤銷行為之前的法律狀態，使債務人的行為對債權人不再發生法律效力，從而變更了財產歸屬或交易的效力。
-
地役權變更或消滅之訴：
當地役權設立后，因情勢變更等原因導致原有的地役權內容不適宜或失去了存在基礎，當事人可以向法院請求變更或消滅該地役權。法院判決直接改變了不動產之間的利用關係。
3. 消滅型形成之訴（消滅既有的法律關係或狀態）
這類形成之訴的目的在於通過法院的判決，徹底終結或廢止某種已經存在的法律關係或狀態。
-
解除合同之訴/撤銷合同之訴：
當合同一方當事人存在違約行為或合同存在可撤銷的情形（如欺詐、脅迫、重大誤解等），守約方或受損害方可以向法院提起訴訟，請求解除或撤銷該合同。法院的判決一旦生效，將直接消滅該合同關係，使雙方的權利義務關係終止（解除）或自始無效（撤銷）。
-
宣告死亡之訴/宣告失蹤之訴：
當自然人符合法定條件（如失蹤達到法定年限），利害關係人可以向法院申請宣告其死亡或失蹤。法院的宣告判決一旦生效，便直接消滅了該自然人的民事主體資格（宣告死亡）或限制其民事行為能力（宣告失蹤），從而引發繼承、婚姻關係解除等一系列法律後果。
-
股東會決議撤銷之訴/無效之訴：
當公司股東會或董事會作出的決議違反法律、行政法規或公司章程時，股東可以請求法院撤銷該決議或確認其無效。法院的判決將直接消滅該決議的法律效力，從而影響公司內部治理和外部交易的合法性。
形成之訴的法律效力與實踐意義
形成之訴的判決具有獨特的形成力，這意味著判決一旦生效，就直接創設、變更或消滅了法律關係，無需當事人再採取任何執行行為。這種效力通常還具有溯及力（例如撤銷婚姻或合同可能被視為自始無效）和對世效力（對所有人都有效力，而不僅僅是訴訟當事人）。
在實踐中，形成之訴的運用對於維護當事人的合法權益、糾正不當法律狀態、以及保障社會經濟秩序的穩定具有重要意義。它賦予了法院在特定領域內調整甚至重構法律關係的權力，是司法權發揮其定分止爭、規範社會關係功能的重要體現。
結語
通過上述的詳細分類與解析，我們可以清晰地認識到形成之訴在民事訴訟中的獨特地位和重要作用。無論是創設新的法律關係、變更既存的法律狀態，還是消滅不再適宜的法律關係，形成之訴都是維護當事人合法權益、實現公平正義不可或缺的法律工具。理解這些不同類型的形成之訴，有助於我們更好地理解民事訴訟的深度和廣度。
常見問題（FAQ）
如何判斷一個訴訟請求屬於「形成之訴」而非其他類型？
判斷一個訴訟請求是否屬於形成之訴，關鍵在於看其請求的目的是否在於直接創設、變更或消滅某種法律關係或法律狀態。如果判決結果是直接改變了法律事實或權利義務的結構，而不僅僅是要求對方履行某種行為（給付之訴）或確認某種狀態（確認之訴），那麼它就是形成之訴。例如，請求離婚是形成之訴，因為判決直接改變了婚姻狀態；而請求支付贍養費則是給付之訴。
為何說形成之訴的判決具有「對世效力」？
形成之訴的判決通常具有對世效力，意味著其判決結果不僅對訴訟當事人有效，而且對所有第三人也具有普遍的約束力。例如，法院宣告某婚姻無效的判決，不僅使得當事人之間不再是夫妻關係，也意味著社會上任何人都必須承認該婚姻的無效狀態，不能再以合法夫妻對待他們。這與給付之訴或確認之訴的判決通常只對當事人及其繼承人有約束力（相對效力）有所不同。
形成之訴是否都有訴訟時效的限制？
並非所有的形成之訴都受訴訟時效的限制，這取決於所行使的形成權的性質。大多數形成權，尤其是在民法典中明確規定了行使期限的，如撤銷權（通常為一年），會受到除斥期間（而非訴訟時效）的限制。除斥期間是法律規定某種權利存續的期間，該期間屆滿，權利即消滅，不發生中斷、中止、延長等問題。而像離婚之訴這類涉及身份關係的形成之訴，通常沒有嚴格的訴訟時效限制，但法律可能會規定特定的前置條件或起訴間隔。
在司法實踐中，「形成之訴」的證明責任有什麼特殊之處嗎？
形成之訴的證明責任與一般訴訟並無本質區別，遵循「誰主張，誰舉證」的原則。原告需要就其主張形成、變更或消滅法律關係的請求基礎事實承擔舉證責任。例如，在離婚之訴中，原告需要證明夫妻感情確已破裂；在撤銷合同之訴中，原告需要證明存在欺詐、脅迫或重大誤解等可撤銷的事由。法院將根據雙方提供的證據，依法作出是否形成、變更或消滅特定法律關係的判斷。
