如何将文本文件转换为数组，操作它，并将更改放回文本文件？ PHP

Question

我正在尝试将我喜欢的歌曲列表从.txt文件转换为数组，允许表单使用array_splice添加/删除歌曲/歌曲，然后将数组发送回字符串以便发回到.txt文件。

我理解如何操作的过程是这样的：

1. 检查tunes.txt是否存在
2. 如果它在那里打开tunes.txt（如果不是则创建它）
3. 将tunes.txt保存为字符串
4. 将字符串分解为数组
5. 向阵列添加歌曲
6. 将数组内爆为字符串
7. 将字符串写入tunes.txt

我可以检查文本文件是否存在并保存到字符串中，然后将字符串分解为如下数组：

if (file_exists($file)) {
$document = file_get_contents($file);
$tunes = explode("\n",$document); }

现在棘手的部分是从表单中添加新歌。让我们假设我知道如何使用表单，我将跳到$ _POST部分：

$location = $_POST['location']; //This is the location of the list I would like to place the new song name
$name = $_POST['songName']; // This will be the song name I would like to add to the list

现在，我要在页面上显示我需要值的部分，但它并没有。我将使用array_splice方法：

$spliceSong = array_splice($tunes,$location,0,$name);
//array_splice(array_name, start, characters_to_delete, values_to_insert);
// I believe that this will start with the $tunes array, start with whatever the user put in, delete current song and overwrite it with the new value given by the user.
implode ($tunes);
file_put_contents($file,$spliceSong, FILE_APPEND);

最后一部分是将数组关闭到一个有希望由array_splice更改的字符串中。最后我使用file_put_contents()函数。如何更改文本文件并在所有这些后显示更改？