----- Original Message -----
From: "David Abrahams" <[EMAIL PROTECTED]>

> > I didn't know that this was legal:
> >
> > template<class T> struct identity {
> >     typedef T type;
> > };
> >
> > template<class T> void func(const T&, typename identity<T>::type* = 0);
> >
> > int main() {
> >     func(10);
> >     return 0;
> > }
>
> Sure, T is deducible due to the first argument.

Cool, I learn something every day.  I assume, though, that if I attempted to
actually use the second parameter it would become non-deducable, right?

Paul Mensonides

_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to