template <typename T, typename F>
bool foo (const T & x, const F & a, const F & b)
{
    return a (x) == b (x);
}

template <typename T>
bool bar (const T & x, const T & a, const T & b)
{
    return foo (
        x,
        [&] (const T & arg) {return a == arg;},
        [&] (const T & arg) {return b == arg;});
}

int main ()
{
    bar (0, 0, 0);
}

Почему дедукция ломается? Выдаёт вот такую ошибку

no matching function for call to ‘foo(const int&, bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>, bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>)’

deduced conflicting types for parameter ‘const F’ (‘bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>’ and ‘bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>’)

Помогает добавить третий параметр в foo, например вот так template <typename T, typename F1, typename F2>

Но должно ведь работать и с одним, разве нет???

А можно ли в Compile-time проверить, чтобы сигнатуры совпадали?

сигнатуру которую ты знаешь - да. Сигнатуры которые ты не знаешь - нет

А можно ли в Compile-time проверить, чтобы сигнатуры совпадали?

если лямбды не шаблонные (т.е. без auto в аргументах), то можно преобразовать в std::function и сравнить их типы

если лямбды не шаблонные (т.е. без auto в аргументах), то можно преобразовать в std::function и сравнить их типы

да достаточно просто разложить по частичной специализации &operator()

ну а так быстрее std::is_same_v<decltype(std::function{f}), decltype(std::function{g})>