php - PHP リソースはここですぐに解放されますか、それとも sqlsrv_free_stmt を使用する必要がありますか?

Question

sqlsrv_queryから行が返されない場合、またはリソースのすべての行が繰り返された後、PHP リソースはすぐに解放されますか?

たとえば、次のsqlsrv_free_stmt($theRS);ステートメントは実際に何かを実行していますか、それともリソースは既に自動的に解放されていますか?

$theRS = sqlsrv_query(...xxx...)

if (!sqlsrv_has_rows($theRS)) {
    echo('No match');
}
else {
    while($theARR = sqlsrv_fetch_array($theRS)) {
        //code here
    }
}

sqlsrv_free_stmt($theRS);   //Does this do anything or is the resource already freed at this point?