Привет всем!
Может мне кто-нибудь объяснить по-простому, что за зверь —
equality preservation и какую роль он играет при определении концептов, желательно с примерами?
Например, есть концепт
regular_invocable, который определен следующим образом:
template< class F, class... Args >
concept regular_invocable = std::invocable<F, Args...>;
Говорится, что reqular_invocable отличается от просто invocable как раз вот тем самым свойством equality preservation. Хотелось бы понимать, почему это важно и как это свойство проявляется при практическом использовании.