Re: [boost] Re: Most needed/desired features in C++

From: David Abrahams (david.abrahams_at_[hidden])
Date: 2002-02-21 08:13:26

----- Original Message -----
From: "Michiel Salters" <Michiel.Salters_at_[hidden]>

> >     template< template<typename> class F > struct my {};
> >     template<typename T, typename U = T> struct her {};
> >
> >     int main()
> >     {
> >         sizeof(my<her>); // should not compile, but ok with
> > GCC/Borland
> >         return 0;
> >     }
>
> What's the point of this example ?

The point, if you read further on, is that the compiler complains of
ambiguities later because each of two templates match equally well.