Re: Overload lookup of pointer-to-member

In the following program, if the call to bar does not
specify the type as <int>, gcc gives the error "no matching
function for call to =91bar(A&, <unresolved overloaded
function type>)'". Since bar explicitly takes a
pointer-to-member with no parameters, why is the lookup for
the overloaded function not able to use the number of
arguments to determine the appropriate function? Is there a
relevant portion of the standard that governs the lookup
rules in this case?

#include <iostream>
using namespace std;

class A
{
        public:
        int foo()
        {
                cout << "int foo" << endl;
                return 5;
        }
        template <class A>
        void foo (A a)
        {
                cout << "template foo" << endl;
        }
};

template <class Type, class Obj>
void bar (Obj& obj, Type (Obj::*func)())
{
        Type t = (obj.*func)();
        cout << "TYPE: " << t << endl;
}

int main ()
{
        A a;
        bar<int>(a, &A::foo); //<int> required, even though only one of=

functions takes no arguments
        bar(a, &A::foo); //doesn't compile
}