W poniższym przykładzie kodu wywołanie dofoo działa, podczas gdy wezwanie dobar zawodzi.

Jeśli skomentuję połączenie dobar, kod się kompiluje, co mówi mi definicjębar sam jest w porządku. Więc jak by to byłobar być poprawnie wywołanym?

#include <iostream>

using namespace std;

int multiply(int x, int y)
{
    return x * y;
}

template <class F>
void foo(int x, int y, F f)
{
    cout << f(x, y) << endl;
}

template <class F>
void bar(int x, int y)
{
    cout << F(x, y) << endl;
}

int main()
{
    foo(3, 4, multiply); // works
    bar<multiply>(3, 4); // fails

    return 0;
}