C++ and other lectures: “Всем привет. Сегодняшний пятничный чилаут будет посвящён выводу типов…”

Всем привет. Сегодняшний пятничный чилаут будет посвящён выводу типов для множеств перегрузок (да, продолжаю готовиться к C++ Russia).

В принципе с этим нет проблем, особенно если мы подсказываем что делать.

int bar(int) { return 0; }
int bar(double) { return 1; }

template <typename T>
int foo(T t, int (*)(T)) { return bar(t); }

foo(42, &bar); // OK, T -> int

https://godbolt.org/z/fT1oondqs

Но это в принципе, а в общем случае, что будет, если мы подскажем не всё?

int bar(int, char) { return 0; }
int bar(double, long) { return 1; }

template <typename T, typename U>
int foo(T t, int (*)(T, U)) { return bar(t, 0); }

foo(42, &bar); // OK?

https://godbolt.org/z/K5qjYW4d1

Тут мнения gcc и clang расходятся. Один компилятор (gcc) считает, что ему подсказали достаточно. Другой (clang) говорит "candidate template ignored: couldn't infer template argument 'U'".

А вы что скажете? Как обычно ожидаются ссылки на стандарт.

#questions