Immutable object

Vzor se hodí pro případy, kdy nechceme, aby se nám mohla změnit hodnota objektu, se kterým pracujeme. Změnit hodnotu mutable objektů (tj. opak immutable objektů) nám při běhu programu může např. jiné vlákno.

Z pohledu matematiky se spíše než o proměnných mluví o tzv. neznámých: Možná již mají nějakou hodnotu, možná ji teprve získají, až ji určíme či nalezneme výpočtem, pak už se však nebude měnit.

Prakticky tedy jde o zápis do RAM, ne o fixní ROM, ani o konstantu, jakmile se však tato hodnota jednou zapíše, přepsání již není možné.

Takovému přístupu odpovídají "proměnné" v XSLT: Pro každý běh sice mají jinou hodnotu, ale během jednoho běhu je lze nastavit jen jednou. Jakmile se jejich hodnota změní z null na nějakou konkrétní, typicky předáním hodnoty již při zavolání šablony, již tuto hodnotu nelze měnit. Sporné tedy je i založení nějaké nové (například pomocné) "proměnné" někde během zpracování, později, než při inicializaci pro spuštění.

Implementace vzoru se skládá z vytvoření jednoho (či více) privátních atributů, ve kterých uložíme hodnotu. Dále musíme zajistit nastavení těchto atributů. Nejčastěji se hodnota nastaví již při tvorbě objektu – tedy v konstruktoru.

Další možností je mít setter, ve kterém hodnotu nastavíme. Ovšem v tomto případě musíme zajistit, že pokud se o nastavení hodnoty pokusí někdo další (tedy změnit hodnotu objektu), tak se operace nepovede (například vyvoláme výjimku).

class Point
{
	private $x;
	
	private $y;
	
	public function __construct($x, $y)
	{
		$this->x = $x;
		$this->y = $y;
	}
	
	public function getX()
	{
		return $this->x;
	}
	
	public function getY()
	{
		return $this->y;
	}
	
	/**
	 * Posune bod o dany vektor
	 * 
	 * Predpokladame rozhrani tridy vektor:
	 * $vector->getX();
	 * $vector->getY();
	 */
	public function addVector(Vector $vector)
	{
		$x = $this->x + $vector->getX();
		$y = $this->y + $vector->getY();
		
		return new Point($x, $y);
	}
	
	public function __toString()
	{
		return "[" . $this->x . ", " . $this->y . "]";
	}
}

$point1 = new Point(0, 0);
$point2 = $point1->addVector(new Vector(1, 2));

// $point1 a $point2 jsou ruzne objekty
$dumpPoint1 = (string)$point1; // [0, 0]
$dumpPoint2 = (string)$point2; // [1, 2]