pht\Vector
PHP マニュアル

pht\Vector::size

Gets the size of the vector

説明

public int pht\Vector::size ( void )

Returns the current size of the vector. This operation requires a pht\Vector's mutex lock to be held if it is being used by multiple threads.

パラメータ

この関数にはパラメータはありません。

戻り値

The size of the vector.

例

例1 Getting a vector's size

<?php

use pht\Vector;

$vector = new Vector();

$vector[] = 1;
$vector[] = 2;
$vector[] = 3;

var_dump($vector->size());

上の例の出力は以下となります。

int(3)