Здравствуйте, Евгений Музыченко, Вы писали:

ЕМ>Попадет в выражение вида a [ i ].

не попадет. Каждый раз перед обращением к выбранному должно проверяться — а есть ли выбранный. Это же естественно

ЕМ>А что значит "красивее логически"?

Потому что индекс может быть равен 65525. Ну чисто так, по логике. Может же? Может. Только вот это будет битый индекс.
А "-1" он не может быть равен никак. И это не зависит от размерности индекса, в смысле short, int или long. А вот если ты забьешь невалидное значение именно как max_unsigned_short, например, то при смене размерности массива до long — ты огребешь проблем. А при "-1"- нет