Доводить до минимума приведение типов (minimize casting) в C++

> В C/C++ есть замечательное условное выражение...
> 
> int cmp(const void* a,const void* b)
> {
>     int i = *(int*)a, j = *(int*)b;
>     return i == j ? 0 : i > j ? 1 : -1;
> }

а еще в C/C++ есть замечательная операция вычитания:


int cmp(const void* a,const void* b)
{
    return *(int*)a - *(int*)b;
}

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

--

SVK

может современные процы очень умны, но в PDP-11 сравнение двух целых делается командой CMP (с последующим бранчем). Так вот инструкция CMP это то же самое что SUB, только результат вычитания никуда не пишется (то есть эффект только на флаги). Поэтому если будет переполнение в SUB, то оно будет и в CMP.

После команды CMP делается ветвление, в разных ветках которого по флагам выставляется "0" дли "1" в качестве результата. А в случае вычитания в приведенном примере возвращается напрямую его результат. Насколько я помню, есть (и в 86-м и в PDP-11) команды перехода, учитывающие флаг переполнения. То есть, получается, что при использовании сравнения переполнение будет учтено, в отличие от. Впрочем, на практике не проверял, поэтому могу и ошибиться.

--

SVK