PHP マニュアル: Resizes a vector

説明

public void pht\Vector::resize ( int $size [, mixed $value = 0 ] )

Resizes the vector. If it is enlarged, then the value parameter will be used to fill in the new slots. If it is made smaller, then the end values will be truncated.

パラメータ

size: The new size of the vector.
value: The value to initialise the empty vector slots to (only used if the vector is enlarged).

戻り値

No return value.

例

例1 Resizing a vector


<?php

use pht\Vector;

$vector = new Vector(1);
var_dump($vector);
$vector->resize(2, 1);
var_dump($vector);
$vector->resize(1, 2); // unused second arg
var_dump($vector);

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

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