php $_SERVER["REQUEST_URI"]获取值的通用解决方法

<?php
// 说明：获取 _server['request_uri'] 值的通用解决方案
function request_uri()
{
if (isset($_server['request_uri']))
{
$uri = $_server['request_uri'];
}
else
{
if (isset($_server['argv']))
{
$uri = $_server['php_self'] .'?'. $_server['argv'][0];
}
else
{
$uri = $_server['php_self'] .'?'. $_server['query_string'];
}
}
return $uri;
}
?>