Compile-time range check?

[Daniel Pitts]

I have a template:

template<typena me c, unsigned size>
struct Vector {
c components[size];
template<unsign ed index>
c &get() { return components[index]; }
};

Vector<double, 3vect;
Is there a way to cause vect.get<3>() to fail at compile time. but
vect.get<2>() have compile successfully?
--
Daniel Pitts' Tech Blog: <http://virtualinfinity .net/wordpress/>

[Victor Bazarov]

Daniel Pitts wrote:

I have a template:

template<typena me c, unsigned size>
struct Vector {
c components[size];
template<unsign ed index>
c &get() { return components[index]; }
};

Vector<double, 3vect;
Is there a way to cause vect.get<3>() to fail at compile time. but
vect.get<2>() have compile successfully?

Sure. Read up on compile-time asserts.

Here is what I could come up with (in five minutes or so it took to type
it up):

template<unsign ed low, unsigned test, unsigned high>
struct is_seq {
static char _[low <= test && test <= high];
static const bool yes = sizeof(_);
};
...
template<unsign ed indexc &get() {
return is_seq<0,index, size-1>::yes, components[index];
}

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[Daniel Pitts]

Victor Bazarov wrote:

Daniel Pitts wrote:

>I have a template:

template<typen ame c, unsigned size>
struct Vector {
c components[size];
template<unsign ed index>
c &get() { return components[index]; }
};

Vector<doubl e, 3vect;
Is there a way to cause vect.get<3>() to fail at compile time. but
vect.get<2>( ) have compile successfully?

Sure. Read up on compile-time asserts.

Here is what I could come up with (in five minutes or so it took to type
it up):

template<unsign ed low, unsigned test, unsigned high>
struct is_seq {
static char _[low <= test && test <= high];
static const bool yes = sizeof(_);
};
...
template<unsign ed indexc &get() {
return is_seq<0,index, size-1>::yes, components[index];
}

V

Thanks.
I can be more specific than that, because all I really care about is
0..max. I managed to come up with:

template<bool>
struct InvalidIndex{};

template<>
struct InvalidIndex<fa lse>{ enum { isValid }; };

template<unsign ed index, unsigned max>
struct ValidIndex {
enum { isValid = InvalidIndex<in dex >= max>::isValid };
};

Thanks for the reply.

--
Daniel Pitts' Tech Blog: <http://virtualinfinity .net/wordpress/>

[Fei Liu]

Daniel Pitts wrote:

I have a template:

template<typena me c, unsigned size>
struct Vector {
c components[size];
template<unsign ed index>
c &get() { return components[index]; }
};

Vector<double, 3vect;
Is there a way to cause vect.get<3>() to fail at compile time. but
vect.get<2>() have compile successfully?

please check BOOST_STATIC_AS SERT.

[Noah Roberts]

Daniel Pitts wrote:

I have a template:

template<typena me c, unsigned size>
struct Vector {
c components[size];
template<unsign ed index>
c &get() { return components[index]; }
};

Vector<double, 3vect;
Is there a way to cause vect.get<3>() to fail at compile time. but
vect.get<2>() have compile successfully?

Another alternative is to use boost::enable_i f and mpl helpers.

#include <iostream>

#include <boost/mpl/and.hpp>
#include <boost/mpl/int.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/mpl/greater.hpp>
#include <boost/mpl/less.hpp>

namespace mpl = boost::mpl;

template < typename C, unsigned SIZE >
struct Vector
{
C components[SIZE];

template < unsigned I >
typename boost::enable_i f
<
mpl::and_
<
mpl::greater< mpl::int_<I>, mpl::int_<-1
, mpl::less< mpl::int_<I>, mpl::int_<SIZE

>

, C &

>::type get()

{
return components[i];
}
};

int main()
{
Vector<double, 3v = { 42.3, 66.6, 0.1 };

std::cout << v.get<1>() << std::endl;
//std::cout << v.get<3>() << std::endl;

std::cin.get();
}

Of course, you'll probably wish to clean that up a bit by writing your
own range checking metafunction.