真正的形成之诉是指具有广泛效力的形成之诉，其判决的形成力不仅及于当事人双方，而且还及于其他第三人，即具有对世效力。这种形成之诉集中于有关身份关系的人事诉讼（离婚之诉、撤销收养之诉等）、社团关系的公司诉讼（公司股东会决议撤销之诉等）等。这种诉讼中，关涉人类社会生活基本的身份关系，涉及众多人的利害关系，所以在大陆法系被作为涉及公益之诉。
有学者认为，可将形成之诉分为实体法上的形成之诉和程序法上的形成之诉。前者是指变更实体法律关系的形成之诉，如离婚之诉、撤销公司决议之诉、认领子女之诉等。后者是指变更程序法上效果的形成之诉，如撤销法院调解之诉、再审之诉（撤销原判决等）、撤销除权判决之诉、执行异议之诉等。但是，笔者认为，程序法上的形成之诉并非独立之诉。
形成之诉与给付之诉、确认之诉相比，具有两大特点：（1）法定性。形成之诉只有在实体法特别明文规定的情形，才可提起。由于形成之诉涉及公益，形成判决具有对世的广泛效力，所以通过个人以自己意思表示直接予以变更则是不妥当的，而应由法院以形成判决做出统一变更。立法上有关形成之诉的规定，并不普遍，法律仅对于特定情形明文规定可以提起形成之诉（即形成之诉明定原则），当事人不得提起法律没有明文规定的形成之诉来请求法院审判。形成之诉的法定性，还表现在法律往往对于形成之诉的适格当事人也作出明确规定，例如离婚之诉的适格当事人是夫妻双方，所以岳母不得为原告而以女婿为被告，因其女儿被虐待而提起离婚之诉。（2）现实性。即只能对现存的法律关系提起形成之诉。这是因为当事人对于现存的民事实体法律关系并无争议，争议的却是对于现存的民事实体法律关系应否变更，原告提起形成之诉的目的是，利用法院判决将现在的法律关系予以变更。
同时具备法定性和现实性条件的，就具有提起形成之诉的诉的利益。但是，形成之诉进行中，由于情事发生了变化，以致于没有继续进行诉讼的必要，此时诉的利益消失了。这里的“没有必要”是指（1）即使取得形成判决，也没有实际意义。例如，离婚案件一方当事人死亡，当事人之间的婚姻关系即自然消失，诉讼继续进行已无实际意义，诉讼应予终结。（2）作出形成判决之前，法律关系已经发生了与当事人形成请求相同的变化，例如，离婚诉讼进行中，在诉讼外已经离了婚，法院应以无诉的利益为理由驳回诉讼。
在形成之诉中，原告胜诉的，即法院承认原告变更已经存在的民事实体法律关系的请求，此判决为形成判决。形成判决确定时，已经存在的民事实体法律关系即发生变更。但是，原告败诉的，即法院否认原告变更的请求，实际上法院判决维持民事实体法律关系的现状，所以此判决是确认判决。
四、诉的合并与变更
（一）诉的合并
大陆法系民事诉讼理论往往把诉的合并分为：诉的主观合并和诉的客观合并两种基本种类和形态。事实上，还存在着基于这两种基本种类之上的诉的主客观合并情形，比如普通共同诉讼等。
“诉的主观合并”中的“主观”即“主体”之意，与“既判力的主观范围”的“主观”的含义相同，日本学者三月章认为，这是一种不很妥当的译法。 诉的主观合并是从当事人的角度来看，诉的合并形态。
“诉的客观合并”中的“客观”是指客体、对象或事物的意思，例如既判力的客观范围是指既判力及于怎样和哪些客体。诉的客观合并是指从作为审判对象的诉讼标的之角度来看，诉的合并形态。
诉的合并理由是，在一个诉讼程序中同时解决多数人之间的争议或者多个争议，从而尽可能地维持原有程序中诉讼资料的利用，借以满足诉讼经济的基本要求，同时增强诉讼制度解决纷争功能和减免矛盾判决。
1．诉的主观合并
诉的主观合并，又称诉的主体合并，即诉讼当事人的合并，是指在同一案件中原告或者被告为多数的情形。诉的主观合并，可能发生于提起诉讼之时，也可能发生于诉讼进行中。诉的主观合并的典型形态是必要共同诉讼及以其为基础的群体诉讼。大陆法系的著作多将诉的主观合并放在诉讼主体（或当事人）部分予以阐释，而在诉讼客体（复数的诉讼对象）部分阐释诉的客观合并。