Привет всем!

Может мне кто-нибудь объяснить по-простому что за зверь — equality preservation и какую роль он играет при определении концептов, желательно с примерами?

Например, есть концепт regular_invocable, который определен следующим образом:

template< class F, class... Args >
concept regular_invocable = std::invocable<F, Args...>;

Говорится, что reqular_invocable отличается от просто invocable как раз вот тем самым свойством equality preservation. Хотелось бы понимать, почему это важно и как это свойство проявляется при практическом использовании.

Привет всем!

Может мне кто-нибудь объяснить по-простому, что за зверь — equality preservation и какую роль он играет при определении концептов, желательно с примерами?

Например, есть концепт regular_invocable, который определен следующим образом:

template< class F, class... Args >
concept regular_invocable = std::invocable<F, Args...>;

Говорится, что reqular_invocable отличается от просто invocable как раз вот тем самым свойством equality preservation. Хотелось бы понимать, почему это важно и как это свойство проявляется при практическом использовании.