如何在 PHP 中向数组的任意位置插入新元素？

大家好！我是 PHP 新手，在处理数组时遇到了问题。我需要向数组的任意位置插入一个新元素，而不仅仅是添加到开头或结尾。 下面是一个例子：我有一个用户数组： ```php $users = ['安娜', '鲍里斯', '维克多']; ``` 我想在 '鲍里斯' 之后插入新名字 '格列布'，得到： ```php // ['安娜', '鲍里斯', '格列布', '维克多'] ``` 我试过使用 `array_push()` —— 它只能添加到末尾。`array_unshift()` —— 只能添加到开头。而 PHP 中没有类似 `array_insert()` 的函数。 我听说过 `array_splice()`，但不太明白如何使用它。也许有其他方法？比如将数组拆分成两部分，插入元素，然后再拼接？但这看起来太繁琐了。 请告诉我如何正确解决这个问题。希望能看到带有解释的代码示例，这样我可以在自己的项目中使用。提前谢谢！ <<>>

使用 arr