背景

根据我国婚姻法的规定，如果丈夫对妻子实施家庭暴力，妻子可以通过诉讼的方式向法院提起离婚诉讼。然而，随着《民法典》的生效，相关法律条款和司法解释将发生变化。

《民法典》的生效

《民法典》将于2021年1月1日生效，取代了原有的《婚姻法》。因此，在《民法典》生效之前，仍然适用《婚姻法》的相关规定。

离婚诉讼的程序

根据《中华人民共和国婚姻法》第三十二条的规定，如果一方要求离婚，可以通过以下两种方式进行：1. 调解：一方可以向有关部门请求调解，或直接向人民法院提起离婚诉讼。2. 诉讼：当离婚案件进入人民法院审理阶段时，法院应当进行调解。如果调解无效且夫妻感情确已破裂，法院应准予离婚。

调解无效的情形

根据《中华人民共和国婚姻法》的规定，如果出现以下情形之一，调解将被视为无效，法院将准予离婚：1. 重婚或有配偶者与他人同居；2. 实施家庭暴力或虐待、遗弃家庭成员；3. 有赌博、吸毒等恶习屡教不改；4. 夫妻感情不和分居满二年；5. 其他导致夫妻感情破裂的情形。

宣告失踪的情况

如果一方被宣告失踪，另一方可以提出离婚诉讼，并将被准予离婚。

总结

根据我国婚姻法的规定，如果丈夫对妻子实施家庭暴力，妻子可以通过诉讼的方式离婚。然而，在《民法典》生效之前，仍然适用《婚姻法》的相关规定。离婚诉讼的程序包括调解和诉讼，如果调解无效且夫妻感情确已破裂，法院将准予离婚。此外，根据《中华人民共和国婚姻法》的规定，重婚、家庭暴力、赌博等恶习以及夫妻感情不和分居满二年等情形也将成为调解无效的依据。另外，如果一方被宣告失踪，另一方可以提出离婚诉讼，并将被准予离婚。