Edit Report a Bug

    get_resource_id

    (PHP 8)

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

    説明

    get_resource_id(resource $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

    参考

    add a note add a note

    User Contributed Notes

    There are no user contributed notes for this page.
    To Top