Indexwert von Array-Element ermitteln?

[robertroth]

Liebe Mitdenker, liebe Wissende, liebe Neugierige,

In einem Formular soll per <select> einer von 97 verschiedenen String-Werten (konkret: Tonbezeichnungen über acht Oktaven hinweg, in einem vorher definierten Array gespeichert) ausgewählt werden. Die Datenbank erwartet aber Integer-Werte (von 0 bis 96). Da ich aber keine riesenlange switch-Struktur mit 97 Verzweigungen programmieren will, hätte ich gerne gewußt, ob es in PHP möglich ist, ausgehend vom Inhalt eines Arrayelements dessen Indexwert zu ermitteln, etwa so (das Array heißt $keynames_de):

$i = index($keynames_de, ",C")
// $i = 12;

Kennt PHP eine solche Funktion?

Guckst Du unter array_keys()

Wenn der Wert mehrmals im Array sein kann.

Sonst guckst Du noch unter

array_flip().

Das kann dir helfen, wenn es alle Werte nur einmal im Array gibt.

Spirituelle Grüße
Euer Robert
[e-mail]