Re: [boost] Re: [multi_index + mpl + bind] Regression?

From: Joaquín Mª López Muñoz (joaquin_at_[hidden])
Date: 2004-09-27 09:15:30

Vladimir Prus ha escrito:

> David Abrahams wrote:
>
> >> Well, I can tell one third of the story. The reverse_iter_fold.hpp has
> >> this:
> >>
> >>    namespace boost { namespace mpl {
> >>
> >>     template<
> >>           typename BOOST_MPL_AUX_NA_PARAM(Sequence)
> >>          , typename BOOST_MPL_AUX_NA_PARAM(State)
> >>          , typename BOOST_MPL_AUX_NA_PARAM(BackwardOp)
> >>          , typename ForwardOp = arg<1>
> >>
> >> According to the error message, gcc associates 'arg<1>' with boost::arg
> >> (from bind/arg.hpp), while most likely mpl::arg<1> was meant. Two
> >> remaining questions are
> >> - why gcc does that.
> >
> > GCC applies "ADL" to almost everything.  It's ridiculous.
>
> Do you know if there is bug report about this? I could not find any in gcc's
> bugzilla. Besides, I'm not sure gcc is at fault. Here's a completely
> distilled testcase:
>
>    namespace boost
>    {
>        template<int I> class arg {};
>    }
>
>    namespace mpl_
>    {
>        template< int N > struct arg {};
>    }
>
>     namespace boost { namespace mpl {
>
>         using namespace mpl_;
>
>         template<typename ForwardOp = arg<1> >
>         struct XXX
>         {
>
> IIRC, the 'arg' visible via using is considered to be declared in the
> nearest namespace enclosing both mpl_ and boost::mpl -- which is global
> namespace. So boost::arg hides mpl_::arg. For explicit mpl::aux, the name
> lookup ignores the 'boost' namespace.
>

Never heard of that rule. Do you happen to know where in the std can I
learn more about it?

Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo