Re: [Boost-users] [boost][mpl] Detect a type sequence type

Subject: Re: [Boost-users] [boost][mpl] Detect a type sequence type
From: Jeffrey Lee Hellrung, Jr. (jeffrey.hellrung_at_[hidden])
Date: 2012-12-07 11:40:32

On Fri, Dec 7, 2012 at 8:15 AM, Klaim - Joël Lamotte <mjklaim_at_[hidden]>wrote:

> Hi,
>
> I am writing some functions and classes that accept a sequence of type (
> boost::mpl::vector/list currently) as template parameter.
> I'm looking for a way to enhance type checking by making sure the provided
> types are... type sequences.
>
> I didn't find anything relevant in standard or boost type_trait libraries.
>
> So far, I'm guessing there is no way to check that, mainly because such
> types would be template instances, which make checking this like checking
> if a type is an instance of a template which is impossible right now (as
> far as I know anyway).
>
> My question is: what are possible ways to enhance type checking on type
> sequence types?
> I know some boost developers around here make great efforts to make sure
> their meta programming libraries make early and good error reporting so
> maybe they have a solution?
>
> PS: I'm using Visual Studio 2012 so I can't use variadic template yet
> ;___; (can't rely on the CTP)
>
> Joel Lamotte
>

Is mpl::is_sequence what you're looking for?

- Jeff