PHP运行时怎么载入一个扩展

在PHP运行时，可以使用extension_loaded()函数来判断一个扩展是否已经加载。如果扩展没有加载，可以通过dl()函数来动态载入扩展。

下面是一个示例代码，演示如何载入一个名为"example"的扩展：

if (!extension_loaded('example')) {
    if (strtoupper(substr(PHP_OS, 0, 3)) === 'WIN') {
        dl('php_example.dll'); // Windows平台下的扩展文件名为php_example.dll
    } else {
        dl('example.so'); // Unix/Linux平台下的扩展文件名为example.so
    }
}

请注意，dl()函数在PHP 5.3.0及以上版本中被废弃，且在部分操作系统和PHP配置中可能无法使用。因此，推荐的做法是将扩展在PHP配置文件中进行预加载或者通过操作系统的扩展管理工具进行安装。