Re: [boost] Re: compile time member detection

From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2003-11-23 00:50:29

Brian McNamara <lorgon_at_[hidden]> writes:

| The other thing we would "need" is specialization relative to concept
| constraints.  That is, in addition to 
| 
|    // forall T, T* models Clonable
|    template <class T>
|    struct Clonable<T*> { ... };
| 
| we need to be able to say
| 
|    // forall Clonable T, list<T> models Clonable
|    template <class T : Clonable>
|    struct Clonable<list<T> > { ... };

See the "design" paper and Stroustrup's companion "a more abstract
complement to type checking" in the post-Kona list (now available form
the committee website).

-- Gaby