변수처리 get_resource_id

(PHP 8)

get_resource_id — 주어진 리소스에 대한 정수 식별자를 반환합니다.


설명

get_resource_id(resource $resource): int

이 함수는 리소스에 대한 정수 식별자를 생성하는 형식이 안전한 방법을 제공합니다.


매개변수

resource
평가된 리소스 핸들입니다.

반환 값

지정된 resource의 int 식별자입니다.

이 함수는 기본적으로 리소스 ID를 더 쉽게 검색할 수 있도록 하는 resource의 int 캐스트입니다.


Examples

예제 #1 get_resource_id()는 int 캐스트와 동일한 결과를 생성합니다.

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

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

echo get_resource_id($handle);

?>
                  
                

위의 예는 다음과 유사한 결과를 출력합니다.

698
698
                

기타