Given that there are a number of different algorithms that can be used (everything in [func.search], for example), I'd much rather leave that choice up to the developer (as it is now) rather than bake in yet another algorithmic member function into the interface of string.

--