在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配置文件中进行预加载或者通过操作系统的扩展管理工具进行安装。
