get_resource_id

(PHP 8)

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

get_resource_id(resource $resource): int

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

给定 resource 的 int 标识符。

此函数本质上是对 resource 的 int 转换，使得更容易获取资源的标识符。

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

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

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

echo get_resource_id($handle);

?>

以上示例的输出类似于：

698
698

此页面尚无用户贡献的备注。