Doppelte Einträge im Array löschen

Schnell und einfach können alle doppelten Werte eines Arrays gelöscht werden. Dazu gibt es den Befehl: $neues_array = array_unique ( $altes_array );

PHP-Quellcode: Doppelte Einträge im Array löschen
<?php
$betriebssystem[] = "Windows";
$betriebssystem[] = "Linux";
$betriebssystem[] = "Solaris";
$betriebssystem[] = "Linux";
$betriebssystem[] = "Solaris";
 
$bs = array_unique ( $betriebssystem );
 
echo "<pre>";
print_r ( $bs );
?>

Anmerkung: Einen kleinen Fallstrick gibt es - es werden keine Einträge gelöscht, die einen unterschiedlichen Typ haben:

Beispiel:
PHP-Quellcode: Fallstrick bei array_unique
<?php
$eintrag[] = "9";
$eintrag[] = 9;
?>

Die erste 9 wird als String angesehen und die zweite als Integer - daher sind beide Einträge trotz array_unique noch erhalten.