Answering my own question, probably most (all?) faster algorithms seem to need memory proportional to the size of the alphabet, which is kind of huge for Unicode, so that could be the reason.<br><br><div class="gmail_quote">
2009/4/28 Jim Andreou <span dir="ltr"><<a href="mailto:jim.andreou@gmail.com">jim.andreou@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi,<div><br></div><div>I wonder why String#indexOf(String) is implemented as it is. Apparently, when a character mismatch with the searched pattern is found, the pattern is only shifted by one character, but there are faster algorithms, for example see <a href="http://www.cs.utexas.edu/users/moore/best-ideas/string-searching/index.html" target="_blank">http://www.cs.utexas.edu/users/moore/best-ideas/string-searching/index.html</a>. Was anything smarter tried out but had significant disadvantages for general use? What advantages does the current implementation have? It looks very pessimistic.</div>

<div><br></div><div>Regards,</div><div>Dimitris Andreou</div>
</blockquote></div><br>