Index of substring in string?

See this very useful explainer:

I'll point out specifically this excerpt:

I'll echo what @jrose said above — very often, the use cases I've seen for random access into String s have been pretty much contrived. It's extremely rare to need to actually jump around inside of a String and very often, by the time you're doing that, you're either not really benefitting from the semantic correctness that String offers, or you really need a different data structure.