Re: [boost] Re: compile-time functions interface

From: Terje Slettebø (tslettebo_at_[hidden])
Date: 2003-02-02 15:02:23

>From: "David Abrahams" <dave_at_[hidden]>

> Terje Slettebø <tslettebo_at_[hidden]> writes:
>
> > As you note, if you change it to match, with unsigned long, it
> > works. I think EDG is right on this one, that there has to be an
> > exact match, except top-level cv-qualification.
>
> cv-qualification??  Whoa, the compiler seems to accept them, but
> they're also ignored.  This compiles:
>
>     template <const volatile int x> struct foo;
>     template <template <int x> class> class bar {};
>     bar<foo> x;

Yes, that's what I meant: The types have to match, except for any top-level
cv-qualification difference, as it's ignored, as you say.

Regards,

Terje