Ziffern fischen per RegEx

[Nico R.]

Dann einfach so:

echo "\t" . $k . ". Fund:\t" . preg_replace( '/[^0-9]/', '', $s ) . PHP_EOL;

So dann vermutlich, oder?

preg_replace( '/[^0-9]+/', '', $s )

Zwei einfache reguläre Ausdrücke sind nicht teurer als ein heftiger mir Rückwärtskram.

Ja, das kann ich mir gut vorstellen. Das ist an der Stelle eher sportlicher Ehrgeiz bzw. das Bemühen, RegEx richtig zu verstehen.

(?<=Projekt )(?<=\s)?[0-9]+(?=\s)?

Ich hab jetzt zumindest verstanden, dass der String "Projekt 12 3" nur "12" liefert, weil nach der 2 ja ein Leerzeichen kommt und damit [0-9] nicht erfüllt ist. Das riecht danach als würde das als RegEx viel zu kompliziert werden. Ich belass es dann wohl bei der Lösung mit str_replace() :-)

Trotzdem natürlich besten Dank

Nico