Yes, but checked indexing requires only one comparison with the upper limit when your indices are 0-based, instead of 2 comparisons, when the starting index is different from 0.
The sign of the index can be determined without a comparison, usually simultaneously with one of the previous operations.
The sign of the index can be determined without a comparison, usually simultaneously with one of the previous operations.