ジェネリック比較

C の標準ライブラリにある qsort や bsearch のようなジェネリック関数は、要素の型を知らずに要素を比較する方法を必要とします。その解決策が比較関数です。これは、ジェネリックアルゴリズムが 2 つの項目を比較する必要があるたびに呼び出す、あなたが記述する関数です。

比較関数の標準的なシグネチャは次のとおりです。

int compare(const void* a, const void* b);

2つのパラメーターが const void* なのは、汎用関数がソート対象の型を認識していないためです。戻り値には特定の規約があります。

比較関数内で、void*ポインターを実際の型にキャストし、値を比較します。整数を比較する方法は次のとおりです。

int compare_ints(const void* a, const void* b) {
    int val_a = *(const int*)a;
    int val_b = *(const int*)b;
    return val_a - val_b;
}

減算のテクニックは整数にうまく機能します。a が小さい場合、結果は負になります。等しい場合はゼロ、大きい場合は正になります。この関数を qsort に渡して、整数配列を昇順に並べ替えられるようになりました。