For example what is the index of pixel X,Y in an image buffer? X + Ystride right? Nope! It's X + (Y-1)stride.
What's the range of the Ith block of N elements? [in, in + n)? Nope! It's [(i-1)n+1, in].
I have to deal with that nonsense in Matlab all the time. Nightmare.
Off by one errors in general have nothing to do with being 1 or 0-based indexed.
In French off-by-one error is called “the post and fence problem” because there's always one more post than piece of fence (unless your fence makes a loop).
It arises because it's easy to confuse the number of intervals between elements and the number of elements (which is also: do I need to include the bounds or not). 1-based indexing isn't going to help at all in the general case (it will help for the most basic error which is getting the last element of an array with `a[a.length]`, but that's it)
People can learn to deal with adding 1, but it’s still a cognitive encumbrance that loads us down and makes life harder.
Not that I’m advocating for one-based indexing. At this point consistency is more important than whatever the easier solution is.