Возможно ли перегрузить с помощью ограничений?

Question

[Dyikot]

У меня есть следующий пример который хотелось бы перегрузить:

template<typename T>
constexpr auto FirstOrDefault(const T& defaultValue)
{
	return _FirstOrDefaultAdaptor2<T>(defaultValue);
}

template<typename TPredicate>
constexpr auto FirstOrDefault(TPredicate predicate)
{
	return _FisrtOrDefaultAdaptor3<TPredicate>(std::move(predicate));
}

Answer 1

[Mercury13]

Через концепции работает отлично. Через enable_if не вижу способа. Через if constexpr вот так.

#include <iostream>
#include <concepts>

class A {};
class AA : public A {
public:
    static constexpr const char* AData = "AA";
};

class B {};
class BB : public B {
public:
    static constexpr const char* BData = "BB";
};

// Через концепции
template <class T>
concept ASon = std::derived_from<T, A>;

template <class T>
concept BSon = std::derived_from<T, B>;

template <ASon T>
void foo(const T&) {
    std::cout << T::AData << std::endl;
}

template <BSon T>
void foo(const T&) {
    std::cout << T::BData << std::endl;
}

template <class T> constexpr bool FALSE_V = false;

// Через if consexpr
template <class T>
void bar(const T&) {
    if constexpr (std::is_base_of_v<A, T>) {
        std::cout << T::AData << std::endl;
    } else if constexpr (std::is_base_of_v<B, T>) {
        std::cout << T::BData << std::endl;
    } else {
        static_assert(FALSE_V<T>);
    }
}

int main()
{
    foo(AA());
    foo(BB());
    bar(AA());
    bar(BB());
    return 0;
}

Comments

[Dyikot]

не вижу как это мне помогает

[Mercury13]

Ну, вместо концепций ASon и BSon придётся написать реальные требования к типам.

[Mercury13]

template<SomeConcept1 T>
constexpr auto FirstOrDefault(const T& defaultValue)
{
	return _FirstOrDefaultAdaptor2<T>(defaultValue);
}

template<SomeConcept2 TPredicate>
constexpr auto FirstOrDefault(TPredicate predicate)
{
	return _FisrtOrDefaultAdaptor3<TPredicate>(std::move(predicate));
}

[Mercury13]

А теперь самое интересное. Концепции могут вкладываться (но не частично пересекаться!), и система из этих концепций сможет выбрать самую жёсткую.

template <class T>  // продолжает работать! — это «на всё остальное»
void foo(const T&) {
    std::cout << T::BData << std::endl;
}

[Mercury13]

…то есть SomeConcept1 может и не быть.

[Dyikot]

Mercury13, в том и вопрос, просто я не вижу как не зная тип для предитаката проверить на std::invocable. Единственный путь который я вижу это назвать иначе.

[Mercury13]

template <class T>
concept XXX = std::invocable<T, int>;

template <XXX T>...

[Mercury13]

Это концепции, Си++20.

[Dyikot]

Mercury13, еще раз: я не знаю тип аргумента

[Mercury13]

То есть просто возможен ли вызов с двумя аргументами?

[Dyikot]

Mercury13, нет. Аргмент один.

[Mercury13]

Итак, что должно быть у первой перегрузки и что — у второй?

[Dyikot]

Mercury13,
1) первый элемент либо defaultValue
2) предикат который принимает элемент range

[Mercury13]

Dyikot, Это функции какого-то класса?

[Dyikot]

Mercury13, нет. Примерное применение:

constexpr auto item = std::views::iota(0, 0)
	| Ranges::FirstOrDefault(1);

[Евгений Шатунов]

Dyikot, а если элементами твоей коллекции являются объекты std::function, как ты планируешь выбирать перегрузку Ranges::FirstOrDefault?
Твой предикат - это функтор. Твои элементы коллекции - это функторы. Как быть?

[Dyikot]

Евгений Шатунов, Остается только переименовать.

[Dyikot]

Евгений Шатунов, Да и в любом случае не вижу пути как выбирать если элементы range не функторы.

[Евгений Шатунов]

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

По поводу переименования. Там буквально плачет и просится вариант: Ranges::FirstOrDefault::ByValue и Ranges::FirstOrDefault::ByCriteria.