get_resource_id

(PHP 8)

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

get_resource_id(资源 $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

此页面没有用户贡献的注释。