(PHP 8)
get_resource_id — 指定されたリソースの、数値の識別子を返す
$resource): intこの関数は、リソースの数値の識別子を識別するための、 型安全な方法を提供します。
resource評価されるリソースハンドル
resource の識別子を数値で返します。
この関数は、本質的には resource
をint にキャストしたものですが、
リソースID をより簡単に取得できるようにするものです。
例1 get_resource_id() が、リソースを数値にキャストした場合と同じ結果になる例
<?php
$handle = fopen("php://stdout", "w");
echo (int) $handle . "\n";
echo get_resource_id($handle);
?>
上の例の出力は、 たとえば以下のようになります。
698 698