形式违约合同是指当法律对合同的形式有明确要求，但当事人未按规定的形式订立合同，导致合同无效。违法合同是指违反法律或者社会公序良俗的约定而导致合同无效，例如非法交易、违法比例分配等。
无效合同的种类包括：形式违约合同、瑕疵合同、违法合同和无约束力的合同。
形式违约合同是指当法律对合同的形式有明确要求，但当事人未按规定的形式订立合同，导致合同无效。
瑕疵合同是指合同在订立过程中存在某些缺陷，例如缺乏真实意思表示、明显不对等的约定等，导致合同部分无效或者整个合同无效。
违法合同是指违反法律或者社会公序良俗的约定而导致合同无效，例如非法交易、违法比例分配等。
无约束力的合同是指合同中当事人之间明确约定了某种条款，但这种条款在法律上是无效的。
无效合同的法律后果主要有以下几点：
1. 无效合同对当事人不具有约束力，双方不必再履行合同义务。
2. 对于已经履行的合同，当事人可以要求返还已经支付的款项或者返还相应的财物。
3. 当事人可以要求对方承担违约责任，如赔偿损失等。
4. 对于一些严重违法的合同，当事人可能面临法律追究的责任。
5. 无效合同不具备司法保护，一旦发生争议很难通过法律手段解决。