Aksjomaty programowania obiektowego

Wiele publikacji na temat programowania obiektowego zaczyna się od opisu poniższych pojęć, ale doszedłem do wniosku, że lepiej zrozumie się je znając przynajmniej podstawy podstaw programowania obiektowego.

interface Cache{
	/* pobiera wartość z cache */
	public function get($name);
	/* ustawia wartość cache */
	public function set($name, $value);
/* usuwa wartość z cache */
	public function remove($name);
/* czyści cache */
	public function clear();
/* sprawdza czy istnieje określone cache */
	public function has($name);
}

Mając taki interfejs można napisać konkretny zestaw klas, które będą go implementować w różny sposób, np. FileCache (cachowanie w plikach), ShmopCache (cachowanie w pamięci ram).

class FileCache implements Cache{
	//metody specyficzne dla tego rodzaju cache 
//np. get() szuka określonego pliku i zwraca jego zawartość w postaci ciągu znaków itp.
}

class ShmopCache implements Cache{
	//metody specyficzne dla tego rodzaju cache
}

Tak naprawdę nie jest ważne dla programisty, która z tych klas będzie w użytku, gdyż obydwie wykonują takie same zadanie, mimo iż mają całkowicie różne implementacje. Dzięki interfejsowi mamy pewność, że obydwie klasy mają określony zestaw metod publicznych. Właśnie na tym z grubsza polega polimorfizm, na wyższości interfejsu nad implementacją. Dzięki kontroli typów wprowadzonego w php5 polimorfizm staje się jeszcze łatwiejszy do zastosowania.

class Application{
	private $cache;
	//ciach
	public function setCache(Cache $cache){
		$this->cache = $cache;
	}
	public function getCache(){
		return $this->cache;
	}
	//ciach
}

W klasie Application mamy pewność, że jeśli zostanie wywołana metoda setCache, to do składowej $cache zostanie przypisany obiekt o poprawnym typie, który implementuje interfejs Cache. A więc obiekt ten posiada metody get, set, remove itp. Nie jest ważne, czy zostanie przekazany obiekt klasy FileCache, ShmopCache, czy jakikolwiek inny, ważne że programista ma pewność, że obiekt na którym operuje posiada odpowiedni zestaw metod publicznych, których obecność jest wymuszona poprzez interfejs Cache.