get_resource_id
(PHP 8)
get_resource_id — 指定されたリソースの、数値の識別子を返す
説明
get_resource_id
( resource $res
) : int
この関数は、リソースの数値の識別子を識別するための、 型安全な方法を提供します。
パラメータ
res- 評価されるリソースハンドル
返り値
res の識別子を数値で返します。
この関数は、本質的には res
をint にキャストしたものですが、
リソースID をより簡単に取得できるようにするものです。
例
例1 get_resource_id() の例
<?php$handle = fopen('./storage/logs/lumen.log', 'rt');echo (int) $handle . "\n\n";echo get_resource_id($handle);?>
上の例の出力は以下となります。
698 698
