PHP 8.0.12 Released!

pht\Vector::push

(PECL pht >= 0.0.1)

pht\Vector::pushPushes a value to the vector

説明

public pht\Vector::push(mixed $value): void

This method pushes a value onto the end of a vector (in constant time). The vector will automatically be resized if it is not large enough.

Since the pht\Vector class supports array access, new values can also be pushed onto the vector using the empty subset notation ([]).

パラメータ

value

The value to be pushed onto the end of the vector. This value will be serialised (since it may be passed around between threads).

返り値

No return value.

例1 Pushing values to a vector

<?php

use pht\Vector;

$vector = new Vector();

$vector->push(1);
$vector[] = 2;

var_dump($vector);

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

object(pht\Vector)#1 (2) {
  [0]=>
  int(1)
  [1]=>
  int(2)
}

add a note add a note

User Contributed Notes

There are no user contributed notes for this page.
To Top