В примере с матрицами можно было бы заюзать класс матрицы, вместо int[,].
Объекты этого класса могли бы проверять сами себя и бросаться исключениями.
Конечно же, всё зависит от задачи.

Ага, и этот код очень легко читать и понимать.