Юрий Грибов — Как правильно писать компараторы

Ближайшая конференция: С Russia 2024, 24 мая (online), 2–3 июня (offline, Москва) Подробности и билеты: — — Один из малоизвестных примеров undefined behavior в C/C это нарушение требований к функциям сравнения (компараторам). Компараторы широко используются в алгоритмах (std::sort, std::binary_search, и т.д.) и контейнерах (std::set, std::map) и встречаются как в C , так и в C (qsort, bsearch). Компараторы должны удовлетворять некоторым аксиомам, которые в математике описываются понятием строгого слабого порядка (strict weak ordering). Эти аксиомы не интуитивны и в них легко ошибиться, о чем свидетельствует большое количество соответствующих багов в open source проектах. Современные тулчейны предоставляют средства для отслеживания таких ошибок. О них рассказано в докладе Юрия. Скачать презентацию с сайта С Russia —