[boost] Re: Type Traits, Take Two

From: Moore, Paul (Paul.Moore_at_[hidden])
Date: 2000-01-06 11:59:35

From: scleary_at_[hidden] [mailto:scleary_at_[hidden]]
> 
> The definition of "pointer" is given in 3.9.2p3
> The first paragraph of 3.9.3p1 says "A type mentioned in 
> 3.9.1 and 3.9.2 is
> a cv-unqualified type. . ."
> 
> So this is the way I see it:
>   "const int" is not an integral type (3.9.1p6), but
>               is a scalar type (3.9p10)
>   "int * const" is not a pointer type (3.9.2p3), but
>                 is a scalar type (3.9p10)
> Note that:
>   "const int" is a cv-qualified integral type
>   "int * const" is a cv-qualified pointer type
> 
> Then again, maybe I'm wrong. . .

But regardless, does it matter? Can someone give a practical problem, for
which this sort of information is needed to provide a correct solution?

While traits are a good thing, and a general traits class would be useful,
this all smacks of a solution looking for a problem.

Paul.