Функция сравнения красного черного дерева

Question

Я реализовал красное черное дерево в C. На карте C++ можно предоставить произвольное сравнение, которое выполняет только значение операции1 < value2. Эта операция возвращает true или false, но как дерево реализуется без операции сравнения? Я хочу, чтобы моя функция сравнения возвращала только 1 или 0 без какого-либо оператора. Я попытался прочитать его в stl, но код не читается, хотя у меня есть опыт работы на C++.

Полный код не требуется, поскольку это тот же код, что и всякая другая реализация дерева. В настоящее время существует следующая функция сравнения:

int cmp(void *key1, void *key2){ 
    if(*(int*)key1 < *(int*)key2){ 
    return 1; 
    }else if(*(int*)key1 > *(int*)key2){ 
    return -1; 
    }else{ 
    return 0; 
    } 
} 

Я хочу функции сравнения, как это:

int cmp(void *key1, void *key2){ 
    if(*(int*)key1 < *(int*)key2){ 
    return 1; 
    }else{ 
    return 0; 
    } 
} 

Я не понимаю, как поисковые работы с этой функцией сравнения, потому что нет никаких условий остановки, когда узел был найден.

Answer 1

Вы можете выразить равенство в условиях строгого неравенства:

(a == b) <==> !(a < b || b < a) 

Эквивалентность предполагает, что отношение сравнения строгое общее упорядочение. Это требуется для типов сравнения C++, а также того, что вы должны требовать от функции сравнения в реализации дерева.

Что касается поиска в двоичном дереве, ознакомьтесь с тем, как реализован первый cmp. Обратите внимание на то, как он узнает, когда возвращаться 0, используя только <. Ваша реализация может делать то же самое с использованием второго cmp.

Answer 2

Я считаю, что вы говорите об использовании компараторов. Если это так, this question's answer должен помочь вам.