RegEx gegen Plenken, möglicherweise kritisch?

[Sven Rautenberg]

Moin!

Hallo,

ich möcht eine RegEx gegen Plenken zur Diskussion stellen. Ich habe sie getestet und sie funktionierte wie gewünscht, aber vielleicht übersehe ich unerwünschte Nebeneffekte.

Entfernt werden sollen Leerzeichen vor "," "?" "!" und "." aber nicht vor "..."! (Doppelte Leerzeichen wurden schon vorher entfernt.)

$text = preg_replace( '/ (?)| (!)|( .{3})| (.{1})| (,)/', '$1$2$3$4$5', $text);

Dein Vorhaben kollidiert selbstverständlich grundsätzlich mit Programmiersprachen, bei denen die Zeichensetzung durchaus zur Übersichtlichkeit mehr Leerzeichen enthält, als bei menschlicher Sprache. Wobei die Variante "Vor Satzzeichen kein Leerzeichen" auch nur für eine Teilmenge von menschlichen Sprachen gilt - die Franzosen beispielsweise setzen dort absichtlich Leerzeichen.

- Sven Rautenberg