On Fri, Dec 7, 2012 at 8:15 AM, Klaim - Joël Lamotte <span dir="ltr">&lt;<a href="mailto:mjklaim@gmail.com" target="_blank">mjklaim@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<div><br></div><div>I am writing some functions and classes that accept a sequence of type ( boost::mpl::vector/list currently) as template parameter.</div><div>I&#39;m looking for a way to enhance type checking by making sure the provided types are... type sequences.<br>

<br>I didn&#39;t find anything relevant in standard or boost type_trait libraries.</div><div><br></div><div>So far, I&#39;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).<br>

<br>My question is: what are possible ways to enhance type checking on type sequence types?</div><div>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?</div>

<div><br></div><div>PS: I&#39;m using Visual Studio 2012 so I can&#39;t use variadic template yet ;___; (can&#39;t rely on the CTP)</div><div><br></div><div>Joel Lamotte</div></blockquote><div><br></div><div>Is mpl::is_sequence what you&#39;re looking for?</div>
<div><br></div><div>- Jeff</div><div><br></div></div>