Re: [boost] concept checking: BOOST_CLASS_REQUIRES

From: David Abrahams (abrahams_at_[hidden])
Date: 2001-06-07 18:07:13

The only other way I can think to deal with this is to make the
class_requires declaration "read funny" or fail to reflect the intention if
you leave out the ::final_token.

typedef typename boost::concept<SGIAssignable<T> >::fulfilled assignable;

I'm sure someone can do better.

----- Original Message -----
From: "Jeremy Siek" <jsiek_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Thursday, June 07, 2001 6:28 PM
Subject: Re: [boost] concept checking: BOOST_CLASS_REQUIRES

>
> Already tried that, on g++ the error message goes away :(
>
> On Thu, 7 Jun 2001, David Abrahams wrote:
> > >
> > > Here's another variation that I had considered previously, and am now
> > > considering again. The only problem with this one is that if the user
> > > forgets the "::type" then the check doesn't do anything.
> >
> > can't you do something like this to solve that problem?
> >
> > template <class Concept>
> > struct class_requires : class_requires_impl<Concept>::type {};
> >
> > -Dave
> >
> >
> > To unsubscribe, send email to:
<mailto:boost-unsubscribe_at_[hidden]>
> >
> >
> > Your use of Yahoo! Groups is subject to
http://docs.yahoo.com/info/terms/
> >
> >
> >
>
> ----------------------------------------------------------------------
>  Jeremy Siek                        www: http://www.lsc.nd.edu/~jsiek/
>  Ph.D. Candidate, IU B'ton          email: jsiek_at_[hidden]
>  Summer Manager, AT&T Research      phone: [phone]
> ----------------------------------------------------------------------
>
>
>
> To unsubscribe, send email to: <mailto:boost-unsubscribe_at_[hidden]>
>
>
> Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/
>
>