get_resource_id

(PHP 8)

get_resource_id — 指定されたリソースの、数値の識別子を返す

get_resource_id(resource $resource): int

この関数は、リソースの数値の識別子を識別するための、型安全な方法を提供します。

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

There are no user contributed notes for this page.

Atelier ”慶”