В представленном коде происходит следующее:
1)
template <typename T>
void swapRows(T **matrix, int rowsQuantity) {
Эта шаблонная функция первым аргументом принимает указатель на указатель на какой-то тип. Судя по всему, предполагается, что этот тип является элементарным. Например, int
, float
, double
.
Исходя из того, что matrix
- это указатель на указатель, ваша матрица представлена как массив, в котором хранятся указатели на массивы (строки), в которых хранятся сами элементы:

Где matrix
- это указатель, в котором хранится адрес массива ABC
;
2)
for (int i = 0; i < rowsQuantity - 1; i++) {
Происходит обход всей матрицы по строкам. Здесь сразу видны две проблемы:
- Нет контроля значения переменной
rowsQuantity
;
- Переменная типа
int
не вполне подходит для адресации элементов массива. Переменная типа size_t
подойдет гораздо лучше.
3)
if ( i % 2 == 0 ) {
Действия выполняются при посещении
каждой строки, чей индекс кратен двум (0, 2, 4, и пр.). И действия, соответственно, выполняются попарно над строками 0-1, 2-3, 4-5.Это не совсем рационально, потому что такой подход выполняет в два раза больше инкрементов переменной i
, в два раза больше делений с остатком и в два раза больше сравнений, чем реально необходимо.
Гораздо рациональнее было бы выполнять i += 2
, вообще отбросив деление с остатком и проверку. Но такой подход потребует выполнение проверки целочисленного переполнения переменной i
.
4)
T &temp = *matrix[i];
matrix[i] = matrix[i+1];
matrix[i+1] = &temp;
На первый взгляд, это довольно идиоматическая запись, необходимая для классического обмена местами двух значений с использованием промежуточной переменной:
temp = x;
x = y;
y = temp;
Но не совсем. Я не уверен до конца, что происходит в недрах компилятора, и что по этому поводу говорит Стандарт
.
matrix[i]
- получает значение указателя на строку матрицы (адрес массива со значениями строки). *
- разыменовывает данный адрес, получая значение (значения) всей строки. По всей видимости, значение строки помещается в ссылочную переменную temp
.
Я не специалист по C++
, но мне данный код кажется очень странным. По логике, ссылка является сущностью времени компиляции, иначе говоря - это просто всевдоним для чего-то. То есть, эти три странные строчки можно свести к двум:
x = y;
y = x;
В результате чего и в x
, и в y
будет находится изначальное значение y
. Но, по-видимому, компилятор в принципе понимает, что вы от него хотите. А может быть, это неопределенное поведение. Точно сказать не могу, потому что текущий стандарт C++
занимает почти 2000 страниц.
5)
matrix[i+1] = &temp;
Здесь происходит использование адреса данных, связанных со ссылкой temp
.
PS. Я бы рекомендовал как можно реже и меньше смешивать C++
с его C
подмножеством. Не потому, что C
плохо, а потому что такое смешивание имеет ряд существенных минусов.
Во-первых, низкоуровневая явность C
несовместима с высокоуровневой неявностью C++
. Это гарантированно будет приводить к трудным для понимания ошибкам даже во вполне тривиальном коде. Так же это будет вынуждать вас писать еще больше кода, чем при использовании одного только C
- вот такой парадокс.
Во-вторых, смешивание ссылок с указателями, шаблонов с макросами и исключений с кодами возврата приводит к неподдающимся анализу ситуациям, потому что названные элементы противоречивы в деталях, хотя поверхностно кажутся очень похожими.
T &temp = *matrix[i];
- совершенно не понятно. Это лишь запутывает код. Можно было просто написатьT *temp = matrix[i]; matrix[i] = matrix[i+1]; matrix[i+1] = temp;
. А у вас получился просто кусок кода с "четным количеством несуразностей", в результате чего они компенсируют друг друга.C++
, но неC
.