Eine fertige Funktion scheint es da aber nicht zu geben, oder (String.split habe ich gesehen, gibt aber ein Array der Teilstrings zurück, ich wäre aber erst mal nur an den Positionen des gesuchten Chars interessiert)?
Nein, sowas gibt es bislang noch nicht.
Schade, dann muss ich mir mal überlegen, wo man das bei einer der hier gezeigten Lösungen am besten noch einbauen könnte. Müsste ja dann wohl eine Art dynamisches Array sein, das die einzelnen Positionen aufnimmt.