Pointer to member typedef

Consider this code:

Code:

---

class X {
        void foo() {}
};

typedef void (X::*foo)();

void bar(foo n) {}

int main() {}

---

How in the world does the typedef bring foo into the global scope such that bar() can take an argument of type foo? What does the typedef really do here, and what really is the type of n as passed to bar()?

Correct me if I am wrong, but I believe what you have here are 2 different foo's in 2 different scopes. the first is the private member of X, the second is your typedef.

Your typedef "foo" is "pointer to a member function of X, which returns a void and takes 0 arguments".

X::foo() is still hidden from bar, and is unrelated to the typedef foo.

Code:

---

class X {
public:
                void foo() {cout<<(void*)this<<endl;}
        };

typedef void (X::*haha)();
void bar(haha n)
{}

int main()
{}

---

haha has type void(__thiscall X::*)(void)

Code:

---

void (X::*hop)() ;
void *(X::foo)();

---

Don't talk about bumping.

Thanks to Bench82 for the reply, I dont need any more help on this (which is why I didnt get back to the thread in the first place, but a thanks is in order :) nonetheless).