Re: [boost] [function types] New tag type logic [update]

From: Rob Stewart (stewart_at_[hidden])
Date: 2005-07-06 12:28:21

From: David Abrahams <dave_at_[hidden]>
> Rob Stewart <stewart_at_[hidden]> writes:
> > From: David Abrahams <dave_at_[hidden]>
> >
> >> suggested terminology works.  So "free_or_static" should be "nonmember."
> >
> > No way.  "Nonmember" precludes static member functions.  They may
> > have the same type as nonmember functions, and aren't represented
> > with member function pointers, but they are still member functions.
>
> Way.  We are not talking about the functions, we're talking about
> their types.  In other words, the traits do not inspect individual
> values of int (*)(int) -- they inspect the type int(*)(int) itself.  I
> don't think there's any problem with calling int(*)(int) a nonmember
> function pointer type.

If you're thinking about whether the type is that of a static
member function, then you won't be thinking that you should use
"nonmember."

-- 
Rob Stewart                           stewart_at_[hidden]
Software Engineer                     http://www.sig.com
Susquehanna International Group, LLP  using std::disclaimer;