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><div><br></div>