> и так же скромно пропустив тему "почему исключения лучше явной
> обработки ошибок (и паники в случае забивания на обработку)".

Исключения не лучше, они другие. Они нужны даже и в том случае, когда имеется явная обработка ошибок, даже и такая общепризнанная, как в расте.

И примером как раз является случай, когда надо сложить (а ещё возможно и умножить) много чисел. А в случае переполнения кинуть эксепшен и перескочить на другую ветвь кода, где вычисления пойдут, допустим, с двойной точностью. Затем с четверной. Затем, допустим, с восьмерной, а затем и с неограниченной.

4 исключения на 1 000 000 000 чисел -- это же не такой большой оверхед, правда?  

И ещё один важный момент. Не знаю как щас у х86, но исключение по переполнению целых чисел можно кидать асинхронно на уровне процессора, а не тупо синхронно проверять флаг после каждого сложения. Итаниум кажется так делает, подозреваю что и х86.

Кстати... что по-твоему компилятору легче эффективно векторизовать в 1024-битные (ладно, пока что 512-битные) регистры: код с checked_add или экспешенами?