Comment puis-je insérer efficacement une ligne à une position spécifique dans un fichier texte en utilisant Python ?

Modifier efficacement des fichiers : insérer des lignes avec Python

Souvent, nous devons modifier des fichiers texte existants, par exemple en insérant de nouvelles lignes ou en corrigeant des erreurs . L'une de ces tâches consiste à insérer une ligne à un emplacement spécifique dans un fichier. Avec Python, cette opération peut être exécutée efficacement.

Énoncé du problème

Considérons un fichier texte contenant une liste de noms dans un ordre séquentiel, comme indiqué ci-dessous :

Alfred
Bill
Donald

Notre objectif est d'insérer un troisième nom, "Charlie", à la ligne 3 de ce fichier. Les lignes suivantes doivent automatiquement se décaler d'une ligne pour s'adapter à la nouvelle entrée.

Solution

En utilisant les capacités de gestion de fichiers de Python, nous pouvons insérer une ligne à un emplacement spécifié. L'extrait de code ci-dessous illustre cette technique :

<code class="python">with open("path_to_file", "r") as f:
    contents = f.readlines()

contents.insert(2, "Charlie\n")

with open("path_to_file", "w") as f:
    contents = "".join(contents)
    f.write(contents)</code>

Dans ce code :

• Le fichier est ouvert en mode lecture ('r').
• Le La méthode readlines() est utilisée pour lire l'intégralité du fichier dans une liste appelée contents.
• La méthode insert() insère "Charlie" dans la ligne 3 de la liste des contenus (index 2, puisque les lignes commencent à 0).
• La liste est ensuite reconvertie en chaîne à l'aide de "".join(...) et écrite dans le fichier en mode écriture ("w").
• Le fichier est rouvert dans mode écriture pour le tronquer et écrire le contenu modifié.

Conclusion

Cette approche permet une insertion de ligne efficace dans les fichiers texte, ce qui en fait une technique utile pour diverses tâches de manipulation de fichiers.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!