readline_add_history()
将一行文本添加到Readline历史记录中，以便后续使用
函数名称：readline_add_history()
函数描述：将一行文本添加到Readline历史记录中，以便后续使用。
适用版本：PHP 4 >= 4.0.0, PHP 5, PHP 7
语法：bool readline_add_history ( string $line )
参数：
line：要添加到历史记录的文本行。必须是字符串类型。
返回值：成功时返回true，失败时返回false。
函数示例：
<?php
// 添加文本行到Readline历史记录
readline_add_history("Hello, World!");
// 添加多行文本到Readline历史记录
readline_add_history("This is line 1");
readline_add_history("This is line 2");
readline_add_history("This is line 3");
// 使用foreach循环遍历并打印Readline历史记录
foreach (readline_list_history() as $index => $line) {
echo "History $index: $line\n";
}
?>
输出结果：
History 0: Hello, World!
History 1: This is line 1
History 2: This is line 2
History 3: This is line 3
注意事项：
在调用readline_add_history()函数之前，必须先调用readline()函数以启用Readline支持。
要打印Readline历史记录，可以使用readline_list_history()函数获取历史记录数组，然后使用foreach循环遍历并打印每一行历史记录。