array_push()函数：将一个或多个元素添加到数组的末尾。

array_push()函数是PHP内置的一个数组操作函数，它用于向数组的末尾添加一个或多个元素。

语法：

array_push(array &$array, mixed $value1 [, mixed $value2 [, mixed $... ]]) : int

其中，第一个参数$array是要操作的数组，它必须是一个引用（使用&符号），表示将元素添加到该数组中。后面的参数$value1, $value2, ...是要添加到数组末尾的元素。

函数返回值是添加完元素后的数组的长度。

下面是一个使用array_push()函数的示例：

<?php
$fruits = array("apple", "banana", "orange");
array_push($fruits, "grape", "mango");

print_r($fruits);
?>

运行以上代码，输出结果如下：

Array
(
    [0] => apple
    [1] => banana
    [2] => orange
    [3] => grape
    [4] => mango
)

可以看到，"grape"和"mango"被成功添加到了数组$fruits的末尾。

array_push()函数的底层实现如下：

1. 获取传入参数的个数和值，可以使用func_num_args()和func_get_args()函数。

2. 遍历每个传入的值，使用array[]方式将其添加到数组的末尾。

3. 返回添加完元素后数组的长度。

需要注意的是，array_push()函数在添加元素时，并不按照索引顺序进行添加，而是总是将新元素放在数组的最后。这会导致新元素的键名不是数字的索引顺序，而是一个新的整数索引。

另外，与使用array_push()函数一样，我们也可以使用[]操作符来实现元素添加，例如$array[] = $value，这种方式更为简洁方便。

综上所述，array_push()函数是一个用于向数组末尾添加元素的PHP内置函数，可以方便地完成数组的扩展操作。