get_resource_id

(PHP 8)

get_resource_id — 返回给定资源的整数标识符

get_resource_id(resource $resource): int

此函数提供了一种类型安全的方式来生成资源的整数标识符。

给定 resource 的 int 标识符。

此函数本质上是对 resource 的 int 转换，使其更容易检索资源 ID。

示例 #1 get_resource_id() 产生与 int 转换相同的结果

<?php
$handle = fopen("php://stdout", "w");

echo (int) $handle . "\n";

echo get_resource_id($handle);

?>

上面的例子将输出类似于以下内容

698
698

此页面没有用户贡献的笔记。