original::Compare Concept Reference

Combines Comparable and CallbackOf for comparison callbacks. More...

#include <types.h>

Concept definition

template<typename Callback, typename TYPE>
concept original::Compare = 
    Comparable<TYPE> && CallbackOf<Callback, bool, const TYPE&, const TYPE&>

Detailed Description

Combines Comparable and CallbackOf for comparison callbacks.

Template Parameters

Callback	Comparison function type
TYPE	Type being compared

Requires a callback that takes two TYPE references and returns bool, while TYPE itself must satisfy Comparable.

// Validates custom comparator
auto int_comparator = [](const int& a, const int& b) { return a < b; };
static_assert(Compare<decltype(int_comparator), int>);  // Passes
 
// Invalid example (wrong return type)
auto bad_comp = [](const int& a, const int& b) { return a - b; };
static_assert(!Compare<decltype(bad_comp), int>);  // Fails: returns int instead of bool