Re: [Boost-users] [array] range check (at compile time)

alfC wrote:

...

Hmm, shouldn't the adaptor for boost::array use the template parameter of boost::array to define its extant?

a small example on how to create such adaptor to boost::array will be greatly appreciated.

thanks, Alfredo

Basically, if i am not mistaken on your intent, you need to change the behavior of fusion::at_impl for array so it fires a static assert if the index is greater than the array extent: template<> struct at_impl { template struct apply { typedef typename mpl::if_ < is_const<Sequence> , typename Sequence::const_reference , typename Sequence::reference>::type type; static type call(Sequence& seq) { BOOST_STATIC_ASSERT(N < Sequence::static_size); return seq[N::value]; } }; };