在PHP开发过程中,源码优化是一个非常重要的环节,它可以显著提升代码的执行效率,减少资源消耗。以下是一个实例,通过对比优化前后的PHP源码,展示如何进行优化。

优化前

```php

function get_user_info($id) {

$result = mysql_query("