[php] WG: Linefeed mit br ersetzen

[Thomas Langfeld]

> > Die Lösung   $new = preg_replace('/\r\n|\r|\n/', '<br>', $string);
> > von Thomas Langfeld ist IMHO das optimum.
>
> Eine Lösung ist es, aber mich würde interessieren inwiefern diese
> Lösung das Optimum darstellt.
>
> Ich behaupte, dass folgendes bezüglich Performance ca. ein Fünftel
> der Zeit benötigt:
>
>   $txt = str_replace ('\r\n', '\n', $txt);
>   $txt = str_replace ('\r', '\n', $txt);
>
>   $txt = str_replace ('\n', '<br>', $txt);

Hmm, Behauptungen interessieren aber solange nicht, bis sie bewiesen, oder
wenigstens durch Tests untermauert wurden.
Also: Testen und dann Ergebnisse her.

BTW:
Ich wiederum wage mal zu behaupten, dass ein etwaiger Performace-Unterschied
erst ab einer bestimmen Textlänge (einer SEHR großen Textmenge) überhaupt
erst spürbar wird.

Und wenn ich die Wahl habe zwischen einem 3-Zeiler, der vielleicht im
Hinteren-Nachkomma-Tausendstel-Mili-Sekunden-Bereich schneller ist und einem
Einzeiler, um ein Problem zu lösen, brauche ich wirklich nicht lange zu
überlegen ...


Gruß
Thomas